Pages that link to "Item:Q1039839"
From MaRDI portal
The following pages link to Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839):
Displaying 12 items.
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
- Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831) (← links)
- Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots (Q1736232) (← links)
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Temporally and spatially flexible plan execution for dynamic hybrid systems (Q2407439) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Motion Planning Under Uncertainty with Complex Agents and Environments via Hybrid Search (Q5043565) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
