About
Hello!
I am a doctoral student at Max Planck Institute for Software Systems. My advisor is Prof. Rupak Majumdar.
Publications
- Lazy Abstraction-Based Control for Safety Specifications with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck, CDC '18 (to appear). arXiv link.
- Lazy Abstraction-Based Control for Reachability with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck. arXiv link.
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems with Kyle Hsu, Rupak Majumdar and Anne-Kathrin Schmuck, HSCC '18. pdf link.
- Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems with Rupak Majumdar, Anne-Kathrin Schmuck and Sadegh Soudjani. arXiv link.
- Compositional Construction of Finite State Abstractions for Stochastic Control Systems with Rupak Majumdar, Sadegh Esmaeil Zadeh Soudjani and Anne-Kathrin Schmuck, CDC 2017. arXiv link.
- Supervisory controller synthesis for decomposable deterministic context free specification languages with Anne-Kathrin Schmuck. WODES 2016
Tools
-
Mascot: a tool for scalable correct-by-construction controller synthesis for continuous dynamical systems.
Teaching
-
Complexity Theory (teaching assistant), TU-Kaiserslautern, Winter 2017.
Supervised Undergrad Students
-
Kyle Hsu, Scalable Abstraction-Based Control, MPI-SWS, Summer 2017.