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.

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 (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

Editors and Affiliations

  • Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland

    Manfred Morari

  • Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

    Lothar Thiele

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