Skip to Main content Skip to Navigation
Conference papers

State Estimation and Property-Guided Exploration for Hybrid Systems Testing

Abstract : This paper is concerned with model-based testing of hybrid systems. The first result is an algorithm for test generation which enhances the coverage of critical trajectories by using a random walk. The second result is a framework for practical testing that includes a state estimator. When the state of a system under test cannot be directly observed, it is necessary to reconstruct the trajectory of the real system in order to produce a verdict whether the system violates a property. To do so, we integrate in our tester a hybrid observer, the goal of which is to provide an estimate for the current location and the continuous state of the system under test based on the information on the input and the output of the system.
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, March 3, 2017 - 3:17:14 PM
Last modification on : Tuesday, October 19, 2021 - 1:48:11 PM
Long-term archiving on: : Tuesday, June 6, 2017 - 12:11:17 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Thao Dang, Noa Shalev. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.152-167, ⟨10.1007/978-3-642-34691-0_12⟩. ⟨hal-01482399⟩



Record views


Files downloads