How Deduction Systems Can Help You To Verify Stability Properties

no code implementations • 16 Apr 2024 • Mario Gleirscher, Rehab Massoud, Dieter Hutter, Christoph Lüth

Mathematical proofs are a cornerstone of control theory, and it is important to get them right.

Mathematical Proofs

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

no code implementations • 15 Nov 2023 • Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023.

Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains

no code implementations • 26 Jun 2023 • Mario Gleirscher, Anne E. Haxthausen, Jan Peleska

In this paper, a quantitative risk assessment approach is discussed for the design of an obstacle detection function for low-speed freight trains with grade of automation (GoA)~4.

Maintaining driver attentiveness in shared-control autonomous driving

no code implementations • 5 Feb 2021 • Radu Calinescu, Naif Alasmari, Mario Gleirscher

We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems.

Autonomous Driving Robotics Systems and Control Systems and Control

Risk Structures: Towards Engineering Risk-aware Autonomous Systems

no code implementations • 23 Apr 2019 • Mario Gleirscher

Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling.

Decision Making