language: en

Simulation as a Tool for Hybrid System Design

John Lygeros, Datta Godbole & Shankar Sastry
Intelligent Machines and Robotics Laboratory Department of Electrical Engineering and Computer Sciences University of California,
Berkeley, CA 94720
lygeros,godbole,sastry@eecs.berkeley.edu

Abstract A case study of the use of simulation as a tool for design and validation of hybrid systems is presented. We use the Intelligent Vehicle Highway Systems (IVHS) architecture of [1], a system that involves both continuous state and discrete event controllers as our example of a hierarchical hybrid system. We point out that even though analytical methods do not exist for verification of hybrid control system, a simulation tool can be useful to (in)validate that the the hybrid system operates properly.

1 Introduction