Differential Dynamic Logic for Verifying Parametric Hybrid Systems

DOI10.1007/978-3-540-73099-6_17MaRDI QIDQ5434491zbMATH OpenOpenAlexFDO

Authors André Platzer

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_17

zbMATH Keywords

dynamic logicquantifier eliminationsequent calculusverification of parametric hybrid systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Differential dynamic logic for hybrid systems
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• Differential Logic for Reasoning About Hybrid Systems
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Logics of dynamical systems

Cited in

(23)

• Differential dynamic logic for hybrid systems
• Introducing interval differential dynamic logic
• Deductive stability proofs for ordinary differential equations
• Numerically-aided deductive safety proof for a powertrain control system
• Logics of dynamical systems
• A Class of Decidable Parametric Hybrid Systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Differential Logic for Reasoning About Hybrid Systems
• scientific article; zbMATH DE number 1905118 (Why is no real title available?)
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Hierarchical reasoning and model generation for the verification of parametric hybrid systems
• Relational differential dynamic logic
• Construction of parametric barrier functions for dynamical systems using interval analysis
• Reachability computation for polynomial dynamical systems
• A Temporal Dynamic Logic for Verifying Hybrid System Invariants
• A dynamic logic with branching modalities
• Parallel composition and modular verification of computer controlled systems in differential dynamic logic
• Embedding differential dynamic logic in PVS
• HRELTL: a temporal logic for hybrid systems
• Model checking duration calculus: a practical approach

Describes a project that uses

Uses Software

• QEPCAD
• PHAVer

This page was built for publication: Differential Dynamic Logic for Verifying Parametric Hybrid Systems

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