Embedded Files
Researcher: Verification of Cyber-physical systems
I design algorithms to verify correctness of cyber-physical systems when there is uncertainty in model parameters and environment inputs. Some interesting research is described below.
- Complex zonotope, a new set representation developed during my PhD that uses complex eigenstructure to verify correctness of hybrid systems.
- Using machine learning to intelligently search counterexamples of cyber-physical systems.
Google Sites
Report abuse