Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic
Samuel Teuber, Stefan Mitsch, André Platzer
While neural networks (NNs) have potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of NN based control systems (NNCSs) poses significant challeng…
eess.SY2024
CESAR: Control Envelope Synthesis via Angelic Refinements
Aditi Kabra, Jonathan Laurent, Stefan Mitsch +1
This paper presents an approach for synthesizing provably correct control envelopes for hybrid systems. Control envelopes characterize families of safe controllers and are used to…