Pages that link to "Item:Q3406693"
From MaRDI portal
The following pages link to Differential-algebraic Dynamic Logic for Differential-algebraic Programs (Q3406693):
Displaying 26 items.
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- A complete uniform substitution calculus for differential dynamic logic (Q1707599) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Constructive hybrid games (Q2096468) (← links)
- \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic (Q2305408) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- A Uniform Substitution Calculus for Differential Dynamic Logic (Q3454116) (← links)
- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems (Q3455848) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (Q3541700) (← links)
- Loop invariants (Q5176169) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- A Roadmap to Decidability (Q5258981) (← links)
- Differential Game Logic (Q5277902) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
