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!

Schreiben Sie den ersten Kommentar!