DIMACS Workshop on Verification and Control of Hybrid Systems

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

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

A hybrid system contains both discrete and continuous components. A typical example is a digital controller of an analog process. As embedded controllers become ubiquitous in life-critical applications, formal design support for hybrid systems becomes increasingly important.

The emerging theory of hybrid systems combines both semantic aspects, such as system modeling and specification, and algorithmic aspects, such as the algorithmic solution and complexity of verification and control problems. The analysis of hybrid systems requires, moreover, both combinatorial and analytical techniques and lies at the intersection of computer science and control theory. It is therefore the purpose of the workshop to bring together researchers from both communities.

Next: Call for Participation
Workshop Index
DIMACS Homepage
Contacting the Center
Document last modified on May 11, 1995