16. HSCC 2013: Philadelphia, PA, USA

• 
  Calin Belta, Franjo Ivancic (Eds.): Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013 ISBN 978-1-4503-1567-8 [ contents ]

15. HSCC 2012: Beijing, China

• 
  Thao Dang, Ian M. Mitchell (Eds.): Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. ACM 2012 ISBN 978-1-4503-1220-2 [ contents ]

14. HSCC 2011: Chicago, IL, USA

• 
  Marco Caccamo, Emilio Frazzoli, Radu Grosu (Eds.): Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. ACM 2011 ISBN 978-1-4503-0629-4 [ contents ]

13. HSCC 2010: Stockholm, Sweden

• 
  Karl Henrik Johansson, Wang Yi (Eds.): Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM 2010 ISBN 978-1-60558-955-8 [ contents ]

12. HSCC 2009: San Francisco, CA, USA

• 
  Rupak Majumdar, Paulo Tabuada (Eds.): Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5469 ISBN 978-3-642-00601-2 [ contents ]

11. HSCC 2008: St. Louis, MO, USA

• 
  Magnus Egerstedt, Bud Mishra (Eds.): Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Springer 2008 Lecture Notes in Computer Science 4981 ISBN 978-3-540-78928-4 [ contents ]

10. HSCC 2007: Pisa, Italy

• 
  Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo (Eds.): Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4416 ISBN 978-3-540-71492-7 [ contents ]

9. HSCC 2006: Santa Barbara, CA, USA

• 
  João P. Hespanha, Ashish Tiwari (Eds.): Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 3927 ISBN 3-540-33170-0 [ contents ]

8. HSCC 2005: Zurich, Switzerland

• 
  Manfred Morari, Lothar Thiele (Eds.): Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3414 ISBN 3-540-25108-1 [ contents ]

7. HSCC 2004: Philadelphia, PA, USA

• 
  Rajeev Alur, George J. Pappas (Eds.): Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 2993 ISBN 3-540-21259-0 [ contents ]

6. HSCC 2003: Prague, Czech Republic

• 
  Oded Maler, Amir Pnueli (Eds.): Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Springer 2003 Lecture Notes in Computer Science 2623 ISBN 3-540-00913-2 [ contents ]

5. HSCC 2002: Stanford, CA, USA

• 
  Claire Tomlin, Mark R. Greenstreet (Eds.): Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2289 ISBN 3-540-43321-X [ contents ]

4. HSCC 2001: Rome, Italy

• 
  Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli (Eds.): Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2034 ISBN 3-540-41866-0 [ contents ]

3. HSCC 2000: Pittsburgh, PA, USA

• 
  Nancy A. Lynch, Bruce H. Krogh (Eds.): Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1790 ISBN 3-540-67259-1 [ contents ]

2. HSCC 1999: Berg en Dal, The Netherlands

• 
  Frits W. Vaandrager, Jan H. van Schuppen (Eds.): Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1569 ISBN 3-540-65734-7 [ contents ]

1. HSCC 1998: Berkeley, California, USA

• 
  Thomas A. Henzinger, Shankar Sastry (Eds.): Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1386 ISBN 3-540-64358-3 [ contents ]

Hybrid Neural Systems 1998

• 
  Stefan Wermter, Ron Sun (Eds.): Hybrid Neural Systems, revised papers from a workshop held December 4-5, 1998, Denver, USA. Springer 2000 Lecture Notes in Computer Science 1778 ISBN 3-540-67305-9 [ contents ]

HART 1997: Grenoble, France

• 
  Oded Maler (Ed.): Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1201 ISBN 3-540-62600-X [ contents ]

Hybrid Systems 1997

• 
  Panos J. Antsaklis, Wolf Kohn, Michael D. Lemmon, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems V. Springer 1999 Lecture Notes in Computer Science 1567 ISBN 3-540-65643-X [ contents ]

Hybrid Systems 1996

• 
  Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems IV. Springer 1997 Lecture Notes in Computer Science 1273 ISBN 3-540-63358-8 [ contents ]

Hybrid Systems 1995

• 
  Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.): Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Springer 1996 Lecture Notes in Computer Science 1066 ISBN 3-540-61155-X [ contents ]

Hybrid Systems 1994

• 
  Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems II. Springer 1995 Lecture Notes in Computer Science 999 ISBN 3-540-60472-3 [ contents ]

Hybrid Systems 1991 and 1992

• 
  Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (Eds.): Hybrid Systems. Springer 1993 Lecture Notes in Computer Science 736 ISBN 3-540-57318-6 [ contents ]