Deriving Homing Sequences for Finite State Machines with Timed Guards

Autor:	A. S. Tvardovskii, N. V. Yevtushenko
Rok vydání:	2021
Předmět:	Control and Systems Engineering Signal Processing Software
Zdroj:	Automatic Control and Computer Sciences. 55:738-750
ISSN:	1558-108X 0146-4116
DOI:	10.3103/s0146411621070154
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::adef08c47d2ecd3340e19fc16dd9f363 https://doi.org/10.3103/s0146411621070154 Zobrazit plný text záznamu Full text from SpringerLink