Comprehensive methodology for building hybrid models of physical systems

Artificial Intelligence

Volumn 121, Issue 1, 2000, Pages 171-209

  Mosterman, Pieter J ^a   Biswas, Gautam ^b  

^a GERMAN AEROSPACE CENTER DLR   (Germany)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; DATA STRUCTURES; EMBEDDED SYSTEMS; FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

HYBRID MODELING; SYSTEMATIC MODEL ABSTRACTION; TIME-SCALE ABSTRACTION;

ARTIFICIAL INTELLIGENCE;

EID: 0034249983     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00032-1     Document Type: Article

References (56)

1. Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., Yovine S. The algorithmic analysis of hybrid systems. Bakkers J.W., Huizing C., de Roeres W.P., Rozenberg G. Proc. 11th International Conference on Analysis and Optimization of Discrete Event Systems. Lecture Notes in Control and Information Sciences. Vol. 199:1994;331-351 Springer, Berlin.
2. Alur R., Courcoubetis C., Henzinger T.A., Ho P.-H. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Grossman R.L., Nerode A., Ravn A.P., Rischel H. Lecture Notes in Computer Science. Vol. 736:1993;209-229 Springer, Berlin.
3. Biswas G., Yu X. A formal modeling scheme for continuous systems: Focus on diagnosis. Proc. IJCAI-93, Chambéry, France. 1993;1474-1479.
4. Brach R.M. Mechanical Impact Dynamics. 1991;Wiley, New York.
5. Branicky M.S., Borkar V.S., Mitter S.K. A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. Automat. Control. Vol. 43:(1):1998;31-45.
6. Breedveld P.C. Physical systems theory in terms of bond graphs, Ph.D. Thesis. 1984;University of Twente, Enschede, Netherlands.
7. Callen H.B. Thermodynamics. 1960;Wiley, New York/London.
8. Cellier F.E., Elmqvist H., Otter M. Modelling from physical principles. Levine W.S. The Control Handbook. 1996;99-107 CRC Press, Boca Raton, FL.
9. de Kleer J., Brown J.S. A qualitative physics based on confluences. Artificial Intelligence. Vol. 24:1984;7-83.
10. de Vries T.J.A., Breedveld P.C., Meindertsma P. Polymorphic modeling of engineering systems. Proc. International Conference on Bond Graph Modeling, San Diego, CA. 1993;17-22.
11. Deshpande A., Varaiya P. Viable control of hybrid systems. Antsaklis P., Kohn W., Nerode A., Sastry S. Hybrid Systems II. Lecture Notes in Computer Science. Vol. 999:1995;128-147 Springer, Berlin.
12. Falk G., Ruppel W. Energie und Entropie: Eine Einführung in die Thermodynamik. 1976;Springer, Berlin.
13. Falkenhainer B., Forbus K. Compositional modeling: Finding the right model for the job. Artificial Intelligence. Vol. 51:1991;95-143.
14. Forbus K.D. Qualitative process theory. Artificial Intelligence. Vol. 24:1984;85-168.
15. Guckenheimer J., Johnson S. Planar hybrid systems. Antsaklis P., Kohn W., Nerode A., Sastry S. Hybrid Systems II. Lecture Notes in Computer Science. Vol. 999:1995;202-225 Springer, Berlin.
16. Gupta V., Jagadeeshan R., Saraswat V.A. Computing with continuous change. Sci. Comput. Programming. Vol. 30:1998;3-49.
17. Heemels W.P.M.H., Schumacher J.M., Weiland S. Linear complementarity systems, Technical Report 97 I/01, Measurement and Control Systems. 1997;Department of Electrical Engineering, Eindhoven University of Technology.
18. Iwasaki Y., Bhandari I. Formal basis for commonsense abstraction of dynamic systems. Proc. AAAI-88, St. Paul, MN. 1988;307-312.
19. Johansson K.H., Egerstedt M., Lygeros J., Sastry S. On the regularization of zeno hybrid automata. Systems and Control Letters. Vol. 38:1999;141-150.
20. Karnopp D.C., Margolis D.L., Rosenberg R.C. Systems Dynamics: A Unified Approach. 2nd edn. 1990;Wiley, New York.
21. Kohavi Z. Switching and Finite Automata Theory. 1978;McGraw-Hill, New York.
22. Kuipers B. Qualitative simulation. Artificial Intelligence. Vol. 29:1986;289-338.
23. Kuipers B. Qualitative simulation using time-scale abstraction. Internat. J. Artificial Intelligence in Engrg. Vol. 3:1988;185-191.
24. Kuipers B. Qualitative Reasoning: Modeling and Simulating with Incomplete Knowledge. 1994;MIT Press, Cambridge, MA.
25. Lennartson B., Tittus M., Egardt B., Pettersson S. Hybrid systems in process control. IEEE Control Systems. October 1996;45-56.
26. Levy A.Y., Iwasaki Y., Fikes R. Automated model selection for simulation based on relevance reasoning. Artificial Intelligence. Vol. 96:1997;351-394.
27. Lötstedt P. Coulomb friction in two-dimensional rigid body systems. Z. Angew. Math. Mech. Vol. 61:1981;605-615.
28. Lygeros J., Godbole D., Sastry S. Simulation as a tool for hybrid system design. Proc. 1994 AIS Conference on Distributed Interactive Simulation Environments. 1994.
29. Manders E.J., Biswas G., Mosterman P.J., Barnett J. Signal interpretation for monitoring and diagnosis: A cooling system testbed. IEEE Transactions on Instrumentation and Measurement. July 2000.
30. Mosterman P.J. Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis, Ph.D. Thesis. 1997;Vanderbilt University, Nashville, TN.
31. Mosterman P.J. State space projection onto linear DAE manifolds using conservation principles, Technical Report #R262-98. 1998;Institute of Robotics and System Dynamics, DLR Oberpfaffenhofen, Wessling, Germany.
32. Mosterman P.J., Biswas G. A formal hybrid modeling scheme for handling discontinuities in physical system models. Proc. AAAI-96, Portland, OR. 1996;985-990.
33. Mosterman P.J., Biswas G. Verification of dynamic physical system models. Proc. ASME Congress '96, Atlanta, GA. 1996;707-714.
34. Mosterman P.J., Biswas G. Formal specifications for hybrid dynamical systems. Proc. IJCAI-97, Nagoya, Japan. 1997;568-573.
35. Mosterman P.J., Biswas G. Principles for modeling, verification, and simulation of hybrid dynamic systems. Proc. 5th International Conference on Hybrid Systems, Notre Dame, IN. 1997;21-27.
36. Mosterman P.J., Biswas G. A modeling and simulation methodology for hybrid dynamic physical systems. SCS Trans. 1998;. (in review).
37. Mosterman P.J., Biswas G. A theory of discontinuities in dynamic physical systems. J. Franklin Institute. Vol. 335B:(3):1998;401-439.
38. Mosterman P.J., Biswas G. Building hybrid observers for complex dynamic systems using model abstractions. Vaandrager F.W., van Schuppen J.H. Hybrid Systems: Computation and Control. Lecture Notes in Computer Science. Vol. 1569:1999;178-192 Springer, Berlin.
39. Mosterman P.J., Biswas G. Deriving discontinuous state changes for reduced order systems and the effect on compositionality. Proc. 13 th International Workshop on Qualitative Reasoning, Lock Awe Hotel, Scotland. 1999;160-168.
40. Mosterman P.J., Biswas G. Hybrid automata for modeling discrete transitions in complex dynamic systems. Proc. AAAI Spring Symposium Working Notes: Hybrid Systems and AI, Stanford University, CA. 1999;136-141.
41. Mosterman P.J., Biswas G. Towards procedures for systematically deriving hybrid models of complex systems. Lynch N., Krogh B. Hybrid Systems: Computation and Control. Lecture Notes in Computer Science. 2000;324-337 Springer, Berlin.
42. Mosterman P.J., Biswas G., Otter M. Simulation of discontinuities in physical system models based on conservation principles. Proc. SCS Summer Simulation Conference, Reno, NV. 1998;320-325.
43. Mosterman P.J., Biswas G., Sztipanovits J. A hybrid modeling and verification paradigm for embedded control systems. Control Engineering Practice. Vol. 6:1998;511-521.
44. Mosterman P.J., Breedveld P. Some guidelines for stiff model implementation with the use of discontinuities. Proc. ICBGM-99, San Francisco, CA. 1999;175-180.
45. Mosterman P.J., Broenink J.F., Biswas G. Model semantics and simulation of time scale abstractions in collision models. Proc. Eurosim-98, Helsinki, Finland. 1998;230-237.
46. Mosterman P.J., Zhao F., Biswas G. An ontology for transitions in physical dynamic systems. Proc. AAAI-98, Madison, WI. 1998;219-224.
47. Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE. Vol. 77:(4):1989;541-580.
48. Nayak P.P., Joscowicz L., Addanki S. Automated model selection using context-dependent behaviors. Proc. AAAI-91, Anaheim, CA. 1991;710-716.
49. Nerode A., Kohn W. Models for hybrid systems: Automata, topologies, controllability, observability. Hybrid Systems. Lecture Notes in Computer Science. Vol. 736:1993;Springer, Berlin.
50. Nishida T., Doshita S. Reasoning about discontinuous change. Proc. AAAI-87, Seattle, WA. 1987;643-648.
51. Paynter H.M. Analysis and Design of Engineering Systems. 1961;MIT Press, Cambridge, MA.
52. Pfeiffer F., Glocker C. Multibody Dynamics with Unilateral Contacts. 1996;Wiley, New York.
53. Sam-Haroud D., Faltings B. Consistency techniques for continuous constraints. Constraints: An International Journal. Vol. 1:1996;85-118.
54. Schumacher J.M. Declarative, equation-based modeling of hybrid systems. Simulation News Europe. Vol. 23:1999;6-9.
55. Sweet W. The glass cockpit. IEEE Spectrum. September 1995;30-38.
56. Verghese G.C., Lévy B.C., Kailath T. A generalized state-space for singular systems. IEEE Trans. Automat. Control. Vol. 26:(4):1981;811-831.