Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Control as an Embedded Technology
3. Altmetric Badge
   Chapter 2 Optimisation of Hybrid Processes and Hybrid Controllers
4. Altmetric Badge
   Chapter 3 Embedded Software and Systems: Challenges and Approaches
5. Altmetric Badge
   Chapter 4 Hybrid Systems Applications: An Oxymoron?
6. Altmetric Badge
   Chapter 5 Design of Luenberger Observers for a Class of Hybrid Linear Systems
7. Altmetric Badge
   Chapter 6 Hybrid Modeling and Simulation of Biomolecular Networks
8. Altmetric Badge
   Chapter 7 Compositional Refinement for Hierarchical Hybrid Systems
9. Altmetric Badge
   Chapter 8 Optimal Paths in Weighted Timed Automata
10. Altmetric Badge
    Chapter 9 Reach Set Computations Using Real Quantifier Elimination
11. Altmetric Badge
    Chapter 10 On Hybrid Control of Under-Actuated Mechanical Systems
12. Altmetric Badge
    Chapter 11 On the Decidability of the Reachability Problem for Planar Differential Inclusions
13. Altmetric Badge
    Chapter 12 The Substratum of Impulse and Hybrid Control Systems
14. Altmetric Badge
    Chapter 13 Path-Dependent Impulse and Hybrid Systems
15. Altmetric Badge
    Chapter 14 Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle
16. Altmetric Badge
    Chapter 15 Minimum-Cost Reachability for Priced Time Automata
17. Altmetric Badge
    Chapter 16 A Hybrid Approach to Traction Control
18. Altmetric Badge
    Chapter 17 Optimal Control Using Bisimulations: Implementation
19. Altmetric Badge
    Chapter 18 A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems
20. Altmetric Badge
    Chapter 19 Accurate Event Detection for Simulating Hybrid Systems
21. Altmetric Badge
    Chapter 20 A Clustering Technique for the Identification of Piecewise Affine systems
22. Altmetric Badge
    Chapter 21 Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model
23. Altmetric Badge
    Chapter 22 Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
24. Altmetric Badge
    Chapter 23 Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
25. Altmetric Badge
    Chapter 24 Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
26. Altmetric Badge
    Chapter 25 Hybrid Modeling of TCP Congestion Control
27. Altmetric Badge
    Chapter 26 Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem
28. Altmetric Badge
    Chapter 27 Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers
29. Altmetric Badge
    Chapter 28 Mode Switching Synthesis for Reachability Specifications
30. Altmetric Badge
    Chapter 29 Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions
31. Altmetric Badge
    Chapter 30 On a Novel Class of Bifurcations in Hybrid Dynamical Systems
32. Altmetric Badge
    Chapter 31 Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
33. Altmetric Badge
    Chapter 32 Modeling of Continuous-Discrete Processes
34. Altmetric Badge
    Chapter 33 Hybrid I/O Automata Revisited
35. Altmetric Badge
    Chapter 34 Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets
36. Altmetric Badge
    Chapter 35 Robust Controller Synthesis for Hybrid Systems Using Modal Logic
37. Altmetric Badge
    Chapter 36 Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
38. Altmetric Badge
    Chapter 37 Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
39. Altmetric Badge
    Chapter 38 Representation of Quantised Systems by the Frobenius-Perron Operator
40. Altmetric Badge
    Chapter 39 Semi-de1cidable Synthesis for Triangular Hybrid Systems
41. Altmetric Badge
    Chapter 40 Hybrid Abstractions that Preserve Timed Languages