Carla Seatzu

• Control of Discrete-Event Systems
• Analysis and Design of Hybrid Systems 2006
• Formal Methods in Manufacturing