Abstract
In this paper, we develop theoretical, as well as practical, tools for the synthesis and the verification of processes that contain n timers. Such tools are equally adapted to numerical calculations as to symbolical ones, thus allowing for parametric analysis. The results we have obtained rely on a simple and efficient representation of the states of an automaton that recognizes the behaviors of the process. This representation is based on a mechanical structure which helps us encode the states in a compact manner and leads to simple algorithms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Alur and D. Dill, The Theory of Timed Automata, Theoretical Computer Science, 126 (1994) 183–235.
A. Bergeron and A.M. Roy-Boulard, Contraintes temporelles paramétrisées et produits synchronisés, Proc. of NOTERE’97, Pau, France, (1997) 191–205.
A. Bergeron and A.M. Roy-Boulard, Contrôleurs temps-réel paramétrisés, Proc. of ADPM’98, Reims, France, (1998).
A. Bergeron, On the Rational Behaviors of Concurrent Timers, Theoretical Computer Science 189 (1997) 229–237.
B. Berthomieu and M. Diaz, Modelingand Verification of Time Dependent systems Usingtime d Petri Nets, IEEE Transactions on Software Engineering, Vol. 17, No. 3, (1991), 259–273.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergeron, A., Catalano, R. (2001). Analysis of Reactive Systems with n Timers. In: Boldt, O., Jürgensen, H. (eds) Automata Implementation. WIA 1999. Lecture Notes in Computer Science, vol 2214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45526-4_3
Download citation
DOI: https://doi.org/10.1007/3-540-45526-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42812-1
Online ISBN: 978-3-540-45526-4
eBook Packages: Springer Book Archive