Hybrid Systems: Computation and Control

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

  • Editors
  • Alberto Bemporad
  • Antonio Bicchi
  • Giorgio Buttazzo
Conference proceedings HSCC 2007

DOI: 10.1007/978-3-540-71493-4

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

Table of contents (86 papers)

  1. Front Matter
  2. Keynote Speeches

  3. Regular Papers

    1. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
      Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 4-17
    2. Complexity Reduction for the Design of Interacting Controllers
      A. Balluchi, E. Mazzi, A. L. Sangiovanni Vincentelli
      Pages 46-60
    3. Model Checking Genetic Regulatory Networks with Parameter Uncertainty
      Grégory Batt, Calin Belta, Ron Weiss
      Pages 61-75
    4. Symbolic Analysis for GSMP Models with One Stateful Clock
      Mikhail Bernadsky, Rajeev Alur
      Pages 90-103
    5. Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
      Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams
      Pages 104-117
    6. Optimal Switching of 1-DOF Oscillating Systems
      Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel
      Pages 118-130
    7. Feedback Scheduling for Pipelines of Tasks
      Tommaso Cucinotta, Luigi Palopoli
      Pages 131-144
    8. On Simulations and Bisimulations of General Flow Systems
      J. M. Davoren, Paulo Tabuada
      Pages 145-158
    9. Systematic Simulation Using Sensitivity Analysis
      Alexandre Donzé, Oded Maler
      Pages 174-189
    10. Motion Programs for Puppet Choreography and Control
      Magnus Egerstedt, Todd Murphey, Jon Ludwig
      Pages 190-202
    11. Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
      Georgios E. Fainekos, Antoine Girard, George J. Pappas
      Pages 203-216

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.

The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.

Keywords

D programming language complexity programming programming language real-time robot robotics tools verification

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71492-7
  • Online ISBN 978-3-540-71493-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349