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!
Popis
Shrnutí: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 maximal solution to an inequality with respect to the operation of synchronous composition of FSMs.
Bibliografie:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-012-9427-6