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

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

News

  • Nov 2024: ARC Lab researcher Abigail Winn was awarded the Faustin-Prinz Undergraduate Research Fellowship. News from COE.
  • May 2024: Yanze Liu successfully defended his MS thesis “Contract-based Multi-rate Control Design”.
  • Sep 2023: Hang Zhang successfully passed his PhD Qualifying Examination.
  • Aug 2023: Sequoyah Walters successfully defended his MS thesis “Vision-based Autonomous Landing of a Quadcopter with Field-of-view Constraints”.
  • Apr 2023: ARC Lab received the Honorable Mention Award in the research group category in Engineering Expo 2023.
  • Feb 2023: Prof. Xiangru Xu received National Science Foundation CAREER Award “Towards Hierarchical and Provably Safe Control for Learning-Enabled Autonomous Systems”. News from COE.
  • Sep 2022: Yujie Wang successfully passed his PhD Qualifying Examination.
  • Sep 2022: ARC Lab received a National Science Foundation grant “The Future of Trucking: Pathways to Positive Societal Outcomes”.  News from COE.
  • July 2022: ARC Lab received a National Science Foundation grant “Simulating Autonomous Agents and the Human-Autonomous Agent Interaction”. News from COE.
  • May 2022: Victor Freire successfully defended his MS thesis “FlatVCP: Safe & Efficient Optimal Control of Flat Systems Based on B-Spline Optimization”.
  • May 2022: ARC Lab researcher William Dong was awarded Hilldale Undergraduate/Faculty Fellowship. The project is about building and controlling a modular aerial-terrestrial autonomous robot. News from ME.
  • Sep 2021: Yuhao Zhang successfully passed his PhD Qualifying Examination.
  • April 2021: UW is selected as one of the ten teams to participate in the SAE AutoDrive Challenge II Competition. We are excited to design and integrate our own autonomous vehicle system, based on a Chevrolet Bolt EUV vehicle, into a fully autonomous vehicle over the next four years. Dr. Glenn Bower and Prof. Xiangru Xu will be the faculty advisors of the Wisconsin Team.  News from ME and news from SAE.
  • Sep 2019: Our paper “Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control” received the IEEE Transactions on Automation Science and Engineering Best New Application Paper Award from IEEE Robotics & Automation Society. News from ME.