56 citations · 343 across the 31 of their papers we have counts for
6 papers · 1 filter
Mixed-Reality Feedback Control: Towards Blending of Control and Digital Twinning
Melisa Soydan, Mario Gleirscher
Technologies, such as co-simulation, in particular, digital twins (DTs) are used for comprehensive and reliable prototyping, verification and validation (V&V) of control systems. T…
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Mario Gleirscher, Radu Calinescu, James Douthwaite +5
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturi…
Maintaining driver attentiveness in shared-control autonomous driving
Radu Calinescu, Naif Alasmari, Mario Gleirscher
We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the…
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…