Design of reactive algorithms by solving equations over automata

The problem of solving inequalities over finite state machines (FSMs) is considered. This problem arises in the compositional approach to the design of reactive systems. The problem is formulated and solved at the level of FSM specifications in the logical language L. It is shown how to compute the...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Cybernetics and systems analysis Ročník 48; číslo 4; s. 479 - 488
Hlavný autor:	Chebotarev, A. N.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Boston Springer US 01.07.2012 Springer Springer Nature B.V
Predmet:	Algorithms Artificial Intelligence Automation Control Control systems Cybernetics Design engineering Finite state machines Inequalities Language Mathematical analysis Mathematics Mathematics and Statistics Processor Architectures Programming languages Robots Semantics Software Engineering/Programming and Operating Systems Specifications Studies Synchronous Systems Theory Ukraine synchronous composition of Σ-FSMs inequality over Σ-FSMs Σ-FSM maximal solution eactive system specification in the language L
ISSN:	1060-0396, 1573-8337
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!