Authors: Vasileios Deligiannis, Stamatis Manesis, John Lygeros
Addresses: Systems and Measurement Laboratory, Department of Electrical and Computer Engineering, University of Patras, Rion-Patras 26500, Greece. ' Systems and Measurement Laboratory, Department of Electrical and Computer Engineering, University of Patras, Rion-Patras 26500, Greece. ' ETH Zurich, Automatic Control Laboratory, ETL I 22, Physikstrasse 3, Zurich 8092, Switzerland
Abstract: 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.
Keywords: global automata; industrial systems; hybrid systems; system modelling; state aggregation; automata composition.
International Journal of Industrial and Systems Engineering, 2008 Vol.3 No.4, pp.383 - 406
Available online: 17 Mar 2008 *Full-text access for editors Access for subscribers Purchase this article Comment on this article