Pages that link to "Item:Q3612982"
From MaRDI portal
The following pages link to Robust Test Generation and Coverage for Hybrid Systems (Q3612982):
Displayed 14 items.
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← 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)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics (Q3624590) (← links)
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
