Formal methods use verification models to create safe-by-design robotic controllers and to mathematically
prove safety. However, the challenge is bridging the gap between model and reality.
This dissertation proposes a framework for identifying models for verifying safety. This is achieved by
considering uncertainties in the model, measuring the real system, and adapting
the uncertainties, such that a reachset conformance relation between the identified model and the real system is established.
«
Formal methods use verification models to create safe-by-design robotic controllers and to mathematically
prove safety. However, the challenge is bridging the gap between model and reality.
This dissertation proposes a framework for identifying models for verifying safety. This is achieved by
considering uncertainties in the model, measuring the real system, and adapting
the uncertainties, such that a reachset conformance relation between the identified model and the real system is establis...
»