Advertisement

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
    17. Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates
      Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur
      Pages 306-321
    18. Polynomial Stochastic Hybrid Systems
      João Pedro Hespanha
      Pages 322-338
    19. Non-uniqueness in Reverse Time of Hybrid System Trajectories
      Ian A. Hiskens
      Pages 339-353
    20. 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
    21. An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
      Rajesh Kumar, Bruce H. Krogh, Peter Feiler
      Pages 370-385
    22. Mode-Automata Based Methodology for Scade
      Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
      Pages 386-401
    23. Taylor Approximation for Hybrid Systems
      Ruggero Lanotte, Simone Tini
      Pages 402-416
    24. 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
    25. Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation
      Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski
      Pages 433-448
    26. Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties
      Yi Ma, René Vidal
      Pages 449-465
    27. Learning Multi-modal Control Programs
      Tejas R. Mehta, Magnus Egerstedt
      Pages 466-479
    28. A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
      Ian M. Mitchell, Jeremy A. Templeton
      Pages 480-494
    29. On Transfinite Hybrid Automata
      Katsunori Nakamura, Akira Fusaoka
      Pages 495-510
    30. Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration
      Dominik Niederberger
      Pages 511-525
    31. Interchange Formats for Hybrid Systems: Review and Proposal
      Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
      Pages 526-541
    32. Primal–Dual Tests for Safety and Reachability
      Stephen Prajna, Anders Rantzer
      Pages 542-556
    33. Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
      Robin L. Raffard, Jianghai Hu, Claire J. Tomlin
      Pages 557-572
    34. Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
      Stefan Ratschan, Zhikun She
      Pages 573-589
    35. Generating Polynomial Invariants for Hybrid Systems
      Enric Rodríguez-Carbonell, Ashish Tiwari
      Pages 590-605
    36. Modeling, Optimization and Computation for Software Verification
      Mardavij Roozbehani, Eric Feron, Alexandre Megrestki
      Pages 606-622
    37. Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
      Stefan Strubbe, Arjan van der Schaft
      Pages 623-639
    38. Sensor/Actuator Abstractions for Symbolic Embedded Control Design
      Paulo Tabuada
      Pages 640-654
    39. Modeling and Control of Networked Control Systems with Random Delays
      Yan Wang, Zeng Qi Sun, Fu Chun Sun
      Pages 655-666
    40. Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems
      Guangming Xie, Long Wang
      Pages 667-682
  4. Back Matter
    PDF

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications