Bibliography

Breedveld1996

Breedveld, P. C.
1996.
The context-dependent trade-off between conceptual and computational complexity illustrated by the modeling and simulation of colliding objects.
In CESA '96 IMACS Multiconference.
Lille, France.

Cellier1979

Cellier, F. E.
1979.
Combined Continuous/Discrete System Simulation by Use of Digital Computers: Techniques and Tools.
PhD dissertation, ETH, Zurich, Switzerland.

Karnopp, Margolis, & Rosenberg1990

Karnopp, D.; Margolis, D.; and Rosenberg, R.
1990.
Systems Dynamics: A Unified Approach.
New York: John Wiley and Sons, 2 edition.

Kohavi1978

Kohavi, Z.
1978.
Switching and Finite Automata Theory.
New York: McGraw-Hill, Inc.

Mosterman & Biswas1997a

Mosterman, P. J., and Biswas, G.
1997a.
Formal Specifications from Hybrid Bond Graph Models.
In Qualitative Reasoning Workshop, 131-142.

Mosterman & Biswas1997b

Mosterman, P. J., and Biswas, G.
1997b.
Principles for Modeling, Verification, and Simulation of Hybrid Dynamic Systems.
5^th Intl. Conf. on Hybrid Systems, 21-27.

Mosterman & Biswas1998

Mosterman, P. J., and Biswas, G.
1998.
A theory of discontinuities in dynamic physical systems.
Journal of the Franklin Institute 335B(3):401-439.

Mosterman, Zhao, & Biswas1998

Mosterman, P. J.; Zhao, F.; and Biswas, G.
1998.
Sliding mode model semantics and simulation for hybrid systems.
In Hybrid Systems V. Springer-Verlag.
LNCS.

Mosterman1997

Mosterman, P. J.
1997.
Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis.
PhD dissertation, Vanderbilt University.

Paynter1961

Paynter, H. M.
1961.
Analysis and Design of Engineering Systems.
Cambridge, Massachusetts: The M.I.T. Press.

Strömberg, Top, & Söderman1993

Strömberg, J.-E.; Top, J.; and Söderman, U.
1993.
Variable causality in bond graphs caused by discrete effects.
In Proc. of ICBGM'93, 115-119.