Arvind Adimoolam
Cited by
Cited by
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
Using complex zonotopes for stability verification
AS Adimoolam, T Dang
2016 American Control Conference (ACC), 4269-4274, 2016
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
A calculus of complex zonotopes for invariance and stability verification of hybrid systems
SA Adimoolam
Université Grenoble Alpes, 2018
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
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
Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
A Adimoolam, I Saha
25th ACM International Conference on Hybrid Systems: Computation and Control …, 2022
Safety Verification of Networked Control Systems by Complex Zonotopes
SA Adimoolam, T Dang, A Adimoolam
Leibniz Transactions on Embedded Systems, 2021
Template complex zonotope based stability verification
A Adimoolam, T Dang
Control Subject to Computational and Communication Constraints: Current …, 2018
Template complex zonotopes for stability and invariant verification
A Adimoolam, T Dang
2017 American Control Conference (ACC), 2544-2549, 2017
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
The system can't perform the operation now. Try again later.
Articles 1–11