Pages that link to "Item:Q1039853"
From MaRDI portal
The following pages link to Computing differential invariants of hybrid systems as fixed points (Q1039853):
Displaying 9 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Barrier certificates revisited (Q507352) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← 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)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
