Follow
Mahmoud Salamati
Title
Cited by
Cited by
Year
Data-driven abstraction-based control synthesis
M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding
Nonlinear Analysis: Hybrid Systems 52, 101467, 2024
302024
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
202018
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
182017
Experimental battery monitoring system design for electric vehicle applications
SM Salamati, CS Huang, B Balagopal, MY Chow
2018 IEEE International Conference on Industrial Electronics for Sustainable …, 2018
162018
Smart energy management for a micro-grid with consideration of demand response plans
M Mahoor, N Iravani, SM Salamati, A Aghabali, A Rahimi-Kian
2013 Smart Grid Conference (SGC), 125-130, 2013
162013
ARCH-COMP19 category report: Stochastic modelling
A Abate, HAP Blom, N Cauchi, K Degiorgio, M Franzle, EM Hahn, ...
6th International Workshop on Applied veRification for Continuous and Hybrid …, 2019
142019
On decidability of time-bounded reachability in CTMDPs
R Majumdar, M Salamati, S Soudjani
arXiv preprint arXiv:2006.05498, 2020
122020
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
112021
The pseudo-reachability problem for diagonalisable linear dynamical systems
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, J Worrell
arXiv preprint arXiv:2204.12253, 2022
72022
Approximate time bounded reachability for CTMCs and CTMDPs: a Lyapunov approach
M Salamati, S Soudjani, R Majumdar
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
72018
Symbolic reach-avoid control of multi-agent systems
R Majumdar, K Mallik, M Salamati, S Soudjani, M Zareian
Proceedings of the ACM/IEEE 12th international conference on cyber-physical …, 2021
62021
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
62018
A Lyapunov approach for time-bounded reachability of CTMCs and CTMDPs
M Salamati, S Soudjani, R Majumdar
ACM Transactions on Modeling and Performance Evaluation of Computing Systems …, 2020
52020
Neural abstraction-based controller synthesis and deployment
R Majumdar, M Salamati, S Soudjani
ACM Transactions on Embedded Computing Systems 22 (5s), 1-25, 2023
42023
Memory-efficient mixed-precision implementations for robust explicit model predictive control
M Salamati, R Salvia, E Darulova, S Soudjani, R Majumdar
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-19, 2019
42019
Perception-in-the-loop adversarial examples
M Salamati, S Soudjani, R Majumdar
arXiv preprint arXiv:1901.06834, 2019
42019
A dynamic GA-based approach for optimal short-term operation of a micro-grid
M Bashari, M Salamati, M Tavakkolinia, A Rahimi-Kian
2013 21st Iranian Conference on Electrical Engineering (ICEE), 1-5, 2013
12013
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
M Salamati
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2024
2024
Smart energy management for a micro-grid with consideration of demand response plans
A Rahimi-Kian, A Aghabali, SM Salamati, N Iravani, M Mahoor
The system can't perform the operation now. Try again later.
Articles 1–19