Pages that link to "Item:Q3624592"
From MaRDI portal
The following pages link to Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems (Q3624592):
Displaying 4 items.
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624) (← links)