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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis Jg. 48; H. 4; S. 479 - 488
1. Verfasser: Chebotarev, A. N.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Boston Springer US 01.07.2012
Springer
Springer Nature B.V
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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