A theory of discontinuities in physical system models

[1]  C. W. b. Ham,et al.  Mechanics of machinery , 1927 .

[2]  Internal combustion engines, analysis and practice , 1944 .

[3]  Dean Karnopp,et al.  Analysis and simulation of multiport systems : the bond graph approach to physical system dynamics , 1968 .

[4]  Jean U. Thoma.  Bond graphs for thermal energy transport and entropy flow , 1971 .

[5]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[6]  Alan S. Perelson,et al.  System Dynamics: A Unified Approach , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  Wolfgang Ruppel,et al.  Energie und Entropie : ein Einführung in die Thermodynamik : die Physik des Naturwissenschaftlers , 1976 .

[8]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[9]  J. Taylor,et al.  Switching and finite automata theory, 2nd ed. , 1980, Proceedings of the IEEE.

[10]  F. Fairman.  Introduction to dynamic systems: Theory, models and applications , 1979, Proceedings of the IEEE.

[11]  K. Denbigh,et al.  The principles of chemical equilibrium : with applications in chemistry and chemical engineering , 1981 .

[12]  Dean Karnopp,et al.  Introduction to physical system dynamics , 1983 .

[13]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[14]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[15]  P. Breedveld.  Multibond graph elements in physical systems theory , 1985 .

[16]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[17]  Shuji Doshita,et al.  Reasoning about Discontinuous Change , 1987, AAAI.

[18]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[19]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[20]  Johannes F. Broenink,et al.  Computer-aided physical-systems modeling and simulation: a bondgraph approach , 1990 .

[21]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[22]  Joseph Sifakis,et al.  From ATP to Timed Graphs and Hybrid Systems , 1991, REX Workshop.

[23]  Jan Top,et al.  Variable Causality in Bond Graphs Caused by Discrete Effects , 1992 .

[24]  Jan Top,et al.  Bond graph supported estimation of discretely changing parameters , 1992 .

[25]  Gautam Biswas,et al.  A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis , 1993, IJCAI.

[26]  Johannes F. Broenink,et al.  Describing Discontinuities in Bond Graphs , 1993 .

[27]  Thomas A. Henzinger,et al.  Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[28]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[29]  J. U. Thoma,et al.  Advances in bond graph modelling: theory, software, applications , 1995 .

[30]  Wolfgang Borutzky,et al.  Discontinuities in a bond graph framework , 1995 .

[31]  P. Veenhuis.  The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics , 1995 .

[32]  Jan-Erik Strömberg,et al.  Switched Bond Graphs : Towards Systematic Composition of Computational Models , 1995 .

[33]  Daniel G. Bobrow,et al.  Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? , 1995, IJCAI.

[34]  P. Mosterman,et al.  Analyzing Discontinuities in Physical System , 1996 .