Control Synthesis of Hybrid Systems Based on Predicate Invariance.- Computing Approximating Automata for a Class of Linear Hybrid Systems.- On Hybrid Systems and the Modal µ-calculus.- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems.- Controller Scheduling Using Neural Networks: Implementation and Experimental Results.- Rigorous Design of a Fault Diagnosis and Isolation Algorithm.- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems.- Hy ...