Pages that link to "Item:Q2355695"
From MaRDI portal
The following pages link to Generating invariants for non-linear hybrid systems (Q2355695):
Displaying 11 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← 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)
- Hybrid Systems: Computation and Control (Q5307949) (← links)
- Hybrid Systems: Computation and Control (Q5703954) (← links)
- Computer Aided Verification (Q5900703) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)