Hybrid Systems for Control
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,
Vol. 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,
Vol. 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,
Vol. 1201, Springer, 1997, ISBN 3-540-62600-X
Contents
Hybrid Systems 1997
Panos J. Antsaklis,
Wolf Kohn,
Michael Lemmon,
Anil Nerode,
Shankar Sastry (Eds.):
Hybrid Systems V.
Lecture Notes in Computer Science,
Vol. 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,
Vol. 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,
Vol. 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,
Vol. 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,
Vol. 736, Springer, 1993, ISBN 3-540-57318-6
Contents