Describes the authors' experience with a prototype system capable of synthesizing supervisor controller programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham (1987). The authors augment the theory by also allowing continuous time trajectories modeling transitions between events. The authors illustrate their approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.
Antoniotti, M., Mishra, B. (1994). Automatic synthesis algorithms for supervisory controllers. In Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, 1994 (pp.151-156) [10.1109/CIMAT.1994.389080].
Automatic synthesis algorithms for supervisory controllers
ANTONIOTTI, MARCOPrimo
;
1994
Abstract
Describes the authors' experience with a prototype system capable of synthesizing supervisor controller programs based largely on the theory of discrete event systems (DES) first proposed by Ramadge and Wonham (1987). The authors augment the theory by also allowing continuous time trajectories modeling transitions between events. The authors illustrate their approach by an example, the discrete control of a walking machine, which poses some challenges on the applicability of the theory and finally, discuss some possible solutions.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
