Modern control theory (3rd ed.)
Modern control theory (3rd ed.)
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
On contraction analysis for non-linear systems
Automatica (Journal of IFAC)
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Reachability Analysis via Face Lifting
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Reachability Analysis of Hybrid Systems via Predicate Abstraction
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Planning Algorithms
Observability of hybrid automata by abstraction
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Approximate abstraction of stochastic hybrid automata
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Automated model-based testing of χ simulation models with TorX
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Temporal logic verification using simulation
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
PHAVer: algorithmic verification of hybrid systems past hytech
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Reachability of uncertain linear systems using zonotopes
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Verification of Supervisory Control Software Using State Proximity and Merging
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Coverage-guided test generation for continuous and hybrid systems
Formal Methods in System Design
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Trajectory Based Verification Using Local Finite-Time Invariance
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Bounded and Unbounded Safety Verification Using Bisimulation Metrics
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Electronic Notes in Theoretical Computer Science (ENTCS)
MTL robust testing and verification for LPV systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Robust sampling for MITL specifications
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
A systematic approach to the test of combined HW/SW systems
Proceedings of the Conference on Design, Automation and Test in Europe
Formal verification of hybrid systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Parametric verification and test coverage for hybrid automata using the inverse method
RP'11 Proceedings of the 5th international conference on Reachability problems
Linear hybrid system falsification through local search
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Computing bounded reach sets from sampled simulation traces
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Efficient coverage of parallel and hierarchical stateflow models for test case generation
Software Testing, Verification & Reliability
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Proceedings of the 16th international conference on Hybrid systems: computation and control
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
STRONG: a trajectory-based verification toolbox for hybrid systems
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Verification of annotated models from executions
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems' models. The core idea of the framework is to develop a notion of robust test, where one nominal test can be guaranteed to yield the same qualitative behavior with any other test that is close to it. Our approach offers three distinct advantages. 1) It allows for computing and formally quantifying the robustness of some properties, 2) it establishes a method to quantify the test coverage for every test case, and 3) the procedure is parallelizable and therefore, very scalable. We demonstrate our framework by generating tests for a navigation benchmark application.