Home Advanced Search

Advanced Search - Page 1

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)
Hybrid Systems II
  • DJVU
  • English
  • Year: 1995
  • Author: Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
Hybrid Systems III: Verification and Control
  • DJVU
  • English
  • Year: 1996
  • Author: John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Shankar Sastry (auth.), Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Shankar Sastry (auth.), Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)
Nonlinear systems: analysis, stability, and control
  • DJVU
  • English
  • Year: 1999
  • Author: Shankar Sastry
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jakob Ruess, John Lygeros (auth.), Ashutosh Gupta, Thomas A. Henzinger (eds.)
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)
Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.)
search