Efficient simulation of hybrid systems: A hybrid bond graph approach

نویسندگان

  • Indranil Roychoudhury
  • Matthew J. Daigle
  • Gautam Biswas
  • Xenofon D. Koutsoukos
چکیده

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.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

متن کامل

A Method for Efficient Simulation of Hybrid Bond Graphs

The hybrid bond graph (HBG) paradigm is a uniform, multi-domain physics-based modeling language. It incorporates controlled and autonomous mode changes as idealized switching functions that enable the reconfiguration of energy flow paths to model hybrid physical systems. Building accurate and computationally efficient simulation mechanisms fromHBGmodels is a challenging task, especially when th...

متن کامل

An Efficient Method for Simulating Complex Systems with Switching Behaviors Using Hybrid Bond Graphs

Accurate and efficient modeling and simulation approaches are essential for design, analysis, diagnosis, and prognosis of complex embedded systems. This paper presents an efficient simulation scheme for systems with mixed continuous and discrete behaviors. We model hybrid systems using hybrid bond graphs (HBGs), a multi-domain physics-based modeling language that incorporates local switching fu...

متن کامل

Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs

Modern engineering systems consist of a large number of interacting components with nonlinear, hybrid behaviors. This makes the building of accurate and computationally efficient simulation models very challenging. Recently, researchers have adopted component[1] and actor-oriented [2] frameworks for modeling of large systems. Such frameworks consist of mathematical models for specifying individ...

متن کامل

Optimal design of supply chain network under uncertainty environment using hybrid analytical and simulation modeling approach

Models that aim to optimize the design of supply chain networks have gained more interest in the supply chain literature. Mixed-integer linear programming and discrete-event simulation are widely used for such an optimization problem. We present a hybrid approach to support decisions for supply chain network design using a combination of analytical and discrete-event simulation models. The prop...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Simulation

دوره 87  شماره 

صفحات  -

تاریخ انتشار 2011