Current projects

CAREER: Hierarchical Abstractions for Planning and Control of Robotic Swarms (NSF IIS, PI: C. Belta)

Scalable algorithms for safety verification and reachability analysis of hybrid systems (NSF EHS, PI: C. Belta, co-PIs: V. Kumar and A. Jadbabaie)
 

Past projects

Collaborative Research: Rational Design of Synthetic Gene Networks using Formal Analysis of Hybrid Systems (NSF EMT, PIs: C. Belta and R. Weiss)