Santosh Arvind Adimoolam

According to our database, Santosh Arvind Adimoolam authored at least 3 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems. (Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides).

Santosh Arvind Adimoolam

PhD thesis, 2018

2014

Parametrization of completeness in symbolic abstraction of bounded input linear systems.

Santosh Arvind Adimoolam

Proceedings of the 22nd Mediterranean Conference on Control and Automation, 2014

Edit distance modulo bisimulation: a quantitative measure to study evolution of user models.

Himanshu Zade, Santosh Arvind Adimoolam, Sai Gollapudi, Anind K. Dey, Venkatesh Choppella

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014