Note: A zipped up postscript version of this paper is also available.

Principles for Modeling, Verification, and Simulation of Hybrid Dynamic Systems

Pieter J. Mosterman
Institute of Robotics and System Dynamics
German Aerospace Establishment
D-82230 Wessling
Germany
Pieter.J.Mosterman@dlr.de
- Gautam Biswas
Center for Intelligent Systems
Vanderbilt University
Nashville, TN 37235
U.S.A.
biswas@vuse.vanderbilt.edu

• Extended Abstract
  • Definitions
  • Physical System Model Semantics
    • Parameter Abstraction
    • Time Scale Abstraction
  • Principles for Hybrid Models of Physical Systems
  • Physical Model Semantics
  • Simulation
  • Summary
• References
• About this document ...