Casa Góes Lab Mission

We develop first principle methods to analyze and design complex systems with strong resilience, security and safety guarantees.

To achieve these goals, we leverage control and formal methods techniques for modeling, analysis, and design of complex systems. Specifically, our group combines discrete event and hybrid systems, supervisory control, and temporal logics. Our applications domains include critical infrastructure control systems (manufacturing, water, and transportation), robotics, software systems, and human behavioral systems.

Lab News

Aug 2025 - Congrats Parastou on passing her comprehensive exam

Aug 2025 - Congrats Parastou on being selected to the 2025 ICDS Junior Research Program

Jul 2025 - One paper in collaboration accepted at CDC 2025. Work done by visiting student Samuel Oliveira from UDESC and in collaboration with PSU CAIS lab. Hope to see you in Rio

May 2025 - Big congrats to 2025 Casa Góes graduates: Greg Westfall (BS), Collin Ross (BS), Shih-Jie (MS) Ratnesh (MS)

Apr 2025 - Congrats to Vlad Roiban on being selected for the 2025/2026 EE Undergraduate Research Program