Model matching for finite-state machines
From MaRDI portal
Publication:4540239
DOI10.1109/9.964683zbMath1009.93053WikidataQ57380766 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 control; discrete-event systems; disturbances; finite-state machines; model matching; maximal behaviors
68Q45: Formal languages and automata
93A13: Hierarchical systems
93C65: Discrete event control/observation systems
93B50: Synthesis problems
Related Items
Unnamed Item, Model matching of switched asynchronous sequential machines via matrix approach, On the control of asynchronous sequential machines with infinite cycles, Fault-tolerant control of a class of asynchronous sequential machines with permanent faults, Model matching inclusion for input/state asynchronous sequential machines, Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences, Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults, Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines, A simple fault tolerant control for input/output asynchronous sequential machines, Automatic defensive control of asynchronous sequential machines