Contributions to the control of Time-Weighted Systems

This paper presents some contributions to a time-optimal control framework based on Time-Weighted Systems (TWS). A two-steps control synthesis method is proposed, where, first, given a TWS and a set of safety and coordination requirements, a supervisor to guarantee the former is synthesized, and, second, given a required number of productions, a supervisor that guarantees the minimum makespan (production time) is computed. We also propose a realization of a timed supervisory control map for a TWS that is robust with respect to variations on event execution times and that contains a simple control law suitable for implementation in platforms like PLCs or microcontrollers. We illustrate our approach using two Flexible Manufacturing Systems (FMS) case studies.

[1]  Ricardo H. C. Takahashi,et al.  Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control , 2013, 2013 IEEE Congress on Evolutionary Computation.

[2]  Ricardo H. C. Takahashi,et al.  Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis , 2016, Inf. Sci..

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  A. Pnueli,et al.  CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .

[5]  Eugene Asarin,et al.  As Soon as Possible: Time Optimal Control for Timed Automata , 1999, HSCC.

[6]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[7]  Ernesto López-Mellado,et al.  Modelling of batch production systems using Petri nets with dynamic tokens , 2005, Math. Comput. Simul..

[8]  José E. R. Cury,et al.  MODULAR MULTITASKING SUPERVISORY CONTROL OF COMPOSITE DISCRETE-EVENT SYSTEMS , 2005 .

[9]  Rong Su,et al.  A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages , 2015, IEEE Transactions on Automatic Control.

[10]  Joseph Sifakis,et al.  Controller Synthesis for Timed Automata 1 , 1998 .

[11]  Rong Su,et al.  The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces , 2012, IEEE Transactions on Automatic Control.

[12]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[13]  Walter Murray Wonham.  Supervisory Control of Discrete-Event Systems , 2015, Encyclopedia of Systems and Control.

[14]  K. Passino,et al.  On the optimal control of discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[15]  Jean-Louis Boimond,et al.  Supervisory Control of (max,+) Automata: A Behavioral Approach , 2009, Discret. Event Dyn. Syst..

[16]  Eugene Asarin,et al.  Scheduling with timed automata , 2006, Theor. Comput. Sci..

[17]  R. Sengupta,et al.  An Optimal Control Theory for Discrete Event Systems , 1998 .

[18]  Vicente Ferreira de Lucena,et al.  A Computationally Efficient Method for Optimal Input-Flow Control of Timed-Event Graphs Ensuring a Given Production Rate , 2015 .

[19]  Bertrand Cottenceau,et al.  Optimal closed-loop control of timed EventGraphs in dioids , 2003, IEEE Trans. Autom. Control..

[20]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[21]  G. Viennot.  Heaps of Pieces, I: Basic Definitions and Combinatorial Lemmas , 1989 .

[22]  Geert Jan Olsder,et al.  Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications , 2005 .

[23]  A. E. C. D. Cunha,et al.  PRODUCTION TIME MINIMIZATION OF AN INDUSTRIAL GLASS BONDING SYSTEM USING TIMED-WEIGHTED-SYSTEMS , 2017 .

[24]  José Eduardo Ribeiro Cury,et al.  A Method for PLC Implementation of Supervisory Control of Discrete Event Systems , 2017, IEEE Transactions on Control Systems Technology.

[25]  Stéphane Lafortune,et al.  On optimal control of a class of partially observed discrete event systems , 2002, Autom..

[26]  A. B. Leal,et al.  Local Modular Supervisory Implementation in Microcontroller , 2012 .