Sledovat
Mahmoud Salamati
Název
Citace
Citace
Rok
Data-driven abstraction-based control synthesis
M Kazemi, R Majumdar, M Salamati, S Soudjani, B Wooding
Nonlinear Analysis: Hybrid Systems 52, 101467, 2024
342024
ARCH-COMP19 category report: Stochastic modelling
A Abate, H Blom, N Cauchi, K Degiorgio, M Fraenzle, EM Hahn, ...
6th International Workshop on Applied Verification of Continuous and Hybrid …, 2019
312019
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
222018
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
202017
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
192018
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
The pseudo-Skolem problem is decidable
J D'Costa, T Karimov, R Majumdar, J Ouaknine, M Salamati, S Soudjani, ...
LIPIcs 202, 2021
142021
On decidability of time-bounded reachability in CTMDPs
R Majumdar, M Salamati, S Soudjani
arXiv preprint arXiv:2006.05498, 2020
122020
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
102022
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
82021
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
82018
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
Neural abstraction-based controller synthesis and deployment
R Majumdar, M Salamati, S Soudjani
ACM Transactions on Embedded Computing Systems 22 (5s), 1-25, 2023
52023
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
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
Regret-Free Reinforcement Learning for LTL Specifications
R Majumdar, M Salamati, S Soudjani
arXiv preprint arXiv:2411.12019, 2024
2024
Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
A Ghosh, M Salamati, S Soudjani
arXiv preprint arXiv:2411.08754, 2024
2024
Formal Controller Synthesis for Dynamical Systems: Decidability & Scalability
M Salamati
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2024
2024
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20