Provably Reaching Verifiably Safest States of Autonomous Machines in Rare Scenarios

• Applicant: Dr. Mario Gleirscher
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems ; Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics ; Engineering Design, Machine Elements, Product Development ; Software Engineering and Programming Languages
• Term: from 2017 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 381212925

This proposal pertains to the renewal of my DFG research Fellowship. The main objective of my original proposal is to devise a formal method for developing risk-mitigative controllers for autonomous machines. Such controllers are responsible for (i) monitoring and predicting operational hazards and for (ii) controlling the machine in a way to avoid such hazards or their undesired consequences. The original proposal consists of four work packages, three of them to be finalized and the fourth to be pursued as a part of my long-term research. I am applying for an extension of my original 1-year fellowship by 6 months to extend my work on a compositional method for the modeling, verification, and refinement of risk-aware autonomous machines.

• DFG Programme: Research Fellowships
• International Connection: United Kingdom
• Host: Professor Dr. Jim Woodcock