Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Mathematical control theory: deterministic finite dimensional systems (2nd ed.)
Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
System Dynamics: Modeling and Simulation of Mechatronic Systems
System Dynamics: Modeling and Simulation of Mechatronic Systems
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in Computer Science)
The φ-calculus: a language for distributed control of reconfigurable embedded systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Hi-index | 0.00 |
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond graph modeling formalism. Often, however, physical components may be best modeled as piecewise continuous with discrete mode changes, which leads to a violation of continuity principles. To support such hybrid models, bond graphs can be extended by facilitating a dynamic model structure, resulting in hybrid bond graphs. Behavior generation then requires computing continuous-time evolution, detecting the occurrence of events, executing the discrete state changes and re-initializing the continuous-time state. This paper presents a comprehensive representation of these different aspects of behavior using hybrid process algebra. The behavior of a hybrid bond graph can then be studied using a uniform representation while a direct correspondence with the elements of the bond graph is maintained. Additionally, non-determinism can be included in hybrid bond graph semantics which may alleviate the modeling task without being detrimental to the required analyses.