Robust Test Generation and Coverage for Hybrid Systems
DOI10.1007/978-3-540-71493-4_27zbMATH Open1221.93076OpenAlexW1508536183MaRDI QIDQ3612982FDOQ3612982
Authors: Georgios E. Fainekos, Madhukar Anand, Insup Lee, George Pappas, 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
Recommendations
- Coverage-guided test generation for continuous and hybrid systems
- Test Coverage for Continuous and Hybrid Systems
- A Formal Methodology to Test Complex Heterogeneous Systems
- Continuous and high coverage self-testing of dynamically re-configurable systems
- Hybrid Systems: Computation and Control
- Test generation from P systems using model checking
- A hierarchical test generation approach for large controllers
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)
Cited In (20)
- Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
- Trajectory-based theory for hybrid systems
- Trajectory Based Verification Using Local Finite-Time Invariance
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Falsification of LTL Safety Properties in Hybrid Systems
- A model-based approach to testing software control systems described by linear differential equations
- Verification of Hybrid Systems
- Robustness of temporal logic specifications for continuous-time signals
- Backstepping controller synthesis and characterizations of incremental stability
- Test Coverage for Continuous and Hybrid Systems
- Title not available (Why is that?)
- Approximate bisimulation: a bridge between computer science and control theory
- Bounded and Unbounded Safety Verification Using Bisimulation Metrics
- Coverage-guided test generation for continuous and hybrid systems
- Understanding deadlock and livelock behaviors in hybrid control systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- Test coverage estimation using threshold accepting
- Quantitative projection coverage for testing ML-enabled autonomous systems
Uses Software
This page was built for publication: Robust Test Generation and Coverage for Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612982)
