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
Journal ArticleDOI

Diagnosis of continuous valued systems in transient operating regions

TL;DR: Monitoring, prediction, and fault isolation methods for abrupt faults in complex dynamic systems are developed and successfully applied to monitoring of the secondary sodium cooling loop of a fast breeder reactor.
Proceedings Article

Model-based diagnosis of hybrid systems

TL;DR: This paper presents a methodology for online tracking and diagnosis of hybrid systems and demonstrates the effectiveness of the approach with experiments conducted on the fuel-transfer system of fighter aircraft.
Journal ArticleDOI

Model-Based Diagnosis of Hybrid Systems

TL;DR: In this paper, the authors present a methodology for online tracking and diagnosis of hybrid systems that combine digital (discrete) supervisory controllers with analog (continuous) plants, and demonstrate the effectiveness of the approach with experiments conducted on the fuel transfer system of fighter aircraft.
Journal ArticleDOI

Co-Simulation: A Survey

TL;DR: The need for finding generic approaches for modular, stable, and accurate coupling of simulation units, as well as expressing the adaptations required to ensure that the coupling is correct, is identified.
References
More filters
Proceedings Article

A formal hybrid modeling scheme for handling discontinuities in physical system models

TL;DR: This paper discusses a hybrid modeling methodology and analysis algorithms that combine continuous energy flow modeling and localized discrete signal flow modeling to generate complex, multi-mode behavior in a consistent and correct manner.
Journal ArticleDOI

Discontinuities in a bond graph framework

TL;DR: This paper develops a model of a particular example of a real-world hydraulic-mechanical system in which check valves of a rectifier bridge and the limitation of spool displacement in a control valve give rise to consider a partly discontinuous description, while the rest of the model is continuous.

Switched Bond Graphs : Towards Systematic Composition of Computational Models

TL;DR: In this article, a computational model is systematically composed from the parts without having to introduce local or global patches, and an algorithm is presented to localize and adjust the composed system in those cases where the composition operator fails.
Related Papers (5)