Automatic rectangular refinement of affine hybrid systems

L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published
Author
; ;
Series Title
LNCS
Abstract
We show how to automatically construct and refine rectangular abstractions of systems of linear differential equations. From a hybrid automaton whose dynamics are given by a system of linear differential equations, our method computes automatically a sequence of rectangular hybrid automata that are increasingly precise overapproximations of the original hybrid automaton. We prove an optimality criterion for successive refinements. We also show that this method can take into account a safety property to be verified, refining only relevant parts of the state space. The practicability of the method is illustrated on a benchmark case study.
Publishing Year
Date Published
2005-12-13
Acknowledgement
Supported in part by the AFOSR MURI grant F49620-00-1-0327 and the NSF grants CCR-0208875 and CCR-0225610.
Volume
3829
Page
144 - 161
Conference
FORMATS: Formal Modeling and Analysis of Timed Systems
IST-REx-ID

Cite this

Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,” 3829:144–61. Springer, 2005. https://doi.org/DOI: 10.1007/11603009_13.
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829. 144–161.
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar