Publications


Dissertation

Simulation-Based Search for Hybrid System Control and Analysis, Stanford University, Palo Alto, California, USA, June 2000. Also available as Stanford Knowledge Systems Laboratory technical report KSL-00-15. (abstracts: short, long)  (PDF, PS)

Papers


Editorials and Columns


Posters


Talks


Todd Neller