Search Results for author:
Found 2 papers, 0 papers with code
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Differential dynamic logic is a formal specification and verification language for hybrid systems, which are mathematical models of cyber-physical systems.
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
This paper presents an algorithm to construct the corresponding robust stutter bisimulation quotient to solve the abstraction problem, and it is shown, by explicit construction, that there exists a controller enforcing a linear temporal logic formula for the original system if and only if a corresponding controller exists for the quotient system.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
