Modeling and Simulation Semantics for Hybrid Dynamic Physical Systems

This paper develops a mathematical framework for hybrid physical system models. Hybrid models of dynamic physical systems are characterized by time scale and parameter abstractions which lead to sequences of discrete changes in the system between modes of continuous behavior evolution. The goal is to develop formal execution semantics for characterizing hybrid behaviors in terms of three distinct modes of system operation.

[1]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[2]  Pravin Varaiya,et al.  Viable Control of Hybrid Systems , 1994, Hybrid Systems.

[3]  Pieter J. Mosterman,et al.  A hybrid modeling and verification paradigm for embedded control systems , 1998 .

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

[5]  W. Rudin.  Principles of mathematical analysis , 1964 .

[6]  Pieter J. Mosterman,et al.  Model Semantics and Simulation for Hybrid Systems Operating in Sliding Regimes , 1997 .

[7]  John Guckenheimer,et al.  Planar Hybrid Systems , 1994, Hybrid Systems.

[8]  Pieter J. Mosterman,et al.  Formal Specifications for Hybrid Dynamical Systems , 1997, IJCAI.

[9]  Pieter J. Mosterman,et al.  Hybrid Modeling and Verification of Embedded Control Systems , 1997 .

[10]  J. Lygeros,et al.  Simulation as a tool for hybrid system design , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[11]  Pieter J. Mosterman,et al.  A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models , 1996, AAAI/IAAI, Vol. 2.

[12]  Per Lötstedt.  Coulomb Friction in Two-Dimensional Rigid Body Systems , 1981 .

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

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

[15]  Bengt Lennartson,et al.  Hybrid systems in process control , 1996 .

[16]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[17]  Pieter J. Mosterman,et al.  Model Semantics and Simulation of Time Scale Abstractions in Collision Models , 1998 .