Hybrid Systems: Computation and Control

1. Front Matter

   Pages I-XII

   PDF

2. Abstracts of Invited Presentations

   1. The Mathematics of Matter and the Mathematics of Mind

      • David Berlinski

      Pages 1-1

   2. A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal

      • David Harel

      Pages 2-2

   3. Developing Home Robotics Products: Challenges and Lessons Learned

      • Udi Peless

      Pages 3-3

3. Regular Contributions

   1. Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

      • Rajeev Alur, Thao Dang, Franjo Ivančić

      Pages 4-19

   2. Reachability Analysis of Nonlinear Systems Using Conservative Approximation

      • Eugene Asarin, Thao Dang, Antoine Girard

      Pages 20-35

   3. Mode Reconstruction for Source Coding and Multi-modal Control

      • Adam Austin, Magnus Egerstedt

      Pages 36-49

   4. Hybrid Control Design for a Wheeled Mobile Robot

      • Thomas Bak, Jan Bendtsen, Anders P. Ravn

      Pages 50-65

   5. Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems

      • L. G. Barajas, A. Kansal, A. Saxena, M. Egerstedt, A. Goldstein, E. W. Kamen

      Pages 66-80

   6. Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions

      • Alberto Bemporad, Pandeli Borodani, Massimo Mannelli

      Pages 81-96

   7. A Greedy Approach to Identification of Piecewise Affine Models

      • Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino

      Pages 97-112

   8. A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems

      • Richard J. Boulton, Ruth Hardy, Ursula Martin

      Pages 113-125

   9. Reachability Questions in Piecewise Deterministic Markov Processes

      • Manuela L. Bujorianu, John Lygeros

      Pages 126-140

   10. Automatic Verification of a Turbogas Control System with the Murφ Verifier

       • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse et al.

       Pages 141-155

   11. Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System

       • Jean-Guillaume Dumas, Aude Rondepierre

       Pages 156-171

   12. Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators

       • Nael H. El-Farra, Panagiotis D. Christo.des

       Pages 172-187

   13. Conditions of Optimal Classification for Piecewise Affine Regression

       • Giancarlo Ferrari-Trecate, Michael Schinkel

       Pages 188-202

   14. Approximate Stabilisation of Uncertain Hybrid Systems

       • Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube

       Pages 203-215

   15. Efficient Mode Enumeration of Compositional Hybrid Systems

       • Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari

       Pages 216-232

   16. Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata

       • Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin

       Pages 233-248

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

• Simulation
• automata
• calculus
• control systems
• dynamical systems
• embedded systems
• hybrid modeling
• hybrid systems
• hybridization
• model checking
• modeling
• operating system
• reactive systems
• robotics
• systems specification

• CNRS-VERIMAG, Gières, France

  Oded Maler

• Weizmann Institute of Science, Rehovot, Israel

  Amir Pnueli

Policies and ethics