Model matching for finite-state machines

DOI10.1109/9.964683MaRDI QIDQ4540239zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Maria D. Di Benedetto, Tiziano Villa, 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

zbMATH Keywords

discrete-event systemsdisturbancesmodel matchingsupervisory controlfinite-state machinesmaximal behaviors

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Hierarchical systems (93A13) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

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

Cited in

(14)

• Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
• Model matching of switched asynchronous sequential machines via matrix approach
• Abstractions of random finite-state machines
• Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines
• Input/output corrective control of switched asynchronous sequential machines under arbitrary switching
• On the control of asynchronous sequential machines with infinite cycles
• Ferromagnetic Wire Memory
• A simple fault tolerant control for input/output asynchronous sequential machines
• Model matching inclusion for input/state asynchronous sequential machines
• Automatic defensive control of asynchronous sequential machines
• Factorisation of finite state machines under strong and observational equivalences
• scientific article; zbMATH DE number 7455750 (Why is no real title available?)
• Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences
• Fault-tolerant control of a class of asynchronous sequential machines with permanent 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)