Compositional Modeling and Control for Safety-Critical Manufacturing Systems

Modeling, handling and control of high innovative, multi-site, modular and flexible manufacturing systems is emerging as a high challenge for research. For the industry to control such complex manufacturing systems it becomes a dominating factor to distinguish oneself in international business rivalry. Thus, there is an operative demand for a powerful and stable kernel to successfully take part in this hard contest. In this paper we present a scalable Automata Based Composition (ABC) for modeling and control complex safety-critical manufacturing systems. The basic operation is to automatically synthesize a consistent, coherent and overall behavioral model of a given manufacturing system by composing basic and subdivided components including conditional entities for functional safety of particular components and the manufacturing environment, respectively. One essential property of the ABC is the formal ABC-language. It provides a very intuitive mechanism for specifying, modeling and control of synchronously and asynchronously simultaneous and individually asynchronous behavior of components to each other. An other vital property of ABC is, that it is totally defined and closed under decomposition and re-composition of such complex systems. Thus, the ABC kernel owns unitary operation and becomes totally conflict-free for any variation of modeling progress in contrast to state of the art modeling and simulation tools.