Modeling multidisciplinary systems with Hybrid Statecharts

Some of the problems when modelling and/or simulating multidisciplinary systems, in today's engineering systems, result from the different time scales of the involved components. Often, the behaviour of fast components may be modeled with instantaneous changes, thus reducing the stiffness of the equations to be solved numerically. This approach leads to a variable structure of a DAE system of equations which is, basically, a hybrid DAE. This representation, being a low level formalism, is not intuitive when extracting the fundamentals of the system's behaviour. The Hybrid Statecharts, being a graphical formalism, is an interesting way to increase the legibility of hybrid DAEs. This paper explores the Hybrid Statecharts formalism in order to represent continuous and discrete behaviour in the engineering field. The Statecharts hierarchy mechanism, implemented by means of state decomposition, is important to address the modelling of complex hybrid behaviour, as is normally the case with multidisciplinary systems.

[1]  Carlos Canudas de Wit,et al.  A survey of models, analysis tools and compensation methods for the control of machines with friction , 1994, Autom..

[2]  Pieter J. Mosterman,et al.  Modeling Petri Nets as Local Constraint Equations for Hybrid Systems Using Modelica , 1998 .

[3]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[4]  P. J. Monsterman.  Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis , 1997 .

[5]  M.A.P. Remelhe.  Simulation and visualization support for user-defined formalisms using meta-modeling and hierarchical formalism transformation , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[6]  W. Sweet,et al.  The glass cockpit [flight deck automation] , 1995 .

[7]  David Arthur Fahrland,et al.  Combined discrete event continuous systems simulation , 1970 .

[8]  J.A. Ferreira,et al.  Modelling hybrid systems using statecharts and Modelica , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[9]  John Knight.  The Glass Cockpit , 2007, Computer.

[10]  J A Ferreira,et al.  Hybrid models for hardware-in-the-loop simulation of hydraulic systems Part 2: Experiments , 2004 .

[11]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[12]  Paul I. Barton,et al.  Modeling, simulation, sensitivity analysis, and optimization of hybrid systems , 2002, TOMC.

[13]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[14]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[15]  Amir Pnueli,et al.  What is in a Step: On the Semantics of Statecharts , 1991, TACS.

[16]  J A Ferreira,et al.  Semi-empirical model for a hydraulic servo-solenoid valve , 2002 .

[17]  Pieter J. Mosterman,et al.  A comprehensive methodology for building hybrid models of physical systems , 2000, Artif. Intell..

[18]  J A Ferreira,et al.  Hybrid models for hardware-in-the-loop simulation of hydraulic systems Part 1: Theory , 2004 .