SAFE CONTROLLERS DESIGN FOR HIBRID PLANTS - The Emergency Stop Topics: Discrete Event Systems; Hybrid Dynamical Systems; Information-Based Models for Control; Time Series and System Modeling In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 172-177, 2009 , Milan, Italy