Hybrid Systems: Computation and Control

4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

ISBN: 978-3-540-41866-5 (Print) 978-3-540-45351-2 (Online)

Table of contents (40 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XIV

  2. No Access

    Book Chapter

    Pages 1-2

    Control as an Embedded Technology

  3. No Access

    Book Chapter

    Pages 3-3

    Optimisation of Hybrid Processes and Hybrid Controllers

  4. No Access

    Book Chapter

    Pages 4-4

    Embedded Software and Systems: Challenges and Approaches

  5. No Access

    Book Chapter

    Pages 5-6

    Hybrid Systems Applications: An Oxymoron?

  6. No Access

    Book Chapter

    Pages 7-18

    Design of Luenberger Observers for a Class of Hybrid Linear Systems

  7. No Access

    Book Chapter

    Pages 19-32

    Hybrid Modeling and Simulation of Biomolecular Networks

  8. No Access

    Book Chapter

    Pages 33-48

    Compositional Refinement for Hierarchical Hybrid Systems

  9. No Access

    Book Chapter

    Pages 49-62

    Optimal Paths in Weighted Timed Automata

  10. No Access

    Book Chapter

    Pages 63-76

    Reach Set Computations Using Real Quantifier Elimination

  11. No Access

    Book Chapter

    Pages 77-88

    On Hybrid Control of Under-Actuated Mechanical Systems

  12. No Access

    Book Chapter

    Pages 89-104

    On the Decidability of the Reachability Problem for Planar Differential Inclusions

  13. No Access

    Book Chapter

    Pages 105-118

    The Substratum of Impulse and Hybrid Control Systems

  14. No Access

    Book Chapter

    Pages 119-132

    Path-Dependent Impulse and Hybrid Systems

  15. No Access

    Book Chapter

    Pages 133-146

    Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle

  16. No Access

    Book Chapter

    Pages 147-161

    Minimum-Cost Reachability for Priced Time Automata

  17. No Access

    Book Chapter

    Pages 162-174

    A Hybrid Approach to Traction Control

  18. No Access

    Book Chapter

    Pages 175-188

    Optimal Control Using Bisimulations: Implementation

  19. No Access

    Book Chapter

    Pages 189-203

    A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems

  20. No Access

    Book Chapter

    Pages 204-217

    Accurate Event Detection for Simulating Hybrid Systems

  21. No Access

    Book Chapter

    Pages 218-231

    A Clustering Technique for the Identification of Piecewise Affine systems

previous Page of 2