Hello, I’m Mahendra.
I did PostDoctoral research at HyConSys Lab. in the Department of Computer Science, University of Colorado Boulder from 2021 to 2023.
I received PhD degree from Department of Computer Science Ludwig Maximilian University of Munich; M.Tech. degree (Electrical Engineering) from Indian Institute of Technology Roorkee, India; and B.Tech. degree (Electrical Engineering) from Indian Institute of Technology (ISM) Dhanbad, India. During masters, I was at Technical University of Munich for 6 months, supported by DAAD scholarship, to work on masters thesis. My current research focuses on control under data-rate constraints.
PhD thesis: Invariance feedback entropy of uncertain nonlinear control systems.
M.Tech. thesis: Experimental Evaluation of Methods of Reachable Set Computation in Context of Symbolic Controller Synthesis
For the list of publications, visit Google Scholar.
Projects:
- Numerical over-approximation of, optimal feedback data rate for set invariance, via finite abstractions
Automated lane keeping and obstacle avoidance for vehicles using symbolic controllers
Time to access symbolic control input via Scarab (a microarchitecture simulator)
- SymReach: a C++ tool for the computation of over-approximation of reachable sets of continuous time nonlinear systems.