E-LIB Suche - Ergebnisse für: Adimoolam, Arvind

1

Safe Self-Triggered Control Based on Precomputed Reachabili..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Adimoolam, Arvind ; Saha, Indranil ; Dang, Thao - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

2

Using Intersection of Unions to Minimize Multi-directional ..:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,

Adimoolam, Arvind ; Saha, Indranil - p. 1-11 , 2022

Link: https://dl.acm.org/doi/1..

3

Edit distance modulo bisimulation : a quantitative measu..:

, In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems,

Zade, Himanshu ; Adimoolam, Santosh Arvind ; Gollapudi, Sai.. - p. 1757-1766 , 2014

Link: https://dl.acm.org/doi/1..

4

Safe Self-Triggered Control Based on Precomputed Reachabili..:

Adimoolam, Arvind ; Dang, Thao ; Saha, Indranil
info:eu-repo/semantics/altIdentifier/doi/10.1145/3575870.3587124. , 2023

Link: https://hal.science/hal-..

5

Safe Self-Triggered Control Based on Precomputed Reachabili..:

Adimoolam, Arvind ; Dang, Thao ; Saha, Indranil
info:eu-repo/semantics/altIdentifier/doi/10.1145/3575870.3587124. , 2023

Link: https://hal.science/hal-..

6

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Arvind ; Dang, Thao
https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a001/49. , 2022

Link: https://ojs.dagstuhl.de/..

7

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Arvind ; Dang, Thao
Is Part Of LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2. , 2022

Link: https://doi.org/10.4230/..

8

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Santosh Arvind ; Dang, Thao ; Adimoolam, Arvind
info:eu-repo/semantics/altIdentifier/doi/10.4230/LITES.8.2.1. , 2022

Link: https://hal.science/hal-..

9

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Santosh Arvind ; Dang, Thao ; Adimoolam, Arvind
hal-03477894. , 2021

Link: https://hal.archives-ouv..

10

A Calculus of Complex Zonotopes for Invariance and Stabilit..:

Adimoolam, Santosh Arvind
NNT: 2018GREAM027. , 2018

Link: https://tel.archives-ouv..

11

A Calculus of Complex Zonotopes for Invariance and Stabilit..:

Adimoolam, Santosh Arvind
http://www.theses.fr/2018GREAM027/document. , 2018

Link: http://www.theses.fr/201..

12

A Calculus of Complex Zonotopes for Invariance and Stabilit..:

Adimoolam, Santosh Arvind
NNT: 2018GREAM027. , 2018

Link: https://theses.hal.scien..

13

Parametrization of completeness in symbolic abstraction of ..:

Adimoolam, Santosh Arvind
http://arxiv.org/abs/1402.3928. , 2014

Link: http://arxiv.org/abs/140..