Global automata: a new approach on modelling industrial systems
Vasileios Deligiannis, Stamatis A. Manesis, John Lygeros · International Journal of Industrial and Systems Engineering · 2008
This paper introduces Global Automata as a new approach on modelling contemporary industrial systems. Global automata are based on automata philosophy and, as their name reveals, they constitute a super-set of existing automata types. Their implementation field is, therefore, wider in comparison with other available types. Their main characteristic is that they are especially oriented for industrial use. As regards to model architecture, they introduce new formulation parameters diversifying from conventional types, while they keep some common basic features. A formal definition of global automata is given as also two useful tools for system modelling, which are state aggregation and automata composition. Their use is illustrated with two representative industrial examples.