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
  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