2 papers
eess.SY2024
How Deduction Systems Can Help You To Verify Stability Properties
Mario Gleirscher, Rehab Massoud, Dieter Hutter +1
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, t…
cs.LO2024
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher +3
We formally introduce IsaVODEs (Isabelle verification with Ordinary Differential Equations), a framework for the verification of cyber-physical systems. We describe the semantic fo…