Follow
Arvind Adimoolam
Title
Cited by
Cited by
Year
Classification and coverage-based falsification for embedded control systems
A Adimoolam, T Dang, A Donzé, J Kapinski, X Jin
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
482017
Using complex zonotopes for stability verification
AS Adimoolam, T Dang
2016 American Control Conference (ACC), 4269-4274, 2016
72016
Edit distance modulo bisimulation: a quantitative measure to study evolution of user models
H Zade, SA Adimoolam, S Gollapudi, AK Dey, V Choppella
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2014
62014
Safety verification of networked control systems by complex zonotopes
SA Adimoolam, T Dang, A Adimoolam
Leibniz Transactions on Embedded Systems, 2021
32021
A calculus of complex zonotopes for invariance and stability verification of hybrid systems
SA Adimoolam
Université Grenoble Alpes, 2018
32018
Augmented complex zonotopes for computing invariants of affine hybrid systems
A Adimoolam, T Dang
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
32017
Template complex zonotopes: a new set representation for verification of hybrid systems
AS Adimoolam, T Dang
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
22016
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
A Adimoolam, I Saha
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
12022
Template complex zonotope based stability verification
A Adimoolam, T Dang
Control Subject to Computational and Communication Constraints: Current …, 2018
12018
Template complex zonotopes for stability and invariant verification
A Adimoolam, T Dang
2017 American Control Conference (ACC), 2544-2549, 2017
12017
Safe Self-Triggered Control Based on Precomputed Reachability Sequences
A Adimoolam, I Saha, T Dang
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–11