E-LIB Suche - Ergebnisse für: Salamati, Ali

1

Data-driven verification and synthesis of stochastic system..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
Automatica. 159 (2024) - p. 111323 , 2024

Link: https://doi.org/10.1016/..

2

Machine learning and data-driven techniques for verificatio..:

Salamati, Ali , 2023

Link: https://nbn-resolving.de..

3

Safety Verification of Stochastic Systems: A Repetitive Sce..:

Salamati, Ali ; Zamani, Majid
IEEE Control Systems Letters. 7 (2023) - p. 448-453 , 2023

Link: https://doi.org/10.1109/..

4

Data-driven verification of stochastic linear systems with ..:

Salamati, Ali ; Soudjani, Sadegh ; Zamani, Majid
Automatica. 131 (2021) - p. 109781 , 2021

Link: https://doi.org/10.1016/..

5

Approximation of the multiplicatives on random multi-normed..:

Agarwal, Ravi P ; Saadati, Reza ; Salamati, Ali
Journal of Inequalities and Applications. 2017 (2017) 1 - p. , 2017

Link: https://doi.org/10.1186/..

6

Experimental identification and verification for a comprehe..:

, In: 2018 IEEE/IAS 54th Industrial and Commercial Power Systems Technical Conference (I&CPS),

Salamati, Seyed Ali ; Salamati, Seyed Mahmoud ; Salmasi, Farzad Rajaei - p. None , 2018

Link: https://doi.org/10.1109/..

7

Data-driven verification and synthesis of stochastic system..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
http://arxiv.org/abs/2111.10330. , 2021

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

8

Data-driven Safety Verification of Stochastic Systems via B..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
http://arxiv.org/abs/2112.12709. , 2021

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

9

Data-driven safety verification of stochastic systems via b..:

Salamati, Ali ; Lavaei, Abolfazl ; Soudjani, Sadegh.
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ifacol.2021.08.466. , 2021

Link: https://hdl.handle.net/2..

10

Data-Driven Verification under Signal Temporal Logic Constr..:

Salamati, Ali ; Soudjani, Sadegh ; Zamani, Majid
http://arxiv.org/abs/2005.05040. , 2020

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

11

Improvement of Identification Procedure Using Hybrid Cuckoo..:

Hosseinalizadeh, Teimour ; Salamati, S. Mahmoud ; Salamati, S. Ali.
http://arxiv.org/abs/1901.00408. , 2018

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

12

Leveraging Adaptive Model Predictive Controller for Active ..:

Salamati, Seyed Mahmoud ; Salamati, Seyed Ali ; Mahoor, Mohsen.
http://arxiv.org/abs/1706.06408. , 2017

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

13

Approximation of the multiplicatives on random multi-normed..:

Ravi P Agarwal ; Reza Saadati ; Ali Salamati
http://link.springer.com/article/10.1186/s13660-017-1478-9. , 2017

Link: https://doi.org/10.1186/..

14

DFT-details & atomic-scale MC/MD simulations and experiment..:

Alipanah, Nariman ; Dehghani, Ali ; Hossein Jafari Mofidabadi, Amir..
Journal of Molecular Liquids. 393 (2024) - p. 123554 , 2024

Link: https://doi.org/10.1016/..

15

Mango extract behavior as a potent corrosion inhibitor agai..:

Rahmani, Mohammad Hossein ; Dehghani, Ali ; Salamati, Masoumeh..
Journal of Industrial and Engineering Chemistry. 130 (2024) - p. 368-381 , 2024

Link: https://doi.org/10.1016/..