Robust Test Generation and Coverage for Hybrid Systems

DOI10.1007/978-3-540-71493-4_27MaRDI QIDQ3612982zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(21)

• 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
• Robustness of temporal logic specifications for continuous-time signals
• Verification of Hybrid Systems
• Backstepping controller synthesis and characterizations of incremental stability
• Test Coverage for Continuous and Hybrid Systems
• scientific article; zbMATH DE number 1693444 (Why is no real title available?)
• Approximate bisimulation: a bridge between computer science and control theory
• 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
• Bounded and Unbounded Safety Verification Using Bisimulation Metrics
• 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
• Adaptive testing for specification coverage and refinement in CPS models

Describes a project that uses

Uses Software

• PHAVer

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)