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.