Skip to main content
SpringerLink
Log in
Book cover

Hybrid Systems: Computation and Control

4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Maria Domenica Benedetto

    1. Dipartimento di Ingegneria Elettrica, Universitá dell’Aquila, L’Aquila, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alberto Sangiovanni-Vincentelli

    1. University of California at Berkeley, Berkeley
      PARADES, Italy

    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 2034)

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 (40 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Control as an Embedded Technology

    • Manfred Morari
    Pages 1-2

  3. Optimisation of Hybrid Processes and Hybrid Controllers

    • Costas C. Pantelides
    Pages 3-3

  4. Embedded Software and Systems: Challenges and Approaches

    • Janos Sztipanovits
    Pages 4-4

  5. Hybrid Systems Applications: An Oxymoron?

    • Alberto Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides et al.
    Pages 5-6

  6. Design of Luenberger Observers for a Class of Hybrid Linear Systems

    • A. Alessandri, P. Coletta
    Pages 7-18

  7. Hybrid Modeling and Simulation of Biomolecular Networks

    • Rajeev Alur, Calin Belta, Franjo Ivančić, Vijay Kumar, Max Mintz, George J. Pappas et al.
    Pages 19-32

  8. Compositional Refinement for Hierarchical Hybrid Systems

    • Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Pages 33-48

  9. Optimal Paths in Weighted Timed Automata

    • Rajeev Alur, Salvatore La Torre, George J. Pappas
    Pages 49-62

  10. Reach Set Computations Using Real Quantifier Elimination

    • Hirokazu Anai, Volker Weispfenning
    Pages 63-76

  11. On Hybrid Control of Under-Actuated Mechanical Systems

    • Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
    Pages 77-88

  12. On the Decidability of the Reachability Problem for Planar Differential Inclusions

    • Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Pages 89-104

  13. The Substratum of Impulse and Hybrid Control Systems

    • Jean-Pierre Aubin
    Pages 105-118

  14. Path-Dependent Impulse and Hybrid Systems

    • Jean-Pierre Aubin, George Haddad
    Pages 119-132

  15. Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle

    • Andrea Balluchi, Philippe Souéres, Antonio Bicchi
    Pages 133-146

  16. Minimum-Cost Reachability for Priced Time Automata

    • Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn et al.
    Pages 147-161

  17. A Hybrid Approach to Traction Control

    • Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat
    Pages 162-174

  18. Optimal Control Using Bisimulations: Implementation

    • Mireille Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto Sangiovanni-Vincentelli
    Pages 175-188

  19. A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

    • Francesco Alessandro Cuzzola, Manfred Morari
    Pages 189-203

  20. Accurate Event Detection for Simulating Hybrid Systems

    • Joel M. Esposito, Vijay Kumar, George J. Pappas
    Pages 204-217
Back to top

Keywords

About this book

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), N- megen, The Netherlands (HSCC’99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory.

Editors and Affiliations

  • Dipartimento di Ingegneria Elettrica, Universitá dell’Aquila, L’Aquila, Italy

    Maria Domenica Benedetto

  • University of California at Berkeley, Berkeley

    Alberto Sangiovanni-Vincentelli

  • PARADES, Italy

    Alberto Sangiovanni-Vincentelli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation