Artykuły udostępnione publicznie: - Sajed Miremadi, Ph.D.Więcej informacji
Niedostępny w żadnym miejscu: 1
Supervisory Control for State-Vector Transition Models—A Unified Approach
B Lennartson, F Basile, S Miremadi, Z Fei, MN Hosseini, M Fabian, ...
Automation Science and Engineering, IEEE Transactions on 11 (1), 33-47, 2014
Upoważnienia: Swedish Research Council
Dostępne w jakimś miejscu: 5
Efficient symbolic supervisor synthesis for extended finite automata
Z Fei, S Miremadi, K Åkesson, B Lennartson
IEEE Transactions on Control Systems Technology 22 (6), 2368-2375, 2014
Upoważnienia: Swedish Research Council
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
JL Eddeland, A Donze, S Miremadi, K Åkesson
ARCH, 267-274, 2020
Upoważnienia: Swedish Research Council
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
Upoważnienia: Swedish Research Council
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.
JL Eddeland, S Miremadi, K Åkesson
ARCH, 259-266, 2020
Upoważnienia: Swedish Research Council
State-vector transition model applied to supervisory control
B Lennartson, S Miremadi, Z Fei, MN Hosseini, M Fabian, K Åkesson
Proceedings of 2012 IEEE 17th International Conference on Emerging …, 2012
Upoważnienia: Swedish Research Council
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy