Supervisory Control of Extended Finite Automata Using Transition Projection
Paper in proceeding, 2012

A limitation of the Ramadge and Wonham (RW) framework for the supervisory control theory is the explicit state representation using finite automata, often resulting in complex and unintelligible models. Extended finite automata (EFAs), i.e., deterministic finite automata extended with variables, provide compact state representation and then make the control logic transparent through logic expressions of the variables. A challenge with this new control framework is to exploit the rich control structure established in RW's framework. This paper studies the decentralized control structure with EFAs. To reduce the computational complexity, the controller is synthesized based on model abstraction of subsystems, which means that the global model of the entire system is unnecessary. Sufficient conditions are presented to guarantee that the decentralized supervisors result in maximally permissive and nonblocking control to the entire system.

Automata

Computational complexity

Computational modeling

Observers

Supervisory control

Author

Mohammad Reza Shoaei

Chalmers, Signals and Systems, Systems and control

Lei Feng

Royal Institute of Technology (KTH)

Bengt Lennartson

Chalmers, Signals and Systems, Systems and control

Proceedings of the IEEE Conference on Decision and Control

07431546 (ISSN) 25762370 (eISSN)

Article number 6427390 7259-7266 6427390

Areas of Advance

Production

Subject Categories

Control Engineering

Computer Science

DOI

10.1109/CDC.2012.6427390

More information

Latest update

1/3/2024 9