← Search

Martin Fabian

2 accepted papers

2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

ICRA 2023poster

Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human reasoning, past experiences, and simple tools such as checklists an…

Cited by 2SourceScholar
2019

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

ICRA 2019poster

Autonomous vehicles apply pertinent planning and control algorithms under different driving conditions. The mode switch between these algorithms should also be autonomous. On top of the nominal planners, a safe fallback routine is needed to stop the vehicle at a safe position if nominal operational…

Cited by 18SourceScholar