The Complete Proof Theory of Hybrid Systems
From MaRDI portal
Publication:2986831
DOI10.1109/LICS.2012.64zbMath1364.03045MaRDI QIDQ2986831
Publication date: 16 May 2017
Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Proof theory in general (including proof-theoretic semantics) (03F03) Other applications of logic (03B80) Hybrid systems of ordinary differential equations (34A38)
Related Items (18)
Differential Game Logic ⋮ Relational Differential Dynamic Logic ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ Verification of Hybrid Systems ⋮ A Uniform Substitution Calculus for Differential Dynamic Logic ⋮ Pegasus: sound continuous invariant generation ⋮ Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems ⋮ A deductive approach towards reasoning about algebraic transition systems ⋮ Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems ⋮ Formally-verified round-off error analysis of Runge-Kutta methods ⋮ From post-conditions to post-region invariants ⋮ A complete uniform substitution calculus for differential dynamic logic ⋮ Deductive stability proofs for ordinary differential equations ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ Implicit definitions with differential equations for KeYmaera X (system description) ⋮ A Survey on Analog Models of Computation ⋮ Generating invariants for non-linear hybrid systems
This page was built for publication: The Complete Proof Theory of Hybrid Systems
