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 15 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)
- Augmented complex zonotopes for computing invariants of affine hybrid systems (Q1683442) (← 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)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- (Q4658726) (← links)
- Programming Languages and Systems (Q5902360) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)