Decomposition of Dynamical Systems for Reachability Analysis

Reachability analysis provides optimal control and guarantees for safety-critical dynamic systems.However, the computational complexity of reachability analysis grows exponentially with system dimension, making this method intractable for high-dimensional or multi-agent systems.We are working on finding approximate and exact solutions to high-dimensional reachability problems by decomposing systems into multiple subsystems.These subsystems can be solved separately, then recombined to provide full system information.This allows us to analyze high-dimensional systems to provide performance and safety guarantees along with optimal control policies.

Faculty Associated: 

  • Claire Tomlin


  • Sylvia Herbert