Pages that link to "Item:Q5307955"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307955):
Displaying 8 items.
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
