Skip to main content
  • Conference proceedings
  • © 2000

Hybrid Systems: Computation and Control

Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings

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

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

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

Table of contents (37 papers)

  1. Front Matter

    Pages I-XII
  2. Selected Presentations

    1. Modular Specification of Hybrid Systems in Charon

      • Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
      Pages 6-19
    2. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

      • Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler
      Pages 20-31
    3. Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine

      • Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa et al.
      Pages 32-44
    4. Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems

      • Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari
      Pages 45-58
    5. Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

      • Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto
      Pages 59-72
    6. Theory of Optimal Control Using Bisimulations

      • Mireille Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto Sangiovanni-Vincentelli
      Pages 89-102
    7. Behavior Based Robotics Using Hybrid Automata

      • Magnus Egerstedt
      Pages 103-116
    8. Hybrid Controllers for Hierarchically Decomposed Systems

      • Kagan Gokbayrak, Christos G. Cassandras
      Pages 117-129
    9. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods

      • Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
      Pages 130-144
    10. Robust Undecidability of Timed and Hybrid Systems

      • Thomas A. Henzinger, Jean-François Raskin
      Pages 145-159
    11. Towards a Theory of Stochastic Hybrid Systems

      • Jianghai Hu, John Lygeros, Shankar Sastry
      Pages 160-173
    12. A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System

      • Xenofon D. Koutsoukos, Panos J. Antsaklis
      Pages 188-201
    13. Ellipsoidal Techniques for Reachability Analysis

      • Alexander B. Kurzhanski, Pravin Varaiya
      Pages 202-214

Editors and Affiliations

  • Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, USA

    Nancy Lynch

  • Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA

    Bruce H. Krogh

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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