1. Santosh Arvind Adimoolam. 2018. A calculus of complex zonotopes for invariance and stability verification of hybrid systems. Ph. D. Dissertation. Université Grenoble Alpes. Santosh Arvind Adimoolam. 2018. A calculus of complex zonotopes for invariance and stability verification of hybrid systems. Ph. D. Dissertation. Université Grenoble Alpes.
2. Santosh Arvind Adimoolam and Thao Dang . 2021. Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Transactions on Embedded Systems ( 2021 ). Santosh Arvind Adimoolam and Thao Dang. 2021. Safety Verification of Networked Control Systems by Complex Zonotopes. Leibniz Transactions on Embedded Systems (2021).
3. Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
4. Self-triggered state feedback control of linear plants under bounded disturbances
5. To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems