Robust Test Generation and Coverage for Hybrid Systems
From MaRDI portal
Publication:3612982
DOI10.1007/978-3-540-71493-4_27zbMath1221.93076OpenAlexW1508536183MaRDI QIDQ3612982
Georgios E. Fainekos, Insup Lee, George J. Pappas, Madhukar Anand, A. Agung Julius
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_27
Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (14)
Verification of Hybrid Systems ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Robustness of temporal logic specifications for continuous-time signals ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Bounded and Unbounded Safety Verification Using Bisimulation Metrics ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Coverage-guided test generation for continuous and hybrid systems ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
Uses Software
This page was built for publication: Robust Test Generation and Coverage for Hybrid Systems
