Model matching for finite-state machines
From MaRDI portal
Publication:4540239
DOI10.1109/9.964683zbMath1009.93053DBLPjournals/tac/BenedettoSV01OpenAlexW2142124345WikidataQ57380766 ScholiaQ57380766MaRDI QIDQ4540239
Tiziano Villa, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
Publication date: 21 July 2002
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.964683
supervisory controldiscrete-event systemsdisturbancesfinite-state machinesmodel matchingmaximal behaviors
Formal languages and automata (68Q45) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50)
Related Items (10)
Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines ⋮ Unnamed Item ⋮ Fault-tolerant control of a class of asynchronous sequential machines with permanent faults ⋮ Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences ⋮ Model matching inclusion for input/state asynchronous sequential machines ⋮ Automatic defensive control of asynchronous sequential machines ⋮ Model matching of switched asynchronous sequential machines via matrix approach ⋮ On the control of asynchronous sequential machines with infinite cycles ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults ⋮ A simple fault tolerant control for input/output asynchronous sequential machines
This page was built for publication: Model matching for finite-state machines
