Liana MIC, Raluca FAT, Tiberiu LETIA


Many applications are of hybrid type, which means that they consist of two parts: a discrete events and a discrete time (continuous) part. The control synthesis for these kinds of systems is difficult because they involve interactions of different types of models belonging to different approaches.  The control components have to react to internal or external asynchronous discrete events as consequences of the changes of the environment. The control of these systems must be constructed such that the system fulfills its specifications: reach or avoid some stated, avoid the deadlocks execute cyclically or parallel sequences of events with the shortest periods of time.  The discrete events part is modeled using Timed Petri Nets (TPN) and the continuous part using Discrete Time Systems (DTS) and Fuzzy Logic Control (FLC). New methods are presented that are able to link the TPN and FLC models in order to describe the hybrid control system, resulting Enhanced TPN (ETPN) models of systems. The search means to automatically find a controller modeled by ETPN that fulfills some specified requirements.  The control synthesis is made employing the techniques of Genetic Programming (GP) which uses the tree representations (LISP expressions) of the ETPNL descriptions of the hybrid system. The parameters of the controller are synthesized using the techniques of Genetic Algorithms (GA). The individuals of the populations taking part to the evolutionary process of GP are organized into species based on some parameters like the isomorphic distance between them. 

Full Text:



J. Erschler, G. de Tersac, Flexibilite et role de l’operateur humain dans l’automatisation integree de production Rapport LAAS, no. 88137, 1988.

B.J. Lageweg, J.K. Lenstra, and A.H.G. Rinnooy Kan, Job-shop scheduling by implicit enumeration, Management Science, vol. 24, pp. 441-450, 1977.

E.J. Lee, N. Dangoumau, A. Toguyeni, A Petri net based approach to design controllers for Flexible Manufacturing Systems, Proceeding of 17th IMACS World Congress Scientific Computation, Applied Mathematics and Simulation-IMACS 2005, France, 2005.

Y. Koren, U. Heisel, F. Jovane, T. Moriwoki, G. Pritshow, A.G. Ulosy and H. Van Bruseel, Reconfigurable Manufacturing Systems, Annals of the CIRP, Vol.48, pp. 527-540, 1999.

Y. KOREN, Reconfigurable Manufacturing and Beyond, In the summary of keynote Speech of CIRP05 3rd International Conference on Reconfigurable Manufacturing, Ann Arbor, Michigan, USA, 2005.

M. Silva, R. Vallete, Petri Nets and Flexible Manufacturing, European Workshop on Applications and Theory in Petri Nets, pp.374-417, Spinger, 2009.

A. Voronov, On Formal Methods for Large-Scale Product Configuration, Phd. Thesis, Chalmers University of Technology, Goteborg, Sweden, 2013.

General Motors, Manufacturing Automation Protocol (MAP), a communication network for Open Systems Interconnection (OSI), Document specification, 1985.

E.Y.T. Juan, J. P. Tsai, T. Murata and Y. Zhou, Reduction methods for real-time systems using delay time Petri nets, IEEE Transactions on Software and Engineering, vol.27, no. 5, pp. 422-448, 2001.

P. Merlin and D. Faber, Recovery of communication protocols implication of a theoretical study, IEEE Trans. Communications, vol. 24, no. 9, pp. 381-404, 1976.

W. Khansa, J. P. Denath and S. Collart. Fault P-time Petri nets for manufacturing systems, Proceedings of WODES96, pp. 19-21, Ediburgh, UK. 1996.

T. Letia, M. Hulea, O. Cuibus, Controller Synthesis Method for Discrete Event Systems IEEE International Conference, Automation Quality and Testing Robotics (AQTR), pp. 85- 90, Cluj-Napoca, Romania, 2012.

J. Wang, Y. Deng, M. Zhu, Compositional Time Petri Nets and Reduction Rules, IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics, Vol.30, No.4

R. Zhu, A Deadlock Prevention Approach for Flexible manufacturing Systems using with Uncontrollable Transitions in their Petri Net Models, Asian Journal of Control, ISSN: 1934-6093, Wiley Library 2011

T. Letia, L. Mic, R. Fat, M. Santa, From Product Specification to Manufacturing Control, IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), DOI: 10.1109/AQTR.2014


  • There are currently no refbacks.