Harmonization of Interacting Automata
Gespeichert in:
Verfasser / Beitragende:
[A. Chebotarev]
Ort, Verlag, Jahr:
2015
Enthalten in:
Cybernetics and Systems Analysis, 51/5(2015-09-01), 676-686
Format:
Artikel (online)
Online Zugang:
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605519218 | ||
| 003 | CHVBK | ||
| 005 | 20210128100729.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150901xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10559-015-9759-0 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10559-015-9759-0 | ||
| 100 | 1 | |a Chebotarev |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine |4 aut | |
| 245 | 1 | 0 | |a Harmonization of Interacting Automata |h [Elektronische Daten] |c [A. Chebotarev] |
| 520 | 3 | |a The problem of automata harmonization is to design a system whose behavior during the interaction with its environment meets given requirements regardless of the behavior of the environment. A number of theoretical results employed in solving the harmonization problem and corresponding algorithms based on these results are presented. | |
| 540 | |a Springer Science+Business Media New York, 2015 | ||
| 690 | 7 | |a interaction of automata |2 nationallicence | |
| 690 | 7 | |a composition of automata |2 nationallicence | |
| 690 | 7 | |a automaton shift with respect to input |2 nationallicence | |
| 690 | 7 | |a harmonization of automata |2 nationallicence | |
| 690 | 7 | |a correctness of a composition |2 nationallicence | |
| 773 | 0 | |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/5(2015-09-01), 676-686 |x 1060-0396 |q 51:5<676 |1 2015 |2 51 |o 10559 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10559-015-9759-0 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10559-015-9759-0 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Chebotarev |D A. |u V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Cybernetics and Systems Analysis |d Springer US; http://www.springer-ny.com |g 51/5(2015-09-01), 676-686 |x 1060-0396 |q 51:5<676 |1 2015 |2 51 |o 10559 | ||