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

Front Cover
Maria D. Di Benedetto, Alberto Sangiovanni-Vincentelli
Springer Science & Business Media, Mar 14, 2001 - Computers - 516 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Control as an Embedded Technology
1
Optimisation of Hybrid Processes and Hybrid Controllers
3
Challenges and Approaches
4
An Oxymoron?
5
Design of Luenberger Observers for a Class of Hybrid Linear Systems
7
Hybrid Modeling and Simulation of Biomolecular Networks
19
Compositional Refinement for Hierarchical Hybrid Systems
33
Optimal Paths in Weighted Timed Automata
49
Modeling and Synthesis
247
Control of PiecewiseLinear Hybrid Systems on Simplices and Rectangles
261
AssumeGuarantee Reasoning for Hierarchical Hybrid Systems
275
Hybrid Modeling of TCP Congestion Control
291
Hybrid Geodesics as Optimal Solutions to the CollisionFree Motion Planning Problem
305
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers
319
Mode Switching Synthesis for Reachability Specifications
333
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions
347

Reach Set Computations Using Real Quantifier Elimination
63
On Hybrid Control of UnderActuated Mechanical Systems
77
On the Decidability of the Reachability Problem for Planar Differential Inclusions
89
The Substratum of Impulse and Hybrid Control Systems
105
PathDependent Impulse and Hybrid Systems
119
Hybrid Feedback Control for Path Tracking by a BoundedCurvature Vehicle
133
MinimumCost Reachability for Priced Timed Automata
147
A Hybrid Approach to Traction Control
162
Implementation
175
A Generalized Approach for Analysis and Control of DiscreteTime Piecewise Affine and Hybrid Systems
189
Accurate Event Detection for Simulating Hybrid Systems
204
A Clustering Technique for the Identification of Piecewise Affine Systems
218
A Piecewise Affine Hybrid Model
232
On a Novel Class of Bifurcations in Hybrid Dynamical Systems
361
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
375
Modeling of ContinuousDiscrete Processes
387
Hybrid IO Automata Revisited
403
Validating a HamiltonJacobi Approximation to Hybrid System Reachable Sets
418
Robust Controller Synthesis for Hybrid Systems Using Modal Logic
433
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality
447
Safety and Performance through Constrained Optimization
459
Representation of Quantised Systems by the FrobeniusPerron Operator
473
Semidecidable Synthesis for Triangular Hybrid Systems
487
Hybrid Abstractions that Preserve Timed Languages
501
Author Index
515
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information