Pages that link to "Item:Q3612995"
From MaRDI portal
The following pages link to The Image Computation Problem in Hybrid Systems Model Checking (Q3612995):
Displaying 14 items.
- Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems (Q369723) (← links)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems (Q2288615) (← links)
- A formal framework for Hybrid Event B (Q2520616) (← links)
- Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes (Q2665141) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)