Hybrid Systems: Computation and Control : 4th International Workshop, Hscc 2001, Rome, Italy, March 28-30, 2001 : Proceedings

by Hscc 200 (2001 Rome, Italy); Sangiovanni-Vincentelli, Alberto; Di Benedetto, Maria Domenica

• ISBN13: 9783540418665
• ISBN10: 3540418660
• Format: Paperback
• Copyright: 2001-04-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

Table of Contents

Abstracts of Invited Presentations
Control as an Embedded Technology	1	(2)
Manfred Morari
Optimisation of Hybrid Processes and Hybrid Controllers	3	(1)
Costas C. Pantelides
Embedded Software and Systems: Challenges and Approaches	4	(1)
Janos Sztipanovits
Panel Discussion
Hybrid Systems Applications: An Oxymoron?	5	(2)
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	7	(12)
A. Alessandri
P. Coletta
Hybrid Modeling and Simulation of Biomolecular Networks	19	(14)
Rajeev Alur
Calin Belta
Franjo Ivancic
Vijay Kumar
Max Mintz
George J. Pappas
Harvey Rubin
Jonathan Schug
Compositional Refinement for Hierarchical Hybrid Systems	33	(16)
Rajeev Alur
Radu Grosu
Insup Lee
Oleg Sokolsky
Optimal Paths in Weighted Timed Automata	49	(14)
Rajeev Alur
Salvatore La Torre
George J. Pappas
Reach Set Computations Using Real Quantifier Elimination	63	(14)
Hirokazu Anai
Volker Weispfenning
On Hybrid Control of Under-Actuated Mechanical Systems	77	(12)
Eugene Asarin
Sorav Bansal
Bernard Espiau
Thao Dang
Oded Maler
On the Decidability of the Reachability Problem for Planar Differential Inclusions	89	(16)
Eugene Asarin
Gerardo Schneider
Sergio Yovine
The Substratum of Impulse and Hybrid Control Systems	105	(14)
Jean-Pierre Aubin
Path-Dependent Impulse and Hybrid Systems	119	(14)
Jean-Pierre Aubin
George Haddad
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle	133	(14)
Andrea Balluchi
Philippe Soueres
Antonio Bicchi
Minimum-Cost Reachability for Priced Timed Automata	147	(15)
Gerd Behrmann
Ansgar Fehnker
Thomas Hune
Kim Larsen
Paul Pettersson
Judi Romijn
Frits Vaandrager
A Hybrid Approach to Traction Control	162	(13)
Francesco Borrelli
Alberto Bemporad
Michael Fodor
Davor Hrovat
Optimal Control Using Bisimulations: Implementation	175	(14)
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	189	(15)
Francesco A. Cuzzola
Manfred Morari
Accurate Event Detection for Simulating Hybrid Systems	204	(14)
Joel M. Esposito
Vijay Kumar
George J. Pappas
A Clustering Technique for the Identification of Piecewise Affine Systems	218	(14)
Giancarlo Ferrari-Trecate
Marco Muselli
Diego Liberati
Manfred Morari
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model	232	(15)
Ronojoy Ghosh
Claire J. Tomlin
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis	247	(14)
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	261	(14)
Luc C.G.J.M. Habets
Jan H. van Schuppen
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems	275	(16)
Thomas A. Henzinger
Marius Minea
Vinayak Prabhu
Hybrid Modeling of TCP Congestion Control	291	(14)
Joao P. Hespanha
Stephan Bohacek
Katia Obraczka
Junsoo Lee
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem	305	(14)
Jianghai Hu
Maria Prandini
Karl H. Johansson
Shankar Sastry
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers	319	(14)
Jens Kalkkuhl
Tor A. Johansen
Jens Ludemann
Andreas Queda
Mode Switching Synthesis for Reachability Specifications	333	(14)
T. John Koo
George J. Pappas
Shankar Sastry
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions	347	(14)
Xenofon D. Koutsoukos
Panos J. Antsaklis
On a Novel Class of Bifurcations in Hybrid Dynamical Systems: The Case of Relay Feedback Systems	361	(14)
P. Kowalczyk
M. di Bernardo
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings	375	(12)
Ekaterina S. Lemch
Shankar Sastry
Peter E. Caines
Modeling of Continuous-Discrete Processes	387	(16)
Vishal Bahl
Andreas A. Linninger
Hybrid I/O Automata Revisited	403	(15)
Nancy Lynch
Roberto Segala
Frits Vaandrager
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets	418	(15)
Ian Mitchell
Alexandre M. Bayen
Claire J. Tomlin
Robust Controller Synthesis for Hybrid Systems Using Modal Logic	433	(14)
Thomas Moor
J.M. Davoren
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality	447	(12)
Pieter J. Mosterman
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization	459	(14)
Meeko Oishi
Claire J. Tomlin
Vipin Gopal
Datta Godbole
Representation of Quantised Systems by the Frobenius-Perron Operator	473	(14)
Jochen Schroder
Jan Lunze
Semi-decidable Synthesis for Triangular Hybrid Systems	487	(14)
Omid Shakernia
George J. Pappas
Shankar Sastry
Hybrid Abstractions that Preserve Timed Languages	501	(14)
Paulo Tabuada
George J. Pappas
Author Index	515