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

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), N- megen, The Netherlands (HSCC’99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory.

---

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.

---

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
Content:
Front Matter....Pages I-XIV
Control as an Embedded Technology....Pages 1-2
Optimisation of Hybrid Processes and Hybrid Controllers....Pages 3-3
Embedded Software and Systems: Challenges and Approaches....Pages 4-4
Hybrid Systems Applications: An Oxymoron?....Pages 5-6
Design of Luenberger Observers for a Class of Hybrid Linear Systems....Pages 7-18
Hybrid Modeling and Simulation of Biomolecular Networks....Pages 19-32
Compositional Refinement for Hierarchical Hybrid Systems....Pages 33-48
Optimal Paths in Weighted Timed Automata....Pages 49-62
Reach Set Computations Using Real Quantifier Elimination....Pages 63-76
On Hybrid Control of Under-Actuated Mechanical Systems....Pages 77-88
On the Decidability of the Reachability Problem for Planar Differential Inclusions....Pages 89-104
The Substratum of Impulse and Hybrid Control Systems....Pages 105-118
Path-Dependent Impulse and Hybrid Systems....Pages 119-132
Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle....Pages 133-146
Minimum-Cost Reachability for Priced Time Automata....Pages 147-161
A Hybrid Approach to Traction Control....Pages 162-174
Optimal Control Using Bisimulations: Implementation....Pages 175-188
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems....Pages 189-203
Accurate Event Detection for Simulating Hybrid Systems....Pages 204-217
A Clustering Technique for the Identification of Piecewise Affine systems....Pages 218-231
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model....Pages 232-246
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis....Pages 247-260
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles....Pages 261-274
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems....Pages 275-290
Hybrid Modeling of TCP Congestion Control....Pages 291-304
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem....Pages 305-318
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers....Pages 319-332
Mode Switching Synthesis for Reachability Specifications....Pages 333-346
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions....Pages 347-360
On a Novel Class of Bifurcations in Hybrid Dynamical Systems....Pages 361-374
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings....Pages 375-386
Modeling of Continuous-Discrete Processes....Pages 387-402
Hybrid I/O Automata Revisited....Pages 403-417
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets....Pages 418-432
Robust Controller Synthesis for Hybrid Systems Using Modal Logic....Pages 433-446
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality....Pages 447-458
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization....Pages 459-472
Representation of Quantised Systems by the Frobenius-Perron Operator....Pages 473-486
Semi-de1cidable Synthesis for Triangular Hybrid Systems....Pages 487-500
Hybrid Abstractions that Preserve Timed Languages....Pages 501-514
Back Matter....Pages 515-516

---

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
Content:
Front Matter....Pages I-XIV
Control as an Embedded Technology....Pages 1-2
Optimisation of Hybrid Processes and Hybrid Controllers....Pages 3-3
Embedded Software and Systems: Challenges and Approaches....Pages 4-4
Hybrid Systems Applications: An Oxymoron?....Pages 5-6
Design of Luenberger Observers for a Class of Hybrid Linear Systems....Pages 7-18
Hybrid Modeling and Simulation of Biomolecular Networks....Pages 19-32
Compositional Refinement for Hierarchical Hybrid Systems....Pages 33-48
Optimal Paths in Weighted Timed Automata....Pages 49-62
Reach Set Computations Using Real Quantifier Elimination....Pages 63-76
On Hybrid Control of Under-Actuated Mechanical Systems....Pages 77-88
On the Decidability of the Reachability Problem for Planar Differential Inclusions....Pages 89-104
The Substratum of Impulse and Hybrid Control Systems....Pages 105-118
Path-Dependent Impulse and Hybrid Systems....Pages 119-132
Hybrid Feedback Control for Path Tracking by a Bounded—Curbature Vehicle....Pages 133-146
Minimum-Cost Reachability for Priced Time Automata....Pages 147-161
A Hybrid Approach to Traction Control....Pages 162-174
Optimal Control Using Bisimulations: Implementation....Pages 175-188
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems....Pages 189-203
Accurate Event Detection for Simulating Hybrid Systems....Pages 204-217
A Clustering Technique for the Identification of Piecewise Affine systems....Pages 218-231
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model....Pages 232-246
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis....Pages 247-260
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles....Pages 261-274
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems....Pages 275-290
Hybrid Modeling of TCP Congestion Control....Pages 291-304
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem....Pages 305-318
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers....Pages 319-332
Mode Switching Synthesis for Reachability Specifications....Pages 333-346
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions....Pages 347-360
On a Novel Class of Bifurcations in Hybrid Dynamical Systems....Pages 361-374
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings....Pages 375-386
Modeling of Continuous-Discrete Processes....Pages 387-402
Hybrid I/O Automata Revisited....Pages 403-417
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets....Pages 418-432
Robust Controller Synthesis for Hybrid Systems Using Modal Logic....Pages 433-446
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality....Pages 447-458
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization....Pages 459-472
Representation of Quantised Systems by the Frobenius-Perron Operator....Pages 473-486
Semi-de1cidable Synthesis for Triangular Hybrid Systems....Pages 487-500
Hybrid Abstractions that Preserve Timed Languages....Pages 501-514
Back Matter....Pages 515-516
....