| Data-driven safety verification of stochastic systems via barrier certificates: A wait-and-judge approach A Salamati, M Zamani Learning for Dynamics and Control Conference, 441-452, 2022 | 40 | 2022 |
| Improvement of identification procedure using hybrid cuckoo search algorithm for turbine-governor and excitation system T Hosseinalizadeh, SM Salamati, SA Salamati, GB Gharehpetian IEEE Transactions on Energy Conversion 34 (2), 585-593, 2018 | 22 | 2018 |
| Data-driven verification and synthesis of stochastic systems via barrier certificates A Salamati, A Lavaei, S Soudjani, M Zamani Automatica 159, 111323, 2024 | 21 | 2024 |
| Data-driven verification of stochastic linear systems with signal temporal logic constraints A Salamati, S Soudjani, M Zamani Automatica 131, 109781, 2021 | 19 | 2021 |
| Leveraging adaptive model predictive controller for active cell balancing in Li-ion battery SM Salamati, SA Salamati, M Mahoor, FR Salmasi 2017 North American Power Symposium (NAPS), 1-6, 2017 | 19 | 2017 |
| Data-driven verification and synthesis of stochastic systems through barrier certificates A Salamati, A Lavaei, S Soudjani, M Zamani arXiv preprint arXiv:2111.10330, 2021 | 16 | 2021 |
| Safety verification of stochastic systems: A repetitive scenario approach A Salamati, M Zamani IEEE Control Systems Letters 7, 448-453, 2022 | 15 | 2022 |
| Data-driven verification under signal temporal logic constraints A Salamati, S Soudjani, M Zamani IFAC-PapersOnLine 53 (2), 69-74, 2020 | 14 | 2020 |
| Data-driven safety verification of discrete-time networks: A compositional approach N Noroozi, A Salamati, M Zamani IEEE Control Systems Letters 6, 2210-2215, 2021 | 9 | 2021 |
| Experimental identification and verification for a comprehensive model of multi-shaft combined cycle power plant SA Salamati, SM Salamati, FR Salmasi 2018 IEEE/IAS 54th Industrial and Commercial Power Systems Technical …, 2018 | 6 | 2018 |
| Robust control of a steam turbine power based on a precise nonlinear model SA Salamati, HD Taghirad, A Chaibakhsh 2014 5th Conference on Thermal Power Plants (CTPP), 12-18, 2014 | 3 | 2014 |
| Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems A Salamati lmu, 2023 | | 2023 |
| Fundamentals of Measurements in Instrumentations HD Taghirad, SA Salamati K.N.Toosi University of Technology 1, 389, 2015 | | 2015 |
| Gas turbine governor system verification via parameter identification SA Salamati, M Sharabyani ICCEE, Geneva, Switzerland, 2014 | | 2014 |
| Parameter Identification of Abbaspour hydro power plant governor SA Salamati, M Sharabyani For poster presentation in fifth Iran Rotate Conference(IRC), 2014 | | 2014 |
| Parameter Identification of Karun III hydro power plant governor SA Salamati For Case Study Section in fifth Iran Rotate Conference(IRC), 2014 | | 2014 |
| Parameter Identification of a hydro power plant governor SA Salamati, M Sharabyani 6 th Iranian Electrical Power Plants(IPGC), 2014 | | 2014 |
| Parameter Identification of Masjid Soleyman hydro power plant governor SA Salamati, M Ghazi Maghrebi, G Jahedi 28th International Iranian Power System Conference (PSC), 2013 | | 2013 |
| Precise modeling of Bonab power plant governor system SA Salamati, M Mostafavi 28th International Iranian Power System Conference (PSC), 2013 | | 2013 |
| Design of Design of a scheduling fuzzy controller for a steam power turbine with two valve mechanism SA Salamati, HD Taghirad, A Chaibakhsh 19th Iranian International Conference on Electrical Engineering (ICEE), 2011 | | 2011 |
Majid ZamaniAssociate Professor, University of Colorado BoulderZweryfikowany adres z colorado.edu