Arvind S. Adimoolam

According to our database, Arvind S. Adimoolam authored at least 5 papers between 2016 and 2022.

Collaborative distances:

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

2022

Safety Verification of Networked Control Systems by Complex Zonotopes.

Arvind S. Adimoolam, Thao Dang

Leibniz Trans. Embed. Syst., 2022

2017

Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems.

Arvind S. Adimoolam, Thao Dang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.

Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Template complex zonotopes for stability and invariant verification.

Arvind S. Adimoolam, Thao Dang

Proceedings of the 2017 American Control Conference, 2017

2016

Using complex zonotopes for stability verification.

Arvind S. Adimoolam, Thao Dang

Proceedings of the 2016 American Control Conference, 2016