The following pages link to Abstractions for hybrid systems (Q2475634):
Displaying 14 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
