4. HSCC 2001: Rome, Italy

Abstracts of Invited Presentations

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

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
  

Papers

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

Last update Mon May 20 14:49:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page