scispace - formally typeset
Journal ArticleDOI

A theory of discontinuities in physical system models

Reads0
Chats0
TLDR
An algorithm for inferring the correct new mode and state variable values in the hybrid modeling framework, and a verification scheme that ensures hybrid models conform to physical system principles based on the principles of divergence of time and temporal evolution in behavior transitions are developed.
Abstract
Physical systems are by nature continuous, but often display nonlinear behaviors that make them hard to analyze. Typically, these nonlinearities occur at a time scale that is much smaller than the time scale at which gross system behavior needs to be described. In other situations, nonlinear effects are small and of a parasitic nature. To achieve efficiency and clarity in building complex system models, and to reduce computational complexity in the analysis of system behavior, modelers often abstract away any parasitic component parameter effects, and analyze the system at more abstract time scales. However, these abstractions often introduce abrupt, instantaneous changes in system behavior. To accommodate mixed continuous and discrete behavior, this paper develops a hybrid modeling formalism that dynamically constructs bond graph model fragments that govern system behavior during continuous operation. When threshold values are crossed, a meta-level control model invokes discontinuous state and model configuration changes. Discontinuities violate physical principles of conservation of energy and continuity of power , but the principle of invariance of state governs model behavior when the control module is active. Conservation of energy and continuity of power again govern behavior generation as soon as a new model configuration is established. This allows for maximally constrained continuous model fragments. The two primary contributions of this paper are an algorithm for inferring the correct new mode and state variable values in the hybrid modeling framework, and a verification scheme that ensures hybrid models conform to physical system principles based on the principles of divergence of time and temporal evolution in behavior transitions . These principles are employed in energy phase space analysis to verify physical consistency of models.

read more

Citations
More filters
Proceedings ArticleDOI

Efficient Simulation Of Hybrid Systems: An Application To Electrical Power Distribution Systems

TL;DR: This paper presents an efficient simulation scheme for hybrid systems modeled as hybrid bond graphs (HBGs) and demonstrates the benefits of this approach for an electrical power distribution system that includes a fast switching inverter system.
Proceedings ArticleDOI

Bond graph UIO approach for fault components monitoring

TL;DR: In this article, the authors used the UIO approach for detection, isolation and estimation of component fault which may affect the system. But, the experimental results are implemented on a real hydraulic system.
Dissertation

Modeling and Simulation of Maritime Systems and Operations for Virtual Prototyping using Co-Simulations

Stian Skjong
TL;DR: The work presented in this thesis is carried out in the ViProMa project and is divided into three parts, which gives an introduction to co-simulation in general, as well as revealing some of the challenges related to using co-Simulations in maritime industrial applications.
Journal ArticleDOI

Switchable structured bond: A bond graph device for modeling power coupling/decoupling of physical systems

TL;DR: A controlled Bond Graph interconnection structure named Switchable Structured Bond, or SS-Bond for short, is presented, basically intended for modeling and simulation of ideal switching phenomena (zero transition time) with fixed causality.
Proceedings ArticleDOI

Visual integration of UML 2.0 and block diagrams for flexible reconfiguration in mechatronic UML

TL;DR: This paper presents a visual integration for UML 2.0 components, statecharts, and block diagrams developed within the MECHATRONlC UML approach that permits to graphically model reconfiguration between several pre-defined configurations with statechart and instance diagrams as well as to specify the flexible assembly of control configuration if needed by means of visual reconfigurations rules.
References
More filters
Book

The Design and Analysis of Computer Algorithms

TL;DR: This text introduces the basic data structures and programming techniques often used in efficient algorithms, and covers use of lists, push-down stacks, queues, trees, and graphs.
Journal ArticleDOI

The algorithmic analysis of hybrid systems

TL;DR: A general framework for the formal specification and algorithmic analysis of hybrid systems is presented, which considers symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space.
Book

Structured Analysis and System Specification

Tom DeMarco
TL;DR: DeMarco's "Structured Analysis and System Specification" as mentioned in this paper is the final paper chosen for inclusion in this book of classic articles on the structured revolution, and it is a good summary of the current state of the art in structured analysis.
Journal ArticleDOI

A qualitative physics based on confluences

TL;DR: A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
Journal ArticleDOI

Qualitative simulation

Related Papers (5)