% Last edited on 2007-08-12 14:04:16 by stolfi
% Additional papers by P. Varaya on Hybrid systems
% From homepage http://paleale.eecs.berkeley.edu/~varaiya/hybrid.html}

@article{hor-var-00-hiway,
  author = {R. Horowitz and P. Varaiya},
  title = {Control Design of an Automated Highway System},
  month = {Feb.},
  journal = {Proceedings of the IEEE},
  volume = 88,
  number = 7,
  pages = {913--925},
  year = 2000,
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/ahsdesign.pdf}}}
}

@techreport{pur-var-95-driv-tr,
  author = {A. Puri and P. Varaiya},
  title = {Driving Safely in Smart Cars,},
  institution = {California PATH},
  number = {Research Report UCB-ITS-PRR-95-24},
  month = {August},
  year = 1995,
  note = {Also~[pur-var-95-driv]},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/drive.ps}}}
}

@inproceedings{pur-var-95-driv,
  author = {A. Puri and P. Varaiya},
  title = {Driving Safely in Smart Cars,},
  booktitle = {Proc. American Control Conference},
  year = 1995,
  pages = {3597--3599},
  note = {Also~[pur-var-95-driv-tr]},
  url = {{\url{}}}
}

@inproceedings{kop-hen-pur-var-95-hybrdec,
  author = {P. Kopke and T. Henzinger and A. Puri and P. Varaiya},
  title = {What's Decidable About Hybrid Automata?},
  booktitle = {Proc. 27th Annual ACM Symposium on Theory of Computing (STOCS)},
  year = 1995,
  pages = {372--382},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/stoc.ps}}}
}

@inproceedings{kri-pur-bra-var-95-rabin,
  author = {S. Krishnan and A. Puri and R. Brayton and P. Varaiya},
  title = {The {Rabin} Index and Chain Automata, with Applications to Automata and Games},
  booktitle = {Proc. CAV 95},
  month = {July},
  year = 1995,
  pages = {--},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/rabin_index_cav95.ps}}}
}

@inproceedings{pur-var-95-verhyb,
  author = {A. Puri and P. Varaiya},
  title = {Verification of Hybrid Systems using Abstractions},
  booktitle = {Proc. Hybrid Systems II},
  series = {LNCS},
  publisher = {Springer},
  volume = 999,
  year = 1995,
  pages = {359--369},
  note = {Also Hybrid Systems Workshop, October, 1994},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/abstractions.ps}}}
}

@article{pur-var-96-dechybsys,
  author = {A. Puri and P. Varaiya},
  title = {Decidable Hybrid Systems},
  journal = {Computer and Mathematical Modeling},
  volume = 23,
  number = {11/12},
  year = 1996,
  pages = {191--202},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/decidable.ps}}}
}

@inproceedings{kou-var-96-stabhyb,
  author = {M. Kourjanski and P. Varaiya},
  title = {Stability of Hybrid Systems},
  booktitle = {Proc. Hybrid Systems III},
  series = {LNCS},
  publisher = {Springer},
  volume = 1066,
  year =  1996,
  pages = {413--423},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/stability.ps}}},
  comment = {First author's name could be a variant spelling of ``Kurzhanski''.}
}

@inproceedings{des-var-95-via,
  author = {A. Deshpande and P. Varaiya},
  title = {Viable Control of Hybrid Systems},
  booktitle = {Proc. Hybrid Systems II},
  series = {LNCS},
  publisher = {Springer},
  volume = 999,
  year = 1995,
  pages = {128--147},
  url = {{\url{http://paleale.eecs.berkeley.edu/~varaiya/papers_ps.dir/viable.ps}}}
}