Skip to main content
  • Conference proceedings
  • © 2005

Hybrid Systems: Computation and Control

8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

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

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 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (43 papers)

  1. Front Matter

  2. Invited Papers

    1. Coordinated Control for Highly Reconfigurable Systems

      • Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi
      Pages 1-24
    2. Operational Semantics of Hybrid Systems

      • Edward A. Lee, Haiyang Zheng
      Pages 25-53
  3. Regular Papers

    1. The Discrete Time Behavior of Lazy Linear Hybrid Automata

      • Manindra Agrawal, P. S. Thiagarajan
      Pages 55-69
    2. Perturbed Timed Automata

      • Rajeev Alur, Salvatore La Torre, P. Madhusudan
      Pages 70-85
    3. A Homology Theory for Hybrid Systems: Hybrid Homology

      • Aaron D. Ames, Shankar Sastry
      Pages 86-102
    4. Observability of Switched Linear Systems in Continuous Time

      • Mohamed Babaali, George J. Pappas
      Pages 103-117
    5. Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domains

      • Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli
      Pages 118-133
    6. Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in Escherichia coli

      • Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider
      Pages 134-150
    7. Optimal Control of Discrete Hybrid Stochastic Automata

      • Alberto Bemporad, Stefano Di Cairano
      Pages 151-167
    8. Hybrid Decentralized Control of Large Scale Systems

      • Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg Stewart, Kingsley Fregene, Datta Godbole
      Pages 168-183
    9. On the Stabilisation of Switching Electrical Power Converters

      • Jean Buisson, Pierre-Yves Richard, Hervé Cormerais
      Pages 184-197
    10. Bisimulation for General Stochastic Hybrid Systems

      • Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu
      Pages 198-214
    11. Refining Abstractions of Hybrid Systems Using Counterexample Fragments

      • Ansgar Fehnker, Edmund Clarke, Sumit Kumar Jha, Bruce Krogh
      Pages 242-257

Other Volumes

  1. Hybrid Systems: Computation and Control

Keywords

  • Augmented Reality
  • algorithms
  • automata
  • dependable systems
  • dynamical systems
  • embedded systems
  • formal verification
  • hybrid control systems
  • hybrid systems
  • modeling
  • optimization
  • programming language
  • stochastic hybrid systems
  • systems analysis
  • verification

Editors and Affiliations

  • Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland

    Manfred Morari

  • Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

    Lothar Thiele

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions