Thanks @ASURobotics colleagues for the wonderful organization and lively discussion! @rao2z @asurobot @spring_berman @huang21608 @jd_knight @LindsaySanneman @jinwanxin @kunalgarg94 @JiefengS @Ransalu

I am an Editor for a new research topic, 'Formal Verification of Neural Networks-Based Control Architecture for Safety-Critical Autonomous Systems', which is now open for submissions in Frontiers in Control Engineering. Deadline: 04/20/26. More details:

Improving multirobot system safety: A new training method for multiagent systems from LIDS PI Chuchu Fan, grad students Songyuan Zhang, @oswinso, and postdoc @kunalgarg94 could help drone shows, warehouse robots, self-driving cars stay in the safety zone. https://t.co/BGpingtw5t

Engineers developed a training method for multiagent systems, such as large numbers of drones, that can guarantee their safe operation in crowded environments. The research could improve the safety of drone shows, warehouse robots, and self-driving cars. https://t.co/Bc6hrSgzLo

Our recent work from @mit_REALM was featured on the @MIT homepage https://t.co/bpoJNUMwnq This was a joint work with Songyuan and Oswin on learning a distributed graph CBF for safety of large-scale multi-robot systems, the paper appeared in TRO this month:

Proud moment for a control theory student to see their advisor giving the plenary @IEEECDC2024 #CDCMilan2024

Control theorist asking important questions regarding LLMs at the opening plenary @IEEECDC2024 #CDC2024

Congratulations to the youngest world chess champion in the history of the game 🎉🎉

I will be attending @IEEECDC2024 next week presenting my work on deadlock resolution for connected multi-robot system. Come say hi if you are interested in this line of work or if you are interested in the space robotics position @ASUEngineering

Also, I will be attending @IEEECDC2024.If you attending the conference and would like to discuss this position, hit me up.

If you are applying for #gradschool and have last-minute questions about your application, I'll offer office hours on zoom on November 7, 12:00pm-1:30pm EST at https://t.co/yMlrkBpDCf. bring your questions!

#L4DC2025 will take place at the University of Michigan, Ann Arbor on June 4-6, 2025! For more information, see https://t.co/pMIGidPaOV!

Life update: Very excited to announce that I am joining @ASUEngineering @SEMTEatASU as a tenure-track assistant professor in MAE program, starting Jan '25. I am hiring graduate students to work with me:

Congratulations to @DGukesh , youngest player to ever qualify for #FIDE #WorldChessChampionship What an inspiration, outplaying legends and winning the #fidecandidates2024 like a boss!! The future of chess is in good hands 🎉🥳🎉

This work is in collaboration with @mit_REALM members.

This survey reviews recent advances in control of multi-robot systems with a focus on learning-based methods with safety considerations. We provide an extensive review of distributed and centralized certificate-learning and RL-based methods; identify open problems and challenges.

Our survey paper titled "Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges" accepted in Annual Reviews in Control. ArXiv link:

This tutorial paper presents recent work from my Ph.D. group @UMRobotics extending the CBF theory to address practical challenges in the synthesis of safe controllers for autonomous robots. A good starting point for someone looking for advanced techniques using CBFs in robotics.

Our tutorial paper on "Advances in the Theory of Control Barrier Functions: Addressing Practical Challenges in Safe Control Synthesis for Autonomous and Robotic Systems" accepted in Annual Reviews in Control. ArXiv link:

In our recent survey, we review SOTA for learning-based control for multi-agent systems and their verification methods, with a detailed discussion on open challenges: https://t.co/rh1YNih6QE This is the first survey spanning across all domains of learning for MAS, not just MARL.