Hybrid Systems: Computation and Control

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

  • Manfred Morari
  • Lothar Thiele
Conference proceedings HSCC 2005

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

Table of contents

  1. Front Matter
    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

About these proceedings

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

  • Manfred Morari
    • 1
  • Lothar Thiele
    • 2
  1. 1.Automatic Control LaboratoryETH ZurichZurichSwitzerland
  2. 2.Computer Engineering and Networks LaboratoryETH ZurichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/b106766
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25108-8
  • Online ISBN 978-3-540-31954-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology