Our paper on “Distributed Robust Set-Invariance for Interconnected Linear Systems” was accepted to appear in the proceedings of, the 2018 American Control Conference (ACC), Milwaukee, WI, USA, June 27-29, 2018!

Looking forward to be there!

Our paper on "Formal Guarantees in Data-Driven Model identification and Control Synthesis" is accepted to appear in Hybrid Systems: Computation and Control Conference (HSCC) 2018, Porto, Portugal!

Feel free to email me for preprint.

I will present a poster on distributed set-invariance control at the 2^nd Symposium on the COntrol of NEtwork Systems (SCONES), which will be held on Monday, October 16 and Tuesday, October 17, 2017, at the Photonics Center, Room 906, on the campus of Boston University in Boston, Massachusetts, USA. 

Check here for more inforamtion: http://sites.bu.edu/tcns/scones-2017/

All three submissions, titled below, were accepted to appear in 56th IEEE Conference on Decision and Control (CDC), 2017, Melbourne, Australia.

• Formal Methods for Adaptive Control of Dynamical
  Systems
• Dynamic Contracts for Distributed Temporal Logic
  Control of Traffic Networks
• Provably Safe Cruise Control of Vehicular
  Platoons

Our paper on "Provably Safe Cruise Control of Vehicular Platoons" will appear in IEEE control systems letter (L-CSS). 

Our paper on ``Distributed Control Policies for Localization of Large Disturbances in Urban Traffic Networks" was accepted to ACC 2017, Seattle, WA!

Our paper on Formal Synthesis of Distributed Optimal Traffic Control Policies has been accepted to the International Conference on Cyber-Physical Systems (ICCPS) that will be held as part of CPS Week 2017.  

Three papers has been accepted to the 55th conference on decision and control (CDC), 2016, in Las Vegas, NV! Check my publications.

Our paper (extended abstract) on controlled invariance of monotone systems will be presented in MTNS 2016 in Minneapolis, July 12-15.