DIMACS Workshop on Verification and Control of Hybrid Systems

October 22 - 25, 1995
Rutgers University, CoRE Building, Piscataway, NJ

Organizers:

Rajeev Alur, AT&T Labs, alur@research.att.com

Tom Henzinger, Cornell University, tah@cs.cornell.edu

Eduardo Sontag, Rutgers University, sontag@control.rutgers.edu Co-sponsored by DIMACS and the Rutgers Center for Systems and Control (SYCON)

Presented under the auspices of the DIMACS Special Year on Logic and Algorithms

---

• Workshop Announcement

• Call for Participation

• Program

• How to Register

• Information on Accommodations

• Information on Travel Arrangements

• Publication:

  Hybrid Systems III: Verification and Control

  Rajeev Alur, Thomas A. Henziger, and Eduardo D. Sontag (Eds.)

  lecture Notes in Computer Science, Number 1066, 1996

  Springer Verlag, Berlin-Heidelberg

---

Other Workshops

---

DIMACS Homepage

---

Contacting the Center
Document last modified on April 21, 1995