Robust Test Generation and Coverage for Hybrid Systems

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

Mathematics Subject Classification ID

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

• PHAVer

This page was built for publication: Robust Test Generation and Coverage for Hybrid Systems