Pages that link to "Item:Q5307465"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307465):
Displaying 8 items.
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Coverage-guided test generation for continuous and hybrid systems (Q1039844) (← links)
- Temporally and spatially flexible plan execution for dynamic hybrid systems (Q2407439) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
