An axiomatic approach to liveness for differential equations

DOI10.1007/978-3-030-30942-8_23zbMATH Open1539.68185MaRDI QIDQ6535961

Yong Kiam Tan, André Platzer

Publication date: 14 March 2024

zbMATH Keywords

livenessdifferential equationsdifferential dynamic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by ordinary differential equations (93C15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Understanding deadlock and livelock behaviors in hybrid control systems
• A complete uniform substitution calculus for differential dynamic logic
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Logics of Dynamical Systems
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Verification of Hybrid Systems
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs
• Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
• Proving Liveness Properties of Concurrent Programs
• Logical Foundations of Cyber-Physical Systems
• Differential Equation Axiomatization
• Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
• Forward Inner-Approximated Reachability of Non-Linear Continuous Systems
• Differential Hybrid Games
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: An axiomatic approach to liveness for differential equations

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