29 citations · 70 across the 8 of their papers we have counts for
3 papers · 1 filter
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoit Boyer +1
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart…
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach +1
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal sp…
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
Luis Garcia, Stefan Mitsch, Andre Platzer
Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of est…