Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Adimoolam, Santosh Arvind
9  Ergebnisse:
Personensuche X
?
1

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..
 
?
2

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Santosh Arvind ; Dang, Thao ; Adimoolam, Arvind
hal-03477894.  , 2021
Link: https://hal.archives-ouv..
 
?
3

Safety Verification of Networked Control Systems by Complex..:

Adimoolam, Santosh Arvind ; Dang, Thao ; Adimoolam, Arvind
hal-03477894.  , 2021
Link: https://hal.science/hal-..
 
?
4

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

Adimoolam, Santosh Arvind
NNT: 2018GREAM027.  , 2018
Link: https://tel.archives-ouv..
 
?
5

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

Adimoolam, Santosh Arvind
NNT: 2018GREAM027.  , 2018
Link: https://theses.hal.scien..
 
?
6

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

Parametrization of completeness in symbolic abstraction of ..:

Adimoolam, Santosh Arvind
http://arxiv.org/abs/1402.3928.  , 2014
Link: http://arxiv.org/abs/140..
 
?
8

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..
 
?
9

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..
 
1-9