Efficient simulation of hybrid systems: A hybrid bond graph approach

Accurate and efficient simulations facilitate cost-effective design and analysis of large, complex, embedded systems, whose behaviors are typically hybrid, i.e. continuous behaviors interspersed with discrete mode changes. In this paper we present an approach for deriving component-based computational models of hybrid systems using hybrid bond graphs (HBGs), a multi-domain, energy-based modeling language that provides a compact framework for modeling hybrid physical systems. Our approach exploits the causality information inherent in HBGs to derive component-based computational models of hybrid systems as reconfigurable block diagrams. Typically, only small parts of the computational structure of a hybrid system change when mode changes occur. Our key idea is to identify the bonds and elements of HBGs whose causal assignments are invariant across system modes, and use this information to derive space-efficient reconfigurable block diagram models that may be reconfigured efficiently when mode changes occur. This reconfiguration is based on the incremental reassignment of causality implemented as the Hybrid Sequential Causal Assignment Procedure, which reassigns causality for the new mode based on the causal assignment of the previous mode. The reconfigurable block diagrams are general, and they can be transformed into simulation models for generating system behavior. Our modeling and simulation methodology, implemented as the Modeling and Transformation of HBGs for Simulation (MoTHS) tool suite, includes a component-based HBG modeling paradigm and a set of model translators for translating the HBG models into executable models. In this work, we use MoTHS to build a high-fidelity MATLAB Simulink model of an electrical power distribution system.

[1]  Gabor Karsai,et al.  Component-oriented modeling of hybrid dynamic systems using the generic modeling environment , 2006, Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06).

[2]  Wolfgang Borutzky,et al.  Discontinuities in a bond graph framework , 1995 .

[3]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[4]  Johannes van Dijk,et al.  On the role of bond graph causality in modelling mechatronic systems , 1994 .

[5]  Johannes F. Broenink,et al.  BOND-GRAPH MODELING IN MODELICA ™ , 1997 .

[6]  Franz Wotawa,et al.  A Causal Analysis Method for Concurrent Hybrid Automata , 2006, AAAI.

[7]  Edward A. Lee,et al.  Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems , 2001, Int. J. Comput. Simul..

[8]  Marcel Staroswiecki,et al.  Model builder using functional and bond graph tools for FDI design , 2005 .

[9]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[10]  M. Ceraolo,et al.  New dynamical models of lead-acid batteries , 2000 .

[11]  X. Koutsoukos,et al.  Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches , 2007 .

[12]  Gautam Biswas,et al.  A Model Integrated Computing Tool-Suite for Fault-Adaptive Control , 2004 .

[13]  Jan Top,et al.  Variable Causality in Bond Graphs Caused by Discrete Effects , 1992 .

[14]  Johannes F. Broenink,et al.  Graphical Description of Physical System Models Containing Discontinuities , 1993 .

[15]  Krister Edström,et al.  Simulation of Mode Switching Systems Using Switched Bond Graphs , 1996 .

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

[17]  Francesc Guinjoan,et al.  Sliding-mode control design of a boost-buck switching converter for AC signal generation , 2004, IEEE Transactions on Circuits and Systems I: Regular Papers.

[18]  George J. Thaler,et al.  Electric machines : dynamics and steady state , 1966 .

[19]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[20]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[21]  Dragan Antić,et al.  An introduction to bond graph modelling of dynamic systems , 1999, 4th International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services. TELSIKS'99 (Cat. No.99EX365).

[22]  Edward A. Lee,et al.  A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[23]  Pieter J. Mosterman,et al.  HYBRSIM—a modelling and simulation environment for hybrid bond graphs , 2002 .

[24]  J. Buisson,et al.  Analysis of the bond graph model of hybrid physical systems with ideal switches , 2002 .

[25]  S. Barsali,et al.  Dynamical Models of Lead-Acid Batteries: Implementation Issues , 2002, IEEE Power Engineering Review.

[26]  H. R. Martens,et al.  The Method of Relaxed Causality in the Bond Graph Analysis of Nonlinear Systems , 1974 .

[27]  François E. Cellier,et al.  Object-Oriented Modeling of Complex Physical Systems Using the Dymola Bond-Graph Library , 2002 .

[28]  Paul C. Krause,et al.  Analysis of electric machinery , 1987 .

[29]  Johannes F. Broenink,et al.  Describing Discontinuities in Bond Graphs , 1993 .

[30]  Amalendu Mukherjee System Modeling through Bond graph Objects on SYMBOLS 2000. , 2000 .

[31]  Jose J. Granda The role of bond graph modeling and simulation in mechatronics systems: An integrated software tool: CAMP-G, MATLAB–SIMULINK , 2002 .

[32]  G. Dauphin-Tanguy,et al.  Power electronics converter-electrical machine assembly bond graph models simulated with CAMP/G-ACSL , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[33]  Karnopp Lagrange's equations for complex bond graph systems , 1977 .

[34]  J.-E. Stromberg,et al.  The conceptual side of mode switching , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[35]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[36]  Pieter J. Mosterman,et al.  A Method for Efficient Simulation of Hybrid Bond Graphs , 2006 .