Title :
Polychronous Automata
Author :
Paul Le Guernic;Thierry Gautier;Jean-Pierre Talpin;Loïc
Author_Institution :
Rennes-Bretagne-Atlantique Res. Centre, France
Abstract :
This paper investigates the way state diagrams can be best represented in the polychronous model of computation. In this relational model, the basic objects are signals, which are related through data-flow equations. Signals are associated with logical clocks, which provide the capability to describe systems in which componentsobey to multiple clock rates. We propose a model of finite-state automata, called polychronous automata, which is based on clock relations. A specificity of this model is that an automaton is submitted to clock constraints. This allows one to specify a wide range of control-related configurations, either reactive, or restrictivewith respect to their control environment. A semantic model is defined for these polychronous automata, that relies on a Boolean algebra of clocks.
Keywords :
"Clocks","Automata","Mathematical model","Computational modeling","Semantics","Unified modeling language","Syntactics"
Conference_Titel :
Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on
DOI :
10.1109/TASE.2015.21