Skip to main content
SpringerLink
Log in

Hybrid Systems: Computation and Control

11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Magnus Egerstedt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bud Mishra
    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 4981)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: HSCC 2008.

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 (62 papers)

  1. Front Matter

    Download chapter PDF

  2. Regular Papers

    1. Markov Set-Chains as Abstractions of Stochastic Hybrid Systems

      • Alessandro Abate, Alessandro D’Innocenzo, Maria D. Di Benedetto, Shankar S. Sastry
      Pages 1-15

    2. Co-simulation Tools for Networked Control Systems

      • Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore
      Pages 16-29

    3. On the Maximum Principle for Impulsive Hybrid Systems

      • Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch
      Pages 30-42

    4. Algebraic Identification of MIMO SARX Models

      • Laurent Bako, René Vidal
      Pages 43-57

    5. Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

      • L. Benvenuti, A. Ferrari, E. Mazzi, A. L. Sangiovanni Vincentelli
      Pages 58-71

    6. Controller Synthesis with Budget Constraints

      • Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
      Pages 72-86

    7. Trading Infinite Memory for Uniform Randomness in Timed Games

      • Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 87-100

    8. Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components

      • Christian G. Claudel, Alexandre M. Bayen
      Pages 101-115

    9. Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions

      • P. J. L. Cuijpers, M. A. Reniers
      Pages 116-129

    10. A Control Lyapunov Approach to Predictive Control of Hybrid Systems

      • S. Di Cairano, M. Lazar, A. Bemporad, W. P. M. H. Heemels
      Pages 130-143

    11. Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems

      • S. Di Cairano, K. H. Johansson, A. Bemporad, R. M. Murray
      Pages 144-157

    12. Anytime Control Algorithms for Embedded Real-Time Systems

      • Daniele Fontanelli, Luca Greco, Antonio Bicchi
      Pages 158-171

    13. Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems

      • Martin Fränzle, Holger Hermanns, Tino Teige
      Pages 172-186

    14. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata

      • Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
      Pages 187-200

    15. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

      • Antoine Girard, Giordano Pola, Paulo Tabuada
      Pages 201-214

    16. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis

      • Antoine Girard, Colas Le Guernic
      Pages 215-228

    17. Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes

      • R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S. A. Smolka, A. Wasilewska
      Pages 229-243

    18. Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

      • Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
      Pages 244-258

    19. Observer-Based Control of Linear Complementarity Systems

      • W. P. M. H. Heemels, M. K. Camlibel, B. Brogliato, J. M. Schumacher
      Pages 259-272
Back to top

Other volumes

  1. Hybrid Systems: Computation and Control

Keywords

About this book

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society andorganized in cooperation with ACM/SIGBED.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation