Design of discrete-event systems using templates

A new methodology for the design of DES control is proposed which allows for the creation of high-level conceptual designs by using encapsulated low-level elements. The approach can be used within the standard framework of modular supervisory control. The notion of DES templates is introduced, where typical behaviors for both DES modules and specifications are represented in an abstract way. The control engineer creates instances of these abstractions and specifies the way the instances interact. System modeling and the design of specifications occur simultaneously. Speed and robustness of the design process are improved since there is no need to consider details or to reimplement similar parts of a system. The proposed methodology is applied to a small robotic testbed to get real-world feedback.

[1]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

[2]  Karen Rudie,et al.  Problem solving in control of discrete-event systems , 2007, 2007 European Control Conference (ECC).

[3]  K. Rudie.  The Integrated Discrete-Event Systems Tool , 2006, 2006 8th International Workshop on Discrete Event Systems.

[4]  Ryan J. Leduc,et al.  Hierarchical Interface-based Supervisory Control , 2003 .

[5]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[6]  B.H. Krogh,et al.  Programming discrete control systems using state machine templates , 2006, 2006 8th International Workshop on Discrete Event Systems.

[7]  V. J. De Negri,et al.  A computational model for supporting conceptual design of automatic systems , 2001 .

[8]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[9]  M.H. de Queiroz,et al.  Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[10]  Robi Malik,et al.  Incremental verification and synthesis of discrete-event systems guided by counter examples , 2004, IEEE Transactions on Control Systems Technology.

[11]  M.H. de Queiroz,et al.  Modular control of composed systems , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[12]  Michel Barbeau,et al.  An evaluation of the TCT tool for the synthesis of controllers of discrete event systems , 1993, Proceedings of Canadian Conference on Electrical and Computer Engineering.

[13]  Celso A. A. Kaestner,et al.  Discrete Event Systems with Guards , 2004 .

[14]  Walter Murray Wonham,et al.  Hierarchical control of discrete-event systems , 1996, Discret. Event Dyn. Syst..