Coordinated corrective control for model matching of asynchronous sequential machines

DOI10.1080/00207721.2020.1803440zbMath1483.93448OpenAlexW3049050118MaRDI QIDQ5026583

Dong Eun Lee, Jung-Min Yang, Seong Jin Park

Publication date: 8 February 2022

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207721.2020.1803440

zbMATH Keywords

reachability analysismodel matchingcoordinated controlasynchronous sequential machines (ASMs)dynamic corrective control

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Attainable sets, reachability (93B03)

Uses Software

• UMDES

Cites Work

• Decentralized control of networked discrete event systems with communication delays
• Reliable supervisory control for general architecture of decentralized discrete event systems
• Fault tolerant control for a class of interconnected asynchronous sequential machines
• Coordinated static control of asynchronous sequential machines
• Automatic defensive control of asynchronous sequential machines
• Corrective Control of Composite Asynchronous Sequential Machines Under Partial Observation
• Introduction to Discrete Event Systems
• State feedback control of asynchronous sequential machines with adversarial inputs
• Input/output control of asynchronous sequential machines with races
• On the control of asynchronous machines with races
• Input/output control of asynchronous sequential machines
• Switching and Finite Automata Theory
• Matrix Approach to Model Matching of Asynchronous Sequential Machines
• On the control of asynchronous sequential machines with infinite cycles

This page was built for publication: Coordinated corrective control for model matching of asynchronous sequential machines