Hybrid systems: computation and control 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25 - 27, 2004 ; proceedings (Springer, 2004)
Includes bibliographical references and index