Skip to main content
  • Conference proceedings
  • © 2006

Hybrid Systems: Computation and Control

9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): HSCC: International Workshop on Hybrid Systems: Computation and Control

Conference proceedings info: HSCC 2006.

Buy it now

Buying options

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

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

Table of contents (42 papers)

  1. Front Matter

  2. Invited Talks

    1. Hybrid Systems—And Everything Else

      • John Rushby
      Pages 3-3
  3. Regular Papers

    1. Behavioural Approximations for Restricted Linear Differential Hybrid Automata

      • Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
      Pages 4-18
    2. On the Stability of Zeno Equilibria

      • Aaron D. Ames, Paulo Tabuada, Shankar Sastry
      Pages 34-48
    3. Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems

      • Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 49-63
    4. Output-Based Optimal Timing Control of Switched Systems

      • Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi
      Pages 64-78
    5. Hybrid Modelling and Control of the Common Rail Injection System

      • Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni Vincentelli, Gabriele Serra
      Pages 79-92
    6. Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata

      • Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez
      Pages 93-107
    7. Improving Efficiency of Finite Plans by Optimal Choice of Input Sets

      • Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
      Pages 108-122
    8. A Lattice Theory for Solving Games of Imperfect Information

      • Martin De Wulf, Laurent Doyen, Jean-François Raskin
      Pages 153-168
    9. Observability of Hybrid Automata by Abstraction

      • A. D’Innocenzo, M. D. Di Benedetto, S. Di Gennaro
      Pages 169-183
    10. Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks

      • S. Drulhe, G. Ferrari-Trecate, H. de Jong, A. Viari
      Pages 184-199
    11. Decision Problems for the Verification of Real-Time Software

      • Michael Emmi, Rupak Majumdar
      Pages 200-211
    12. Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control

      • G. Ferrari-Trecate, M. Egerstedt, A. Buffa, M. Ji
      Pages 212-226
    13. Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition

      • Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari
      Pages 227-241

Other Volumes

  1. Hybrid Systems: Computation and Control

Editors and Affiliations

  • Center for Control, Dynamical Systems and Computation, University of California, Santa Barbara, USA

    João P. Hespanha

  • SRI International, Menlo Park, USA

    Ashish Tiwari

Bibliographic Information

Buy it now

Buying options

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