I agree that this site is using cookies. You can find further informations here.
X
Nejati, Ameneh
24  results:
Search for persons X
?
1

Context-triggered Games for Reactive Synthesis over Stochas..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Nejati, Ameneh ; Prakash Nayak, Satya ; Schmuck, Anne-Kathrin - p. 1-12 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Formal Verification and Control of Stochastic Hybrid System..:

Nejati, Ameneh , 2023
Link: http://nbn-resolving.de/..
 
?
3

Estimation of Infinitesimal Generators for Unknown Stochast..:

Nejati, Ameneh ; Lavaei, Abolfazl ; Soudjani, Sadegh.
IEEE Control Systems Letters.  7 (2023)  - p. 223-228 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Data-Driven Synthesis of Safety Controllers via Multiple Co..:

Nejati, Ameneh ; Zamani, Majid
IEEE Control Systems Letters.  7 (2023)  - p. 2497-2502 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Formal Verification of Unknown Discrete- and Continuous-Tim..:

Nejati, Ameneh ; Lavaei, Abolfazl ; Jagtap, Pushpak..
IEEE Transactions on Automatic Control.  68 (2023)  5 - p. 3011-3024 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Compositional construction of control barrier functions for..:

Nejati, Ameneh ; Soudjani, Sadegh ; Zamani, Majid
Automatica.  145 (2022)  - p. 110513 , 2022
Link: https://doi.org/10.1016/..
 
?
7

Controller Synthesis for Unknown Polynomial-Type Systems: A..:

, In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
Nejati, Ameneh ; Zhong, Bingzhuo ; Caccamo, Marco. - p. 11-12 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Estimating infinitesimal generators of stochastic systems w..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Lavaei, Abolfazl ; Nejati, Ameneh ; Soudjani, Sadegh. - p. 1-2 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Compositional abstraction-based synthesis for continuous-ti..:

Nejati, Ameneh ; Soudjani, Sadegh ; Zamani, Majid
European Journal of Control.  57 (2021)  - p. 82-94 , 2021
Link: https://doi.org/10.1016/..
 
?
10

Formal safety verification of unknown continuous-time syste..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,
Lavaei, Abolfazl ; Nejati, Ameneh ; Jagtap, Pushpak. - p. 1-2 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

The effect of photonic crystal arrangement on metamaterial ..:

Nejati, Ameneh ; Zarrabi, Ferdows B. ; Rahimi, Maryam.
Optik - International Journal for Light and Electron Optics.  126 (2015)  19 - p. 2153-2156 , 2015
Link: https://doi.org/10.1016/..
 
?
12

Effect of photonic crystal and frequency selective surface ..:

Nejati, Ameneh ; Sadeghzadeh, Ramezan Ali ; Geran, Fatemeh
Physica B: Condensed Matter.  449 (2014)  - p. 113-120 , 2014
Link: https://doi.org/10.1016/..
 
?
13

Formal Verification and Control of Stochastic Hybrid System..:

Nejati, Ameneh
https://mediatum.ub.tum.de/1694827.  , 2023
Link: https://mediatum.ub.tum...
 
?
14

From Dissipativity Theory to Compositional Construction of ..:

Nejati, Ameneh ; Zamani, Majid
https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a006/54.  , 2022
Link: https://ojs.dagstuhl.de/..
 
?
15

From Dissipativity Theory to Compositional Construction of ..:

Nejati, Ameneh ; Zamani, Majid
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/..
 
1-15