Abstracts of Invited Presentations

Control as an Embedded Technology

Manfred Morari

Optimisation of Hybrid Processes and Hybrid Controllers

Costas C. Pantelides

Embedded Software and Systems: Challenges and Approaches

Janos Sztipanovits

Panel Discussion

Hybrid Systems Applications: An Oxymoron?

Alberto Sangiovanni-Vincentelli

Thomas A. Henzinger

Bruce H. Krogh

Oded Maler

Manfred Morari

Costas C. Pantelides

George J. Pappas

Tunc Simsec

Janos Sztipanovits

Stavros Tripakis

Papers

Design of Luenberger Observers for a Class of Hybrid Linear Systems

A. Alessandri

P. Coletta

Hybrid Modeling and Simulation of Biomolecular Networks

Rajeev Alur

Calin Belta

Franjo Ivancic

Vijay Kumar

Max Mintz

George J. Pappas

Harvey Rubin

Jonathan Schug

Compositional Refinement for Hierarchical Hybrid Systems

Rajeev Alur

Radu Grosu

Insup Lee

Oleg Sokolsky

Optimal Paths in Weighted Timed Automata

Rajeev Alur

Salvatore La Torre

George J. Pappas

Reach Set Computations Using Real Quantifier Elimination

Hirokazu Anai

Volker Weispfenning

On Hybrid Control of Under-Actuated Mechanical Systems

Eugene Asarin

Sorav Bansal

Bernard Espiau

Thao Dang

Oded Maler

On the Decidability of the Reachability Problem for Planar Differential Inclusions

Eugene Asarin

Gerardo Schneider

Sergio Yovine

The Substratum of Impulse and Hybrid Control Systems

Jean-Pierre Aubin

Path-Dependent Impulse and Hybrid Systems

Jean-Pierre Aubin

George Haddad

Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle

Andrea Balluchi

Philippe Soueres

Antonio Bicchi

Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann

Ansgar Fehnker

Thomas Hune

Kim Larsen

Paul Pettersson

Judi Romijn

Frits Vaandrager

A Hybrid Approach to Traction Control

Francesco Borrelli

Alberto Bemporad

Michael Fodor

Davor Hrovat

Optimal Control Using Bisimulations: Implementation

Mireille Broucke

Maria D. Di Benedetto

Stefano Di Gennaro

Alberto Sangiovanni-Vincentelli

A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

Francesco A. Cuzzola

Manfred Morari

Accurate Event Detection for Simulating Hybrid Systems

Joel M. Esposito

Vijay Kumar

George J. Pappas

A Clustering Technique for the Identification of Piecewise Affine Systems

Giancarlo Ferrari-Trecate

Marco Muselli

Diego Liberati

Manfred Morari

Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model

Ronojoy Ghosh

Claire J. Tomlin

Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis

Jose M.E. Gonzalez

Antonio E.C. da Cunha

Jose E.R. Cury

Bruce H. Krogh

Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles

Luc C.G.J.M. Habets

Jan H. van Schuppen

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems

Thomas A. Henzinger

Marius Minea

Vinayak Prabhu

Hybrid Modeling of TCP Congestion Control

Joao P. Hespanha

Stephan Bohacek

Katia Obraczka

Junsoo Lee

Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem

Jianghai Hu

Maria Prandini

Karl H. Johansson

Shankar Sastry

Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers

Jens Kalkkuhl

Tor A. Johansen

Jens Ludemann

Andreas Queda

Mode Switching Synthesis for Reachability Specifications

T. John Koo

George J. Pappas

Shankar Sastry

Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions

Xenofon D. Koutsoukos

Panos J. Antsaklis

On a Novel Class of Bifurcations in Hybrid Dynamical Systems: The Case of Relay Feedback Systems

P. Kowalczyk

M. di Bernardo

Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings

Ekaterina S. Lemch

Shankar Sastry

Peter E. Caines

Modeling of Continuous-Discrete Processes

Vishal Bahl

Andreas A. Linninger

Hybrid I/O Automata Revisited

Nancy Lynch

Roberto Segala

Frits Vaandrager

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets

Ian Mitchell

Alexandre M. Bayen

Claire J. Tomlin

Robust Controller Synthesis for Hybrid Systems Using Modal Logic

Thomas Moor

J.M. Davoren

Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality

Pieter J. Mosterman

Addressing Multiobjective Control: Safety and Performance through Constrained Optimization

Meeko Oishi

Claire J. Tomlin

Vipin Gopal

Datta Godbole

Representation of Quantised Systems by the Frobenius-Perron Operator

Jochen Schroder

Jan Lunze

Semi-decidable Synthesis for Triangular Hybrid Systems

Omid Shakernia

George J. Pappas

Shankar Sastry

Hybrid Abstractions that Preserve Timed Languages

Paulo Tabuada

George J. Pappas

Author Index