Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Oded Maler

    1. CNRS-VERIMAG, Gières, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Amir Pnueli

    1. Weizmann Institute of Science, Rehovot, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2623)

Included in the following conference series:

Conference proceedings info: HSCC 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  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
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

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.

Editors and Affiliations

  • CNRS-VERIMAG, Gières, France

    Oded Maler

  • Weizmann Institute of Science, Rehovot, Israel

    Amir Pnueli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation