Pages that link to "Item:Q5307955"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307955):
Displaying 24 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)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- On reachable sets for a class of nonlinear systems with constraints (Q1276329) (← links)
- New external estimate for the reachable set of a nonlinear multistep dynamic system (Q1644011) (← links)
- Bounds on the reachable sets of nonlinear control systems (Q1939609) (← links)
- Reachable set computation of linear systems with nonconvex constraints via convex optimization (Q2097796) (← 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)
- (Q2931618) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- (Q4417974) (← links)
- (Q4418865) (← links)
- Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems (Q4559514) (← links)
- (Q4696893) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems (Q5166710) (← links)
- Hybrid Systems: Computation and Control (Q5307453) (← links)
- Reachable set over-approximation for nonlinear systems using piecewise barrier tubes (Q6041129) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)
