Pages that link to "Item:Q5703954"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703954):
Displaying 16 items.
- Barrier certificates revisited (Q507352) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- (Q4658726) (← links)
- Toric varieties from cyclic matrix semigroups (Q5087779) (← links)
- (Q5089299) (← links)
- Hybrid Systems: Computation and Control (Q5307949) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)