Title: Global automata: a new approach on modelling industrial systems

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.

DOI: 10.1504/IJISE.2008.017551

International Journal of Industrial and Systems Engineering, 2008 Vol.3 No.4, pp.383 - 406

Published online: 17 Mar 2008 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article