Geodesic
Solving inequalities over finite state machines in the reactive systems design
Prikladnaâ diskretnaâ matematika, no. 3 (2010), pp. 100-110

Voir la notice de l'article provenant de la source Math-Net.Ru

The problem of solving inequalities over finite state machines (FSMs) is considered. This problem arises in compositional approach to the design of reactive systems. The problem is formulated and solved at the level of FSMs specifications in the logical language $L$. We show how to compute the maximal solution to the inequality with respect to the operation of synchronous composition of FSMs.
Keywords: reactive system, language $L$ specification, $\Sigma$-automaton, inequality over $\Sigma$-automata
Mots-clés : synchronous composition of $\Sigma$-automata, maximal solution. 
@article{PDM_2010_3_a9,
     author = {A. N. Chebotarev},
     title = {Solving inequalities over finite state machines in the reactive systems design},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {100--110},
     publisher = {mathdoc},
     number = {3},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2010_3_a9/}
}
TY  - JOUR
AU  - A. N. Chebotarev
TI  - Solving inequalities over finite state machines in the reactive systems design
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2010
SP  - 100
EP  - 110
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2010_3_a9/
LA  - ru
ID  - PDM_2010_3_a9
ER  - 
%0 Journal Article
%A A. N. Chebotarev
%T Solving inequalities over finite state machines in the reactive systems design
%J Prikladnaâ diskretnaâ matematika
%D 2010
%P 100-110
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2010_3_a9/
%G ru
%F PDM_2010_3_a9
A. N. Chebotarev. Solving inequalities over finite state machines in the reactive systems design. Prikladnaâ diskretnaâ matematika, no. 3 (2010), pp. 100-110. http://geodesic.mathdoc.fr/item/PDM_2010_3_a9/