Model matching for finite-state machines
DOI10.1109/9.964683zbMATH Open1009.93053DBLPjournals/tac/BenedettoSV01OpenAlexW2142124345WikidataQ57380766 ScholiaQ57380766MaRDI QIDQ4540239FDOQ4540239
Tiziano Villa, Alberto L. Sangiovanni-Vincentelli, Maria D. Di Benedetto
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
Recommendations
- Local nonlinear model matching: From linearity to nonlinearity
- On a special case of model matching
- Model matching under external and input-output equivalence
- New approach to linear exact model matching for a class of nonlinear systems
- Flexible compensator design for unity-feedback control loops
- scientific article; zbMATH DE number 6027021
- scientific article; zbMATH DE number 536543
- scientific article; zbMATH DE number 409893
- scientific article; zbMATH DE number 3900606
- Model matching inclusion for input/state asynchronous sequential machines
discrete-event systemsdisturbancesmodel matchingsupervisory controlfinite-state machinesmaximal behaviors
Formal languages and automata (68Q45) Hierarchical systems (93A13) Synthesis problems (93B50) Discrete event control/observation systems (93C65)
Cited In (14)
- On the control of asynchronous sequential machines with infinite cycles
- Ferromagnetic Wire Memory
- Title not available (Why is that?)
- Abstractions of random finite-state machines
- Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines
- Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
- A simple fault tolerant control for input/output asynchronous sequential machines
- Input/output corrective control of switched asynchronous sequential machines under arbitrary switching
- Automatic defensive control of asynchronous sequential machines
- Fault-tolerant control of a class of asynchronous sequential machines with permanent faults
- Factorisation of finite state machines under strong and observational equivalences
- Model matching inclusion for input/state asynchronous sequential machines
- Model matching of switched asynchronous sequential machines via matrix approach
- Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
This page was built for publication: Model matching for finite-state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540239)
