Fanxin Kong

Dr. Kong’s research addresses security, safety, real-time, and resource-efficiency for Cyber-Physical Systems, through techniques of machine learning, formal methods, control, optimization, and algorithm design, with applications to autonomous systems such as self-driving cars and drones.

• Security: attack detection, recovery, and hidden attacks.
• Safety: safe and timing-critical control.
• Real-time and resource management: energy-efficiency, workload scheduling, and mechanism design.
• Multi-agent CPS: trajectory planning and task allocation.