Reference : Acceleration of Affine Hybrid Transformations
Scientific congresses and symposiums : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/173234
Acceleration of Affine Hybrid Transformations
English
Boigelot, Bernard mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
Herbreteau, Frédéric mailto [Université Bordeaux & CNRS > LaBRI > > >]
Mainz, Isabelle mailto [Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique >]
2014
Lecture Notes in Computer Science
Springer
8837
31-46
Yes
No
International
0302-9743
1611-3349
Berlin
Germany
12th International Symposium on Automated Technology for Verification and Analysis
from 3-11-2014 to 6-11-2014
Sydney
Australia
[en] verification ; hybrid systems ; acceleration
[en] This work addresses the computation of the set of reachable configurations of linear hybrid automata. The approach relies on symbolic state-space exploration, using acceleration in order to speed up the computation and to make it terminate for a broad class of systems. Our contribution is an original method for accelerating the control cycles of linear hybrid automata, i.e., to compute their unbounded repeated effect. The idea consists in analyzing the data transformations that label these cycles, by reasoning about the geometrical features of the corresponding system of linear constraints. This approach is complete over Multiple Counters Systems (MCS), and is able to accelerate hybrid transformations that are out of scope of existing techniques.
Fonds de la Recherche Scientifique (Communauté française de Belgique) - F.R.S.-FNRS
2.4545.11 (Theory and Practice of Automata)
http://hdl.handle.net/2268/173234
The final publication is available at link.springer.com.

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper.pdfThe final publication is available at link.springer.com.Author preprint326.46 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.