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

In 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schw- pun

This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods