The UW Autonomous & Resilient Controls Laboratory (ARC Lab) aims to develop principled analysis and control methodologies for building trustworthy autonomous intelligent systems. Our current research directions include:

  • Analysis, verification and control for learning-enabled systems
  • Provably correct control design for safety-critical systems
  • Optimization-based motion planning
  •  Vision-based control

News