Skip to main content
SpringerLink
Log in

Hybrid Systems: Computation and Control

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

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Manfred Morari

    1. Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lothar Thiele

    1. Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: HSCC 2005.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (43 papers)

  1. Front Matter

    Download chapter PDF

  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. SOS Methods for Semi-algebraic Games and Optimization

      • Pablo A. Parrilo
      Pages 54-54

  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. Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction

      • Sophie Chareyron, Pierre-Brice Wieber
      Pages 215-225

    12. Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order

      • Domitilla Del Vecchio, Richard M. Murray
      Pages 226-241

    13. Refining Abstractions of Hybrid Systems Using Counterexample Fragments

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

    14. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech

      • Goran Frehse
      Pages 258-273

    15. Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility

      • Tobias Geyer, Georgios Papafotiou
      Pages 274-290

    16. Reachability of Uncertain Linear Systems Using Zonotopes

      • Antoine Girard
      Pages 291-305
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

Editors and Affiliations

  • Automatic Control Laboratory, ETH Zurich, Zurich, Switzerland

    Manfred Morari

  • Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland

    Lothar Thiele

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation