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.
Vaandrager, F. W. and J. Schuppen , (Eds.). 1999. Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag .
2.
Egerstedt, M. and B. Mishra , (Eds.). 2008. Hybrid Systems: Computation and Control, volume 4981 of Lecture Notes in Computer Science. Springer-Verlag .
3.
Alur, R. , C. Courcoubetis , N. Halbwachs , T. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , and S. Yovine.1994. The algorithmic analysis of hybrid systems . In J. Bakkers , C. Huizing , W. de Roeres , and G. Rozenberg , (Eds.) Proceedings of the 11 th International Conference on Analysis and Optimization of Discrete Event Systems, pp. 331-351. Springer-Verlag . Lecture Notes in Control and Information Sciences 199.
4.
Paynter, H.1961. Analysis and Design of Engineering Systems. Cambridge, Massachusets: M.I.T. Press.
5.
Thoma, J.U.1975. Entropy and mass flow for energy conversion . Journal of the Franklin Institute299(2), 89-96.
6.
Mosterman, P.J. and G. Biswas.1998. A theory of discontinuities in dynamic physical systems . Journal of the Franklin Institute335B(3), 401-439.
7.
Griepentrog, E. and R. Marz.1986. Differential-Algebraic Equations and Their Numerical Treatment. Leipzig: BSB Teubner. ISBN 3-322-00343-4.
8.
Mosterman, P.J.2000. Implicit modeling and simulation of discontinuities in physical system models . In S. Engell, S. Kowalewski, and J. Zaytoon, (Eds.) The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems, pp. 35-40. Invited paper.
9.
Verghese, G.C. , B.C. Levy , and T. Kailath.1981. A generalized state-space for singular systems . IEEE Transactions on Automatic Control26(4), 811-831.
10.
Mosterman, P.J.2002. Closed form solutions for two classes of zero order causal paths in bond graphs. Technical Report DLR-IB-515-02/04 , Institute of Robotics and Mechatronics, DLR Oberpfaffenhofen , P.O. Box 1116, D-82230 Wessling , Germany.
11.
Mosterman, P.J.2002. HyBrSim- a modeling and simulation environment for hybrid bond graphs . Journal of Systems and Control Engineering216, 35-46. Special issue paper.
12.
Mosterman, P.J. and G. Biswas.2002. A hybrid modeling and simulation methodology for dynamic physical systems . SIMULATION : Transactions of The Society for Modeling and Simulation International178(1), 5-17.
13.
Mosterman, P.J. and P. Breedveld.1999. Some guidelines for stiff-model implementation with the use of discontinuities . In International Conference on Bond Graph Modeling and Simulation ICBGM99, pp. 175-180. San Francisco.
14.
Paynter, H.M.1961. Analysis and Design of Engineering Systems. Cambridge, Massachusetts: The M.I.T. Press.
15.
Callen, H.1960. Thermodynamics. New York / London: John Wiley & Sons, Inc.
16.
Breedveld, P.C.1984. Physical Systems Theory in Terms of Bond Graphs. PhD dissertation, University of Twente , Enschede, Netherlands.
17.
Breedveld, P.1985. Multibond graph elements in physical systems theory . Journal of the Franklin Institute319(1/2), 1-36.
18.
Karnopp, D. , D. Margolis , and R. Rosenberg.2000. Systems Dynamics : Modeling and Simulation of Mechatronic Systems. New York: Wiley-Interscience, 3edition.
19.
Heaviside, O.1893. On the forces, stresses, and fluxes of energy in the electromagnetic field. Philosopical Transaction of the Royal Society.
20.
Cuijpers, P. and M. Reniers.2005. Hybrid process algebra . Journal of Logic and Algebraic Programming62(2), 191-245.
Sontag, E.1998. Mathematical Control Theory: Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics. Springer-Verlag .
23.
Plotkin, G.1981. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University .
24.
Bergstra, J. and C. Middelburg.2005. Process algebra for hybrid systems . Theoretical Computer Science335(2-3), 215-280.
25.
Beek, D. , K. Man , M. Reniers , J. Rooda , and R. Schiffelers.2006. Syntax and consistent equation semantics of hybrid chi . Journal of Logic and Algebraic Programming68(1-2), 129-210.
26.
Rounds, W. and H. Song.2003. The ϕ-calculus: A language for distributed control of reconfigurable embedded systems . In F. Wiedijk , O. Maler, and A. Pnueli, (Eds.) Hybrid Systems: Computation and Control , 6th International Workshop, HSCC 2003, volume 2623 of Lecture Notes in Computer Science, pp. 435-449. Springer-Verlag .
27.
Henzinger, T.1996. The theory of hybrid automata . In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278-292. IEEE Computer Society Press.
28.
Lynch, N. , R. Segala , and F. Vaandrager.2003. Hybrid I/O automata . Information and Computation185(1), 105-157.
29.
Brinksma, E. , T. Krilavicius , and Y. Usenko.2005. A process algebraic approach to hybrid systems. In Mathematical Structure of Dynamical Systems session of the l6th IFAC World Congress 2005 (CD-ROM), pp. Th-M13-TO/4. Prague, Czech Republic.
30.
Aubin, J.-P. , J. Lygeros , M. Quincampoix , S. Sastry , and N. Seube.2002. Impulse differential inclusions: A viability approach to hybrid systems . IEEE Transactions on Automate Control47, 2-20.
31.
Cuijpers, P. and M. Reniers.2006. Modeling an impact control strategy using HyPA . In C. Cassandras and et al., (Eds.) Proceedings of the 2nd IFAC conference on Analysis and Design of Hybrid Systems (ADHS'06), IFAC, pp. 56-63. Alghero , Italy.
32.
Breedveld, P.1996. The context-dependent trade-off between conceptual and computational complexity illustrated by the modeling and simulation of colliding objects . In P. Borne and et al., (Eds.) Proceedings Computational Engineering in Systems Applications '96 (IMACS/IEEE-SMC Multiconference), pp. 48-54. Lille, France.
33.
Mosterman, P. , G. Biswas , and O. Otter.1998. Simulation of discontinuities in physical system models based on conservation principles . In Proceedings of the 1998 Summer Computer Simulation Conference , pp. 320-325. Reno, Nevada.
Brand, P. , M. Reniers , and P. Cuijpers.2004. Linearization of hybrid processes. Technical Report CSR 04-29, TU/e, Eindhoven , Netherlands.
38.
Mosterman, P.J. and G. Biswas.1996. Verification of dynamic physical system models . In Proceedings of the American Society of Mechanical Engineers Congress '96, pp. 707-714. Atlanta, GA .
39.
Lorenz, F. and H. Haffaf.1995. Combinations of discontinuities in bond graphs. In F. E. Cellier and J. J. Granda , (Eds.) 1995International Conference on Bond Graph Modeling and Simulation (ICBGM '95), number 1 in Simulation, pp. 56-64. Society for Computer Simulation, Las Vegas: Simulation Councils, Inc. Volume 27.
40.
Mosterman, P.1997. Hybrid Dynamic Systems: A Hybrid Bond Graph Modeling Paradigm and its Application in Diagnosis. Ph.D. thesis, Vanderbilt University, Nashville, Tennessee.
41.
Nishida, T. and S. Doshita.1987. Reasoning about discontinuous change . In Proceedings of the Association for the Advancement of Artifical Intelligence AAAI-87, pp. 643-648. Seattle, Washington .
