A Systematic Methodology for Actuator Augmentation in the Supervisory Control of Discrete Event Systems
Supervisory control theory of discrete event systems in the Ramade-Wonham paradigm addresses the problem of restricting the system evolution so that it conforms to certain predefined behavior commonly referred to as specifications. This theory states that a sequence of events that cause the plant to...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
International Institute of Informatics and Cybernetics
2006-10-01
|
Series: | Journal of Systemics, Cybernetics and Informatics |
Subjects: | |
Online Access: | http://www.iiisci.org/Journal/CV$/sci/pdfs/P976200.pdf
|