#ResearchArticle Our tool paper entitled "dtControl: Decision Tree Learning Algorithms for Controller Representation" got accepted at the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020).

Our regular paper entitled "Compositional Construction of Control Barrier Functions for Interconnected Control Systems" got accepted at the 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2020).

#ResearchArticle Our paper entitled "Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions" got accepted at the 21st IFAC World Congress 2020.

To get an idea about my research work, check my new website! pushpakjagtap.com

The way to correctly generate a random point on the surface of a unit sphere is not to pick uniform distributions θ in [0,2π) and φ in [0,π), but instead choose u and v from uniform distributions on [0,1). Then φ = cos⁻¹(2v-1) θ = 2πu

An Amazon article about our new tool “pFaces”: TUM researcher finds new approach to safety-critical systems using parallelized algorithms on AWS aws.amazon.com/blogs/publicse… via Amazon Web Services

The video of the talk I gave yesterday on our work on region specific interventions to mitigate #COVID19 recurrence in Italy is now available publicly at bit.ly/2Y2Zln3

#ResearchArticle Our paper titled "Software Fault Tolerance for Cyber-Physical Systems viaFull System Restart" got accepted at ACM Transactions on Cyber-Physical Systems. Preprint available at arxiv.org/pdf/1812.03546…

I started working as postdoctoral researcher at Division of Decision and Control Systems in KTH Royal Institute of Technology, Sweden with Prof. Dimos Dimarogonas.

youtu.be/UCmPmkHqHXk

Our paper on control barrier functions for unknown nonlinear systems using Gaussian processes with George Pappas and Majid Zamani got accepted as an invited session paper at the IEEE Conference on Decision and Control (CDC) 2020.

#ResearchArticle Our paper titled "Formal Synthesis of Stochastic Systems via Control Barrier Certificates" got accepted in IEEE Transaction on Automatic Control (TAC). The preprint is available at arxiv.org/pdf/1905.04585…

#ResearchArticle Our paper titled "Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach" got accepted at IEEE Transactions on Control of Network Systems (TCNS). The preprint is available at arxiv.org/abs/2002.02014

If you are working on the interface between Learning and Control, consider submitting your paper to the special issue of the IEEE Transactions on Automatic Control. Deadline is May 1, 2021. More information at ieeecss.org/publication/tr… IEEE CDC2020 NeurIPS Conference #l4dc

New video! Raising e to a matrix, from the dynamics of love to Shrödinger's equation. youtu.be/O85OWBJ2ayo

Our paper entitled, "Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints" got accepted at the IEEE Conference on Decision and Control (CDC) 2021.

Honoured to receive the Google India Research Award 2021.

Admission Announcement for PhD in CPS and MTech-RAS offered by RBCCPS, IISc, for the academic year.Find attached the flyers for complete information.Application Deadline:March 22,2022.For more details about the programs please visit:cps.iisc.ac.in/academics/

CyPhySS 2022- Sixth annual symposium on Cyber Physical Systems-28th to 30th July 2022,RBCCPS,IISc The goal of CyPhySS Symposia is to bring eminent researchers and students in the area of CPS together.For more details:cps.iisc.ac.in/cyphyss2022/