Quantified differential invariants

DOI10.1145/1967701.1967713MaRDI QIDQ2986714zbMATH OpenOpenAlexFDO

Authors André Platzer

Publication date 16 May 2017

Published in Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.916.2508

zbMATH Keywords

distributed hybrid systemsquantified differential equationsquantified differential invariantsverification logic

Mathematics Subject Classification ID

PDEs in connection with control and optimization (35Q93) Nonlinear systems in control theory (93C10) Control/observation systems governed by partial differential equations (93C20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• Computing differential invariants of hybrid systems as fixed points
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems

Cited in

(5)

• Computing differential invariants of hybrid systems as fixed points
• Verification of Hybrid Systems
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Generating differential invariants

This page was built for publication: Quantified differential invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986714)