Our paper on polytopic trees for verification of learning-based controllers will appear in NSV 2019, New York. Continue reading Paper to appear in NSV 2019

Our paper on “Sampling-based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems” was accepted to ICRA 2019, Montreal, QC. Continue reading Paper Accepted to ICRA 2019

Our paper on “metrics for signal temporal logic formulae” was accepted to appear in the 2018 conference on decision and control (CDC), Miami beach, FL. We are currently working on finalizing the manuscript and also the accompanying software. Email me if you are interested. Continue reading Paper accepted to CDC 2018

Hello World! I launched my personal website. I will dedicate it mainly to my research and academic career. However, I plan to include other stuff in the long run as well. Continue reading Website Launched!

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! Continue reading Paper accepted to ACC 2018

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. Continue reading Paper accepted to HSCC 2018

I will present a poster on distributed set-invariance control at the 2nd 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/ Continue reading Poster in 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 Continue reading 3 Papers accepted to CDC 2017!

Our paper on “Provably Safe Cruise Control of Vehicular Platoons” will appear in IEEE control systems letter (L-CSS).  Continue reading Paper accepted to Control Systems Letter

Our paper on “Distributed Control Policies for Localization of Large Disturbances in Urban Traffic Networks” was accepted to ACC 2017, Seattle, WA! Continue reading Paper accepted to ACC 2017!