A theory of discontinuities in physical system models

Journal of the Franklin Institute

Volumn 335, Issue 3, 1998, Pages 401-439

  Mosterman, Pieter J ^a   Biswas, Gautam ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; CONTROL NONLINEARITIES; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; ENERGY CONSERVATION; MATHEMATICAL MODELS; PHASE SPACE METHODS;

PHYSICAL SYSTEM MODELS;

NONLINEAR CONTROL SYSTEMS;

EID: 0032041514     PISSN: 00160032     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0016-0032(96)00126-3     Document Type: Article

References (47)

1. D. G. Luenberger "Introduction to Dynamic Systems: Theory, Models, & Applications", Wiley, New York, 1979.
2. D. Weld and J. de Kleer, "Readings in Qualitative Reasoning about Physical Systems", Morgan Kaufmann, San Mateo, CA, 1990.
3. D. C. Karnopp, D. L. Margolis and R. C. Rosenberg, "Systems Dynamics: A Unified Approach", 2nd Edn, Wiley, New York, 1990.
4. H. M. Paynter, "Analysis and Design of Engineering Systems", The M.I.T. Press, Cambridge, MA, 1961.
5. P. J. Mosterman and G. Biswas, "Modeling discontinuous behavior with hybrid bond graphs", in "1995 International Conference on Qualitative Reasoning", pp. 139-147, Amsterdam, May 1995.
6. T. Nishida and S. Doshita, "Reasoning about discontinuous change", in "Proc. AAAI-87", pp. 643-648, Seattle, WA, 1987.
7. P. C. Breedveld, "Multibond graph elements in physical systems theory", J. Franklin Inst., Vol. 319(1/2), pp. 1-36, Jan./Feb. 1985.
8. K. Denbigh, "The Principles of Chemical Equilibrium: With Applications in Chemistry and Chemical Engineering", 3rd Edn, Cambridge University Press, London, 1971.
9. G. M. Asher, "The robust modelling of variable topology circuits using bond graphs", in "Proceedings of the International Conference on Bond Graph Modeling", pp. 126-131, San Diego, CA, 1993.
10. W. Borutzky, "Representing discontinuities by sinks of fixed causality", in "1995 International Conference on Bond Graph Modeling and Simulation (ICBGM '95)" (Edited by F. E. Cellier and J. J. Granada), pp. 65-72, Las Vegas, Jan. 1995.
11. J. F. Broenink and K. C. J. Wijbrans, "Describing discontinuities in bond graphs", in "Proceedings of the International Conference on Bond Graph Modeling", pp. 120-125, San Diego, CA, 1993.
12. J. E. Strömberg, J. Top and U. Söderman, "Variable causality in bond graphs caused by discrete effects", in "Proceedings of the International Conference on Bond Graph Modeling", pp. 115-119, San Diego, CA, 1993.
13. W. Borutzky, "Discontinuities in a bond graph framework", J. Franklin Inst., Vol. 332B, pp. 141-154, 1995.
14. P. J. Mosterman and G. Biswas, "Behavior generation using model switching a hybrid bond graph modeling technique", in "1995 International Conference on Bond Graph Modeling and Simulation (ICBGM '95)", (Edited by F. A. Cellier and J. J. Granada), pp. 177-182, Las Vegas, Jan, 1995.
15. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, "The algorithmic analysis of hybrid systems", in "Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems" (Edited by J. W. Bakkers, C. Huizing, W. P. de Roeres, and G. Rozenberg), pp. 331-351, Springer, 1994.
16. T. A. Henzinger, X. Nicollin, J. Sifakis and S. Yovine, "Symbolic model checking for real-time systems", Information Comput., Vol. 111, pp. 193-244, 1994.
17. X. Nicollin, J. Sifakis and S. Yovine, "From atp to timed graphs and hybrid systems", in "Lecture Notes in Computer Science" (Edited by J. W. Bakkers, C. Huizing, W. P. de Roeres and G. Rozenberg), Vol. 600, pp. 549-571, Mook, The Netherlands, June 1991.
18. Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow and V. Gupta, "Modeling time in hybrid systems: how fast is 'instantaneous'?", in "1995 International Conference on Qualitative Reasoning", pp. 94-103, Amsterdam, May 1995.
19. R. C. Rosenberg and D. Karnopp, "Introduction to Physical System Dynamics", McGraw-Hill, New York, 1983.
20. J. U. Thoma, "Bond graph for thermal energy transport and entropy flow", J. Franklin Inst., Vol. 292(2), pp. 109-120, 1971.
21. G. Falk and W. Ruppel, "Energie und Entropie: Eine Einführung in die Thermodynamik", Springer, Berlin, 1976.
22. R. Penrose, "The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics", Oxford University Press, Oxford, 1989.
23. D. Karnopp and R. C. Rosenberg, "System Dynamics: A Unified Approach", The Massachusetts Institute of Technology, Cambridge, MA, 1968.
24. P. J. Mosterman and G. Biswas, "Analyzing discontinuities in physical system models", in "Qualitative Reasoning: The Tenth International Workshop" (Edited by Y. Iwasaki and A. Farquhar), pp. 164-173, Stanford Sierra Camp, Fallen Leaf Lake, CA, May 1996; AAAI Technical Report WS-96-01, AAAI Press, 1996.
25. P. J. Mosterman and G. Biswas, "A formal hybrid modeling scheme for handling discontinuities in physical system models", in "Proc. AAAI-96", pp. 985-990, Portland, OR, 1996.
26. J. de Kleer and J. S. Brown, "A qualitative physics based on confluences", Artificial Intelligence, Vol. 24, pp. 7-83, 1984.
27. P. J. Mosterman and G. Biswas, "Hybrid modeling specifications for dynamic physical systems", in "Int. Conf. on Bond Graph Modeling and Simulation", pp. 162-167, Phoenix, AZ, Jan. 1997.
28. B. Kuipers, "Qualitative simulation", Artificial Intelligence, Vol. 29, pp. 289-338, 1986.
29. D. Karnopp and R. C. Rosenberg, "Analysis and Simulation of Multiport Systems", Wiley, New York, 1975.
30. J. Garcia, G. Dauphin-Tanguy and C. Rombaut, "Bond graph modeling of thermal effects in switching devices", in "1995 International Conference on Bond Graph Modeling and Simulation (ICBGM '95)" (Edited by F. E. Cellier and J. J. Granada), pp. 145-150, Las Vegas, Jan. 1995.
31. W. Borutzky, G. Dauphin-Tanguy and J. U. Thoma, "Advances in bond graph modelling: theory, software, applications", Math. Comput. Simulation, Vol. 39, pp. 465-475, 1995.
32. J. E. Strömberg, U. Söderman and J. L. Top, "Bond graph supported estimation of discretely changing parameters", "Proceedings of the International Conference on Bond Graph Modeling", pp. 47-52, San Diego, CA, 1993.
33. J. Top, "Conceptual modeling of physical systems", Ph.D. dissertation, University of Twente, CIP-DATA Koninklijke Bibliotheek, Den Haag, The Netherlands, 1993.
34. U. Söderman and J. E. Strömberg, "Switched bond graphs: towards systematic composition of computational models", in "1995 International Conference on Bond Graph Modeling and Simulation (ICBGM '95)" (Edited by F. E. Cellier and J. J. Granada), pp. 73-79, Las Vegas, Jan. 1995.
35. T. DeMarco, "Structured Analysis and System Specification", Prentice-Hall, Englewood Cliffs, NJ, 1979.
36. D. J. Hatley and I. Pirbhai, "Strategies for Real-Time Systems Specification", Dorset House, New York, 1988.
37. P. T. Ward and S. J. Mellor, "Structured Development for Real-Time Systems", Prentice-Hall, Englewood Cliffs, NJ, 1985.
38. F. W. Umbach, "Organisatie van Instrumentatie", H. E. Stenfert Kroese B.V., Leiden/Antwerpen, 1981.
39. A. V. Aho, J. E. Hopcroft and J. D. Ullman, "The Design and Analysis of Computer Algorithms", Addison-Wesley, Reading, MA, 1974.
40. Z. Kohavi, "Switching and Finite Automata Theory", McGraw-Hill, New York, 1978.
41. G. Biswas and X. Yu, "A formal modeling scheme for continuous systems: focus on diagnosis", in "Proceedings IJCAI-93", pp. 1474-1479, Chambery, France, Aug. 1993.
42. B. Falkenhainer and K. Forbus, "Compositional modeling: finding the right model for the job", Artificial Intelligence, Vol. 51, pp. 95-143, 1991.
43. J. F. Broenink, "Computer aided physical modeling and simulation: a bond graph approach", Ph.D. dissertation, University of Twente, Febodruk, Enschede, The Netherlands, 1990.
44. Microsoft Corporation, "Visual Basic, Version 3.0 Professional Edition", One Microsoft Way, Redmond, WA 98052-6399, 1993.
45. C. W. Ham, E. J. Crane and W. L. Rogers, "Mechanics of Machinery", 4th Edn, McGraw-Hill Book Company, New York, 1958.
46. E. F. Obert, "Internal Combustion Engines: Analysis and Practice", 2nd Edn, International Textbook Company, Scranton, PA, 1950.
47. P. J. Mosterman and G. Biswas, "Verification of hybrid physical system models", in "Proc. ASME-96", pp. 707-714, Atlanta, GA, Nov. 1996.