next up previous
Next: Extended Abstract

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
- Gautam Biswas
Center for Intelligent Systems
Vanderbilt University
Nashville, TN 37235

Pieter J. Mosterman
Wed Aug 20 15:28:13 CDT 1997