Hybrid Systems: Computation and Control

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

Editors:

ISBN: 978-3-540-71492-7 (Print) 978-3-540-71493-4 (Online)

Table of contents (86 chapters)

previous Page of 5
  1. Front Matter

    Pages -

  2. Keynote Speeches

    1. Book Chapter

      Pages 1-1

      Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems

    2. Book Chapter

      Pages 2-2

      Control Challenges in Wireless Sensor Networks

    3. Book Chapter

      Pages 3-3

      The Challenges of Embedded Systems Engineering

  3. Regular Papers

    1. No Access

      Book Chapter

      Pages 4-17

      Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems

    2. No Access

      Book Chapter

      Pages 18-31

      Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries

    3. No Access

      Book Chapter

      Pages 32-45

      Minimum Time for a Hybrid System with Thermostatic Switchings

    4. No Access

      Book Chapter

      Pages 46-60

      Complexity Reduction for the Design of Interacting Controllers

    5. No Access

      Book Chapter

      Pages 61-75

      Model Checking Genetic Regulatory Networks with Parameter Uncertainty

    6. No Access

      Book Chapter

      Pages 76-89

      MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems

    7. No Access

      Book Chapter

      Pages 90-103

      Symbolic Analysis for GSMP Models with One Stateful Clock

    8. No Access

      Book Chapter

      Pages 104-117

      Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles

    9. No Access

      Book Chapter

      Pages 118-130

      Optimal Switching of 1-DOF Oscillating Systems

    10. No Access

      Book Chapter

      Pages 131-144

      Feedback Scheduling for Pipelines of Tasks

    11. No Access

      Book Chapter

      Pages 145-158

      On Simulations and Bisimulations of General Flow Systems

    12. No Access

      Book Chapter

      Pages 159-173

      A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems

    13. No Access

      Book Chapter

      Pages 174-189

      Systematic Simulation Using Sensitivity Analysis

    14. No Access

      Book Chapter

      Pages 190-202

      Motion Programs for Puppet Choreography and Control

    15. No Access

      Book Chapter

      Pages 203-216

      Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

    16. No Access

      Book Chapter

      Pages 217-230

      Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems

    17. No Access

      Book Chapter

      Pages 231-244

      Approximately Bisimilar Finite Abstractions of Stable Linear Systems

previous Page of 5