Follow
Zahra Ramezani
Title
Cited by
Cited by
Year
Controller design for voltage-source converter using LQG/LTR
MT Andani, H Pourgharibshahi, Z Ramezani, H Zargarzadeh
2018 IEEE Texas Power and Energy Conference (TPEC), 1-6, 2018
342018
Model Reference Adaptive Control for Robot Tracking Problem: Design & Performance Analysis
T Pourseif, MT Andani, Z Ramezani, M Pourgholi
International Journal of Control Science and Engineering 7 (1), 18-23, 2017
302017
Neuro-adaptive backstepping control of SISO non-affine systems with unknown gain sign
Z Ramezani, MM Arefi, H Zargarzadeh, MR Jahed-Motlagh
ISA transactions 65, 199-209, 2016
252016
Observer-based adaptive robust control of nonlinear nonaffine systems with unknown gain sign
MM Arefi, Z Ramezani, MR Jahed-Motlagh
Nonlinear Dynamics 78, 2185-2194, 2014
222014
Observer-Based Sliding Mode Control for Path Tracking of a Spherical Robot
M Taheri Andani, Z Ramezani, S Moazami, J Cao, MM Arefi, ...
Complexity 2018, 2018
202018
Using valued booleans to find simpler counterexamples in random testing of cyber-physical systems
K Claessen, N Smallbone, J Eddeland, Z Ramezani, K Åkesson
IFAC-PapersOnLine 51 (7), 408-415, 2018
192018
Neuro observer-based control of pure feedback MIMO systems with unknown control direction
Z Ramezani, MM Arefi, H Zargarzadeh, MR Jahed-Motlagh
IET Control Theory & Applications 11 (2), 213-224, 2017
182017
Robust control of a spherical mobile robot
MT Andani, Z Ramezani
International Research Journal of Engineering and Technology 4 (9), 137-140, 2017
162017
Risk functions oriented autonomous overtaking
D Moser, Z Ramezani, D Gagliardi, J Zhou, L del Re
2017 11th Asian Control Conference (ASCC), 1017-1022, 2017
152017
Testing Cyber–Physical Systems Using a Line-Search Falsification Method
Z Ramezani, K Claessen, N Smallbone, M Fabian, K Åkesson
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2021
132021
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Z Ramezani, JL Eddeland, K Claessen, M Fabian, K Åkesson
IFAC-PapersOnLine 53 (4), 417-422, 2020
122020
Enhancing temporal logic falsification with specification transformation and valued booleans
JL Eddeland, K Claessen, N Smallbone, Z Ramezani, S Miremadi, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
112020
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
Z Ramezani, A Donzé, M Fabian, K Åkesson
ARCH@ ADHS, 195-202, 2021
92021
Controller Design of Voltage Source Converter Using Nyquist Array
H Pourgharibshahi, MT Andani, Z Ramezani, K Yousefpour, T Pourseif, ...
2018 Clemson University Power Systems Conference (PSC), 1-6, 2018
82018
Design of H-infinity controller for wind turbine in the cold weather conditions
T Pourseif, T Atuwwo, SA Doniqi, MT Andani, K Yousefpour, ...
2018 Clemson University Power Systems Conference (PSC), 1-6, 2018
72018
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Z Ramezani, J Krook, Z Fei, M Fabian, K Akesson
2019 18th European Control Conference (ECC), 1752-1759, 2019
62019
Hierarchical steady-state availability evaluation of dynamic fault trees through equal Markov model
Z Ramezani, GR Latif-Shabgahi, P Khajeie, K Aslansefat
2016 24th Iranian Conference on Electrical Engineering (ICEE), 1848-1854, 2016
62016
Falsification of cyber-physical systems using bayesian optimization
Z Ramezani, K Šehić, L Nardi, K Åkesson
arXiv preprint arXiv:2209.06735, 2022
32022
On Optimization-Based Falsification of Cyber-Physical Systems
Z Ramezani
Chalmers University of Technology, 2022
32022
Evaluating Two Semantics for Falsification using an Autonomous Driving Example
Z Ramezani, N Smallbone, M Fabian, K Åkesson
2019 IEEE 17th International Conference on Industrial Informatics (INDIN) 1 …, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20