4. HSCC 2001: Rome, Italy

@proceedings{DBLP:conf/hybrid/2001,
  editor    = {Maria Domenica Di Benedetto and
               Alberto L. Sangiovanni-Vincentelli},
  title     = {Hybrid Systems: Computation and Control, 4th International Workshop,
               HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2034},
  year      = {2001},
  isbn      = {3-540-41866-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstracts of Invited Presentations

• Manfred Morari:
  Control as an Embedded Technology. 1-2
  Electronic Edition (Springer LINK) BibTeX
• Costas C. Pantelides:
  Optimisation of Hybrid Processes and Hybrid Controllers. 3
  Electronic Edition (Springer LINK) BibTeX
• Janos Sztipanovits:
  Embedded Software and Systems: Challenges and Approaches. 4
  Electronic Edition (Springer LINK) BibTeX

Panel Discussion

• Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
  Hybrid Systems Applications: An Oxymoron? 5-6
  Electronic Edition (Springer LINK) BibTeX

Papers

• Angelo Alessandri, Paolo Coletta:
  Design of Luenberger Observers for a Class of Hybrid Linear Systems. 7-18
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Calin Belta, Franjo Ivancic:
  Hybrid Modeling and Simulation of Biomolecular Networks. 19-32
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky:
  Compositional Refinement for Hierarchical Hybrid Systems. 33-48
  Electronic Edition (Springer LINK) BibTeX
• Rajeev Alur, Salvatore La Torre, George J. Pappas:
  Optimal Paths in Weighted Timed Automata. 49-62
  Electronic Edition (Springer LINK) BibTeX
• Hirokazu Anai, Volker Weispfenning:
  Reach Set Computations Using Real Quantifier Elimination. 63-76
  Electronic Edition (Springer LINK) BibTeX
• Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
  On Hybrid Control of Under-Actuated Mechanical Systems. 77-88
  Electronic Edition (Springer LINK) BibTeX
• Eugene Asarin, Gerardo Schneider, Sergio Yovine:
  On the Decidability of the Reachability Problem for Planar Differential Inclusions. 89-104
  Electronic Edition (Springer LINK) BibTeX
• Jean-Pierre Aubin:
  The Substratum of Impulse and Hybrid Control Systems. 105-118
  Electronic Edition (Springer LINK) BibTeX
• Jean-Pierre Aubin, George Haddad:
  Path-Dependent Impulse and Hybrid Systems. 119-132
  Electronic Edition (Springer LINK) BibTeX
• Andrea Balluchi, Philippe Souères, Antonio Bicchi:
  Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle. 133-146
  Electronic Edition (Springer LINK) BibTeX
• Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager:
  Minimum-Cost Reachability for Priced Timed Automata. 147-161
  Electronic Edition (Springer LINK) BibTeX
• Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat:
  A Hybrid Approach to Traction Control. 162-174
  Electronic Edition (Springer LINK) BibTeX
• Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli:
  Optimal Control Using Bisimulations: Implementation. 175-188
  Electronic Edition (Springer LINK) BibTeX
• Francesco Alessandro Cuzzola, Manfred Morari:
  A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems. 189-203
  Electronic Edition (Springer LINK) BibTeX
• Joel M. Esposito, Vijay Kumar, George J. Pappas:
  Accurate Event Detection for Simulating Hybrid Systems. 204-217
  Electronic Edition (Springer LINK) BibTeX
• Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari:
  A Clustering Technique for the Identification of Piecewise Affine Systems. 218-231
  Electronic Edition (Springer LINK) BibTeX
• Ronojoy Ghosh, Claire Tomlin:
  Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. 232-246
  Electronic Edition (Springer LINK) BibTeX
• José M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh:
  Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. 247-260
  Electronic Edition (Springer LINK) BibTeX
• Luc C. G. J. M. Habets, Jan H. van Schuppen:
  Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles. 261-274
  Electronic Edition (Springer LINK) BibTeX
• Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu:
  Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. 275-290
  Electronic Edition (Springer LINK) BibTeX
• João P. Hespanha, Stephan Bohacek, Katia Obraczka, Junsoo Lee:
  Hybrid Modeling of TCP Congestion Control. 291-304
  Electronic Edition (Springer LINK) BibTeX
• Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry:
  Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem. 305-318
  Electronic Edition (Springer LINK) BibTeX
• Jens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda:
  Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers. 319-332
  Electronic Edition (Springer LINK) BibTeX
• Tak-John Koo, George J. Pappas, Shankar Sastry:
  Mode Switching Synthesis for Reachability Specifications. 333-346
  Electronic Edition (Springer LINK) BibTeX
• Xenofon D. Koutsoukos, Panos J. Antsaklis:
  Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions. 347-360
  Electronic Edition (Springer LINK) BibTeX
• P. Kowalczyk, Mario di Bernardo:
  On a Novel Class of Bifurcations in Hybrid Dynamical Systems. 361-374
  Electronic Edition (Springer LINK) BibTeX
• Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines:
  Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings. 375-386
  Electronic Edition (Springer LINK) BibTeX
• Vishal Bahl, Andreas A. Linninger:
  Modeling of Continuous-Discrete Processes. 387-402
  Electronic Edition (Springer LINK) BibTeX
• Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  Hybrid I/O Automata Revisited. 403-417
  Electronic Edition (Springer LINK) BibTeX
• Ivar Ekeland, Roger Temam:
  Hamiltonian Mechanics2. 418-432
  Electronic Edition (Springer LINK) BibTeX
• Thomas Moor, Jennifer M. Davoren:
  Robust Controller Synthesis for Hybrid Systems Using Modal Logic. 433-446
  Electronic Edition (Springer LINK) BibTeX
• Pieter J. Mosterman:
  Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. 447-458
  Electronic Edition (Springer LINK) BibTeX
• Meeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole:
  Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. 459-472
  Electronic Edition (Springer LINK) BibTeX
• Jochen Schröder, Jan Lunze:
  Representation of Quantised Systems by the Frobenius-Perron Operator. 473-486
  Electronic Edition (Springer LINK) BibTeX
• Omid Shakernia, George J. Pappas, Shankar Sastry:
  Semi-decidable Synthesis for Triangular Hybrid Systems. 487-500
  Electronic Edition (Springer LINK) BibTeX
• Paulo Tabuada, George J. Pappas:
  Hybrid Abstractions that Preserve Timed Languages. 501-514
  Electronic Edition (Springer LINK) BibTeX