Paper published in a journal (Scientific congresses and symposiums)
Acceleration of Affine Hybrid Transformations
Boigelot, Bernard; Herbreteau, Frédéric; Mainz, Isabelle
2014In Lecture Notes in Computer Science, 8837, p. 31-46
Peer reviewed
 

Files


Full Text
paper.pdf
Author preprint (334.29 kB)
The final publication is available at link.springer.com.
Download

The final publication is available at link.springer.com.


All documents in ORBi are protected by a user license.

Send to



Details



Keywords :
verification; hybrid systems; acceleration
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Boigelot, Bernard  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Herbreteau, Frédéric;  Université Bordeaux & CNRS > LaBRI
Mainz, Isabelle ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
Language :
English
Title :
Acceleration of Affine Hybrid Transformations
Publication date :
2014
Event name :
12th International Symposium on Automated Technology for Verification and Analysis
Event place :
Sydney, Australia
Event date :
from 3-11-2014 to 6-11-2014
Audience :
International
Journal title :
Lecture Notes in Computer Science
ISSN :
0302-9743
eISSN :
1611-3349
Publisher :
Springer, Berlin, Germany
Volume :
8837
Pages :
31-46
Peer reviewed :
Peer reviewed
Name of the research project :
2.4545.11 (Theory and Practice of Automata)
Funders :
F.R.S.-FNRS - Fonds de la Recherche Scientifique
Available on ORBi :
since 21 October 2014

Statistics


Number of views
165 (39 by ULiège)
Number of downloads
272 (21 by ULiège)

Scopus citations®
 
1
Scopus citations®
without self-citations
0
OpenCitations
 
2
OpenAlex citations
 
2

Bibliography


Similar publications



Contact ORBi