Our research investigates the automatic control of dynamic systems, with a strong emphasis on approaches that ensure formal safety guarantees. A key application area is spacecraft control, encompassing challenges such as on-orbit servicing, active debris removal, automated docking, and in-space assembly. In summary, our work covers the following topics:
- Spacecraft Control
- Formal Verification via Reachability Analysis
- Safe-By-Construction Controller Synthesis
- Safe Reinforcement Learning and Neural Network Verification
- Conformant System Identification
- Set-Based Computing
For a detailed description of the particular research topics, please visit Research.