Arvind Adimoolam

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (7)

• Safe Self-Triggered Control Based on Precomputed Reachability Sequences
  Arvind S. Adimoolam, Indranil Saha, Thao Dang
  Hscc 2023 Proceedings of the 26th ACM International Conference on Hybrid Systems Computation and Control Part of Cps Iot Week 2023 DOI: 10.1145/3575870.3587124
  +Save
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
  Hscc 2022 Proceedings of the 25th ACM International Conference on Hybrid Systems Computation and Control Part of Cps Iot Week 2022 2022 DOI: 10.1145/3501710.3519524
  +Save
• Template complex zonotope based stability verification
  Lecture Notes in Control and Information Sciences 2018 DOI: 10.1007/978-3-319-78449-6_5
  +Save
• Augmented complex zonotopes for computing invariants of affine hybrid systems
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2017 DOI: 10.1007/978-3-319-65765-3_6
  +Save
• Classification and coverage-based falsification for embedded control systems
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 2017 DOI: 10.1007/978-3-319-63387-9_24
  +Save
• Template complex zonotopes for stability and invariant verification
  Proceedings of the American Control Conference 2017 DOI: 10.23919/ACC.2017.7963335
  +Save
• Using complex zonotopes for stability verification
  Proceedings of the American Control Conference 2016 DOI: 10.1109/ACC.2016.7525593
  +Save