Automata Composition for Modeling Large Industrial Systems

Industrial production systems are usually described as discrete event systems (DESs). There are many academic methods for modeling DESs, such as Petri nets and several types of automata. All these methods did not meet great success when proposed for industrial use, primarily because they are application depended. In addition, contemporary industrial systems are hundred times more complex than typical systems found in academic papers. The dependence between application and formulation method seems to be avoided with a recently proposed new method, which is based on automata theory. Besides, the obstacle of complexity can be jumped over using composition of small systems in order to build a large system's model. The formal definitions of the new method and automata's composition are given in this paper and they are illustrated via a representative example

[1]  Henning Dierks,et al.  PLC-automata: a new class of implementable real-time automata , 1997, Theor. Comput. Sci..

[2]  Dawn M. Tilbury,et al.  A study of current logic design practices in the automotive manufacturing industry , 2003, Int. J. Hum. Comput. Stud..

[3]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[4]  Stamatis Manesis,et al.  INTRODUCING A NEW MATHEMATICAL ABSTRACTION FOR MODELING REAL TIME SYSTEMS , 2005 .

[5]  Anil Nerode,et al.  Automata theory and its applications , 2001 .

[6]  H. X. Willems.  Compact Timed Automata for PLC Programs , 2007 .

[7]  Edwin K. P. Chong,et al.  Discrete event systems: Modeling and performance analysis , 1994, Discret. Event Dyn. Syst..

[8]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[9]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[10]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[11]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[12]  Josef Tapken,et al.  MOBY/PLC - Graphical Development of PLC-Automata , 1998, FTRTFT.

[13]  Tiziano Villa,et al.  Solution of parallel language equations for logic synthesis , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).

[14]  D.M. Tilbury,et al.  The practice of industrial logic design , 2004, Proceedings of the 2004 American Control Conference.

[15]  Beno Benhabib,et al.  An implementation methodology for the supervisory control of flexible manufacturing workcells , 1997 .

[16]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.