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ženo v:

Podrobná bibliografie
Vydáno v:	Cybernetics and systems analysis Ročník 48; číslo 4; s. 479 - 488
Hlavní autor:	Chebotarev, A. N.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Boston Springer US 01.07.2012 Springer Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!