Our research group integrates control theory, formal methods, and game theory to construct robust and provably correct autonomous robots and cyber-physical systems with a holistic dynamic and epistemic model of the world.
- Control theory + Formal methods: “Given the dynamic, uncontrollable environment of the robot, how to make intelligent decisions to achieve the task in high-level temporal logic”
- Control theory + Learning: “Given a stochastic system with unknown dynamics, how to adapt the control strategy to achieve the optimal performance?”
- Game theory + Information theory: “In the presence of adversarial environments, how to leverage the asymmetric information to ensure the security and safety of the robotic systems?” “How to control the bi-directional information flow for planning in cooperative and noncooperative environments?”
Our research is supported by the following:
 |
 |
 |
 |
 |