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. Regular Papers

    1. Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates

      • Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur
      Pages 306-321
    2. Polynomial Stochastic Hybrid Systems

      • João Pedro Hespanha
      Pages 322-338
    3. Comparison of Four Procedures for the Identification of Hybrid Systems

      • Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen
      Pages 354-369
    4. An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems

      • Rajesh Kumar, Bruce H. Krogh, Peter Feiler
      Pages 370-385
    5. Mode-Automata Based Methodology for Scade

      • Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
      Pages 386-401
    6. Taylor Approximation for Hybrid Systems

      • Ruggero Lanotte, Simone Tini
      Pages 402-416
    7. Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems

      • Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu
      Pages 417-432
    8. Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation

      • Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski
      Pages 433-448
    9. Learning Multi-modal Control Programs

      • Tejas R. Mehta, Magnus Egerstedt
      Pages 466-479
    10. On Transfinite Hybrid Automata

      • Katsunori Nakamura, Akira Fusaoka
      Pages 495-510
    11. Interchange Formats for Hybrid Systems: Review and Proposal

      • Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
      Pages 526-541
    12. Primal–Dual Tests for Safety and Reachability

      • Stephen Prajna, Anders Rantzer
      Pages 542-556
    13. Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems

      • Robin L. Raffard, Jianghai Hu, Claire J. Tomlin
      Pages 557-572
    14. Generating Polynomial Invariants for Hybrid Systems

      • Enric Rodríguez-Carbonell, Ashish Tiwari
      Pages 590-605
    15. Modeling, Optimization and Computation for Software Verification

      • Mardavij Roozbehani, Eric Feron, Alexandre Megrestki
      Pages 606-622

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