Book Volume 1790 2000

Hybrid Systems: Computation and Control

Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings


ISBN: 978-3-540-67259-3 (Print) 978-3-540-46430-3 (Online)

Table of contents (37 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XII

  2. Invited Presentations

    1. Chapter

      Pages 1-2

      Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision

    2. Chapter

      Pages 3-3

      Experiences in Designing and Using Formal Specification Languages for Embedded Control Software

    3. Chapter

      Pages 4-4

      Model-Based Autonomous Systems for Robotic Space Exploration

    4. Chapter

      Pages 5-5

      Models of Computation and Simulation of Hybrid Systems

  3. Selected Presentations

    1. Chapter

      Pages 6-19

      Modular Specification of Hybrid Systems in Charon

    2. Chapter

      Pages 20-31

      Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

    3. Chapter

      Pages 32-44

      Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine

    4. Chapter

      Pages 45-58

      Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems

    5. Chapter

      Pages 59-72

      Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

    6. Chapter

      Pages 73-88

      Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

    7. Chapter

      Pages 89-102

      Theory of Optimal Control Using Bisimulations

    8. Chapter

      Pages 103-116

      Behavior Based Robotics Using Hybrid Automata

    9. Chapter

      Pages 117-129

      Hybrid Controllers for Hierarchically Decomposed Systems

    10. Chapter

      Pages 130-144

      Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods

    11. Chapter

      Pages 145-159

      Robust Undecidability of Timed and Hybrid Systems

    12. Chapter

      Pages 160-173

      Towards a Theory of Stochastic Hybrid Systems

    13. Chapter

      Pages 174-187

      Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications

    14. Chapter

      Pages 188-201

      A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System

    15. Chapter

      Pages 202-214

      Ellipsoidal Techniques for Reachability Analysis

    16. Chapter

      Pages 215-228

      Uniform Reachability Algorithms

previous Page of 2