Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis von Mhalla, A., Collart Dutilleul, S., Craye, E., Benrejeb, M.

Volltext

Operating Rules and Interoperability in Trans-National High-Speed Rail von Collart-Dutilleul, Simon

Volltext

Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops von Jerbi, Nabil, Collart-Dutilleul, Simon

Volltext

Identifying Alterability States of a Single Track Railway Line Control System von Martinez, Sebastien, Collart-Dutilleul, Simon, Bon, Philippe

Volltext

A Vision of Intelligent Train Control von Flammini, Francesco, De Donato, Lorenzo, Fantechi, Alessandro, Vittorini, Valeria

Volltext

Modelling, analysis and control of electroplating line modelled by P-time event graphs von Becha, T., Kara, R., Dutilleul, S. Collart, Loiseau, J.J.

Volltext

Robust control of multi-product job-shops in repetitive functioning mode von Jerbi, N., Collart, D.S., Craye, E., Benrejeb, M.

Volltext

Monitoring of Packaging Machine Using Synchronized Fuzzy Petri Nets von Mhalla, A., Dutilleul, S. Collart, Benrejeb, M.

Volltext

Compositional Verification of Railway Interlockings: Comparison of Two Methods von Fantechi, Alessandro, Gori, Gloria, Haxthausen, Anne E., Limbrée, Christophe

Volltext

An implicit systems for modelling and control of discrete event systems von Kara, R., Becha, T., Dutilleul, S. Collart, Loiseau, J.J.

Volltext

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2... von Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, Alexander

Volltext

A Formal Model of Train Control with AI-Based Obstacle Detection von Gruteser, Jan, Geleßus, David, Leuschel, Michael, Roßbach, Jan, Vu, Fabian

Volltext

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool von Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander

Volltext

Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning von Beqiri, Lodiana, Bakhshi, Zeinab, Punnekkat, Sasikumar, Cicchetti, Antonio

Volltext

Towards Scenario-Based Certification of Highly Automated Railway Systems von Wild, Michael, Becker, Jan Steffen, Ehmen, Günter, Möhlmann, Eike

Volltext

Automating an Analysis of Safety-Security Interactions for Railway Systems von Poorhadi, Ehsan, Troubitsyna, Elena

Volltext

Safety Analysis of Automatic Train Operation Based on ETCS von Tang, Ziyue, Zhao, Ning, Khan, Khalid, Wolter, Katinka

Volltext

Dependability Analysis of UPS Architectures for the Italian Railway Signaling System von Masetti, Giulio, Di Giandomenico, Felicita, Chiaradonna, Silvano

Volltext

Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems von Halchin, Alexandra, Sylla, Adja Ndeye, Benyagoub, Sarah, Feliachi, Abderrahmane, Fonteneau, Yoann, Leger, Sven

Volltext

Halfway Generic Verification of Railway Control Systems von Zickert, Gustav, Stathatos, Nikitas

Volltext