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 | 80 | 2011 |
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 | 62 | 2011 |
Formal Methods in Manufacturing CRC Press, 2014 | 50* | 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 | 49 | 2008 |
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 | 45 | 2012 |
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 | 31 | 2008 |
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 | 27 | 2014 |
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 | 23 | 2014 |
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 | 22 | 2010 |
Symbolic On-the-Fly Synthesis in Supervisory Control Theory S Miremadi, B Lennartson IEEE Transactions on Control Systems Technology, 1-12, 2016 | 17 | 2016 |
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 | 17 | 2014 |
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 | 17 | 2014 |
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. JL Eddeland, A Donzé, S Miremadi, K Åkesson ARCH, 267-274, 2020 | 14 | 2020 |
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 | 12 | 2020 |
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 | 12 | 2011 |
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 | 11 | 2018 |
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 | 11 | 2017 |
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 | 11 | 2014 |
Supervisor computation and representation: A case study K Åkesson, B Lennartson, M Fabian, S Miremadi IFAC Proceedings Volumes 43 (12), 275-280, 2010 | 11 | 2010 |
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 | 11 | 2006 |