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...