Hybrid Systems

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. Lecture Notes in Computer Science 5469 Springer 2009, 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. Lecture Notes in Computer Science 4981 Springer 2008, 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. Lecture Notes in Computer Science 4416 Springer 2007, 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. Lecture Notes in Computer Science 3927 Springer 2006, 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. Lecture Notes in Computer Science 3414 Springer 2005, 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. Lecture Notes in Computer Science 2993 Springer 2004, 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. Lecture Notes in Computer Science 2623 Springer 2003, 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. Lecture Notes in Computer Science 2289 Springer 2002, 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. Lecture Notes in Computer Science 2034 Springer 2001, 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. Lecture Notes in Computer Science 1790 Springer 2000, 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. Lecture Notes in Computer Science 1569 Springer 1999, 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. Lecture Notes in Computer Science 1386 Springer 1998, 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. Lecture Notes in Computer Science 1778 Springer 2000, 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. Lecture Notes in Computer Science 1201 Springer 1997, 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. Lecture Notes in Computer Science 1567 Springer 1999, ISBN 3-540-65643-X
Contents

Hybrid Systems 1996

Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems IV. Lecture Notes in Computer Science 1273 Springer 1997, 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. Lecture Notes in Computer Science 1066 Springer 1996, ISBN 3-540-61155-X
Contents

Hybrid Systems 1994

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

Hybrid Systems 1991 and 1992

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