Simulation as a tool for hybrid system design
John Lygeros, Datta N. Godbole, Shankar Sastry · 2002
A case study of the use of simulation as a tool for design and validation of hybrid systems is presented. We use an intelligent vehicle highway systems (IVHS) architecture, 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 hybrid system operates properly.>