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
International Conference on Computer Aided Verification, 483-503, 2017
412017
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
Augmented complex zonotopes for computing invariants of affine hybrid systems
A Adimoolam, T Dang
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
32017
A calculus of complex zonotopes for invariance and stability verification of hybrid systems
SA Adimoolam
Université Grenoble Alpes, 2018
22018
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
Template complex zonotope based stability verification
A Adimoolam, T Dang
Control Subject to Computational and Communication Constraints, 83-96, 2018
12018
Template complex zonotopes for stability and invariant verification
A Adimoolam, T Dang
2017 American Control Conference (ACC), 2544-2549, 2017
12017
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
2022
Safety Verification of Networked Control Systems by Complex Zonotopes
SA Adimoolam, T Dang, A Adimoolam
Leibniz Transactions on Embedded Systems, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–10