Follow
Sajed Miremadi, Ph.D.
Sajed Miremadi, Ph.D.
Volvo Cars Corporation
Verified email at volvocars.com
Title
Cited by
Cited by
Year
A BDD-based approach for modeling plant and supervisor by extended finite automata
S Miremadi, B Lennartson, K Akesson
IEEE Transactions on Control Systems Technology 20 (6), 1421-1435, 2011
762011
Symbolic computation of reduced guards in supervisory control
S Miremadi, K Akesson, B Lennartson
IEEE Transactions on Automation Science and Engineering 8 (4), 754-765, 2011
592011
Formal Methods in Manufacturing
CRC Press, 2014
49*2014
Extraction and representation of a supervisor using guards in extended finite automata
S Miremadi, K Akesson, B Lennartson
2008 9th International Workshop on Discrete Event Systems, 193-199, 2008
492008
Sequence planning using multiple and coordinated sequences of operations
K Bengtsson, P Bergagard, C Thorstensson, B Lennartson, K Akesson, ...
IEEE Transactions on Automation Science and Engineering 9 (2), 308-319, 2012
452012
Solving two supervisory control benchmark problems using Supremica
S Miremadi, K Akesson, M Fabian, A Vahidi, B Lennartson
2008 9th International Workshop on Discrete Event Systems, 131-136, 2008
302008
A BDD-based approach for designing maximally permissive deadlock avoidance policies for complex resource allocation systems
Z Fei, S Reveliotis, S Miremadi, K Åkesson
IEEE Transactions on Automation Science and Engineering 12 (3), 990-1006, 2014
232014
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
222014
Automatic generation of controllers for collision-free flexible manufacturing systems
MR Shoaei, B Lennartson, S Miremadi
2010 IEEE International Conference on Automation Science and Engineering …, 2010
212010
Symbolic supervisory control of timed discrete event systems
S Miremadi, Z Fei, K Åkesson, B Lennartson
IEEE Transactions on Control Systems Technology 23 (2), 584-597, 2014
172014
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
162014
Symbolic On-the-Fly Synthesis in Supervisory Control Theory
S Miremadi, B Lennartson
IEEE Transactions on Control Systems Technology, 1-12, 2016
142016
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
JL Eddeland, A Donzé, S Miremadi, K Åkesson
ARCH, 267-274, 2020
122020
Modeling sequential resource allocation systems using extended finite automata
Z Fei, S Miremadi, K Åkesson
2011 IEEE International Conference on Automation Science and Engineering …, 2011
122011
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
Supervisory control of manufacturing systems using extended finite automata
M Fabian, Z Fei, S Miremadi, B Lennartson, K Åkesson
Formal methods in manufacturing, 295-314, 2018
112018
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
J Eddeland, S Miremadi, M Fabian, K Åkesson
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 1326 …, 2017
112017
Symbolic Representation and Computation of Timed Discrete-Event Systems
S Miremadi, Z Fei, K Akesson, B Lennartson
Automation Science and Engineering, IEEE Transactions on 11 (1), 6-19, 2014
112014
Supervisor computation and representation: A case study
K Åkesson, B Lennartson, M Fabian, S Miremadi
IFAC Proceedings Volumes 43 (12), 275-280, 2010
112010
Performance evaluation of a routing protocol for wireless sensor networks
SS Miremadi, M Fazeli, A Patooghy, SG Miremadi
2006 IFIP International Conference on Wireless and Optical Communications …, 2006
112006
The system can't perform the operation now. Try again later.
Articles 1–20