About
Hi! I am a postdoc at ISTA (Institute of Science and Technology Austria) in Thomas A. Henzinger's group.
I completed my PhD in 2022 from MPI-SWS (Max Planck Institute for Software Systems), Germany. My PhD advisor was Prof. Rupak Majumdar.
I completed B.Tech in Electrical Engineering from Meghnad Saha Institute of Technology (India) in 2012 and M.Tech in System and Control from Indian Institute of Technology, Roorkee (India) in 2015. During my M.Tech, I was visiting TU-Berlin (Germany) for one semester (winter 2014-'15) to work on my master thesis under the supervision of Anne-Kathrin Schmuck and Prof. Jörg Raisch.
I did an internship at MPI-SWS with Prof. Rupak Majumdar for three months in 2015, before joining as a PhD student with him in 2016.
Contact
ISTA
Am Campus 1,
3400 Klosterneuburg,
Austria
Email: <firstname>.<lastname>@ist.ac.at
Skype: kaushik_mallik
Research Interests
My research interests are in formal verification and control of dynamical systems, which are either continuous or discrete, stochastic or non-stochastic, and with a distributed or a monolithic structure. Please refer to my recent publications to know more.Invited Talks
- A Negotiation Framework for Distributed Reactive Synthesis, Games and Equilibria in System Design and Analysis (workshop), Simons Institute for the Theory of Computing, Berkeley, USA.
Publications
Preprints
- Symbolic Control for Stochastic Systems via Finite Parity Games* with Rupak Majumdar, Anne-Kathrin Schmuck, and Sadegh Soudjani, 2021. Submitted to IEEE TAC and a shorter version appeared in the proceedings of ADHS 2021.
- Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness* with Tamajit Banerjee, Rupak Majumdar, Anne-Kathrin Schmuck, and Sadegh Soudjani, 2021. MPI Technical Report.
Journals and Book Chapters
- Abstraction-Based Control Design (Lecture Notes)* with Rupak Majumdar and Anne-Kathrin Schmuck, Engineering Secure and Dependable Software Systems 53 (2019): 117.
- Compositional Synthesis of Finite-State Abstractions* with Rupak Majumdar, Anne-Kathrin Schmuck and Sadegh Soudjani, IEEE Transactions on Automatic Control, 2018. (arXiv)
- Efficiency and cost optimized design of an induction motor using genetic algorithm with Srikumar Mallik, Amal Barman, Dipten Maiti, Sujit K Biswas, Nirmal K Deb, and Sujay Basu, IEEE Transactions on Industrial Electronics, 2017.
Invited Papers
- Lazy Abstraction-Based Controller Synthesis* with Kyle Hsu, Rupak Majumdar, and Anne-Kathrin Schmuck, ATVA 2019.
Peer-reviewed Conferences and Workshops
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games* with Tamajit Banerjee, Rupak Majumdar, Anne-Kathrin Schmuck, and Sadegh Soudjani, TACAS 2022. (PDF) - Was nominated for the EATCS best paper award at ETAPS 2022
- Symbolic Reach-Avoid Control of Multi-Agent Systems* with Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, and Mehrdad Zareian, ICCPS 2021. (PDF)
- Assume-Guarantee Distributed Synthesis* with Rupak Majumdar, Anne-Kathrin Schmuck, and Damien Zufferey, EMSOFT 2020. (PDF | talk video)
- Resilient Abstraction-Based Controller Design with Stanly Samuel, Anne-Kathrin Schmuck, and Daniel Neider, CDC 2020.
(PDF | Poster) - Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances with Yunjun Bai, ICFEM 2020. (PDF)
- Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems* with Rupak Majumdar and Sadegh Soudjani, 2019. (arXiv | talk video) - Was nominated for the ACM SIGBED best paper award at HSCC 2020
- Incremental Abstraction Computation
for Symbolic Controller Synthesis in a Changing Environment with Yunjun Bai, Anne-Kathrin Schmuck, Damien Zufferey, and Rupak Majumdar, CDC 2019. (PDF)
- Lazy Abstraction-Based Control for Safety Specifications* with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck, CDC 2018. (arXiv)
- Lazy Abstraction-Based Control for Reachability* with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck. (arXiv)
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems* with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck, HSCC 2018. (PDF)
- Compositional Construction of Finite State Abstractions for Stochastic Control Systems with Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani and Anne-Kathrin Schmuck, CDC 2017. (arXiv)
- Supervisory controller synthesis for decomposable deterministic context free specification languages with Anne-Kathrin Schmuck, WODES 2016.
Phd Thesis
Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems, 2022.External links:
Google Scholar | DBLP | Researchgate* Papers with alphabetically sorted list of authors. If you are wondering why this is meaningful, check out this 2004 statement of American Mathematical Society.
Tools
- Agnes: a tool for computing assume-guarantee contracts in a distributed reactive synthesis setting.
- Mascot: a tool for scalable correct-by-construction controller synthesis for continuous dynamical systems.
- Mascot-SDS: an extension of Mascot for synthesis of correct-by-construction controller for stochastic dynamical systems.
Teaching
Assisted in teaching the following courses:- Logic and Verification Seminar (teaching assistant), TU-Kaiserslautern, Summer 2019.
- Complexity Theory (teaching assistant), TU-Kaiserslautern, Winter 2017-18.
Supervised Bachelor's/Master's Students
- Kyle Hsu, now at Stanford University, USA.
- Mehrdad Zareian, TU-Kaiserslautern, Germany.
- Tamajit Banerjee, IIT Delhi, India.
- Mateusz Rychlicki, University of Warsaw, Poland.
- Munko Tsyrempilon, TU-Kaiserslautern, Germany.
Professional Activities
- PC member: Posters/Demos HSCC 2021, WIP Abstracts ICCPS 2022.
- Conference reviewer: CDC {2017-'20, 2022}, ACC 2019, ECC 2019.
- Conference sub-reviewer: FSTTCS 2020, HSCC {2018, 2019}, ATVA 2019, CAV 2019.
- Journal reviewer: IEEE TAC (2018), IEEE L-CSS (2020, 2022), SIAM SICON (2018), Springer DEDS (2018), Elsevier NAHS (2020, 2021).