87 citations · 294 across the 41 of their papers we have counts for
3 papers · 1 filter
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou +3
The coordinated assurance of interrelated critical properties, such as system safety and cyber-security, is one of the toughest challenges in critical systems engineering. In this…
Safety Controller Synthesis for Collaborative Robots
Mario Gleirscher, Radu Calinescu
In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve…
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
Simon Foster, Mario Gleirscher, Radu Calinescu
The use of autonomous vehicles in real-world applications is often precluded by the difficulty of providing safety guarantees for their complex controllers. The simulation-based te…