| Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages S Reveliotis, Z Fei IEEE Transactions on Automation Science and Engineering 14 (4), 1695 - 1711, 2017 | 32 | 2017 |
| 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 |
| 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 | 19 | 2014 |
| Supervisory control for state-vector transition models—A unified approach B Lennartson, F Basile, S Miremadi, Z Fei, MN Hosseini, M Fabian, ... IEEE Transactions on Automation Science and Engineering 11 (1), 33-47, 2013 | 17 | 2013 |
| 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 |
| Symbolic representation and computation of timed discrete-event systems S Miremadi, Z Fei, K Åkesson, B Lennartson IEEE Transactions on Automation Science and Engineering 11 (1), 6-19, 2013 | 11 | 2013 |
| Symbolic supervisory control of resource allocation systems Z Fei PQDT-Global, 2014 | 10 | 2014 |
| Invariant-based supervisory control of switched discrete event systems S Reveliotis, Z Fei IEEE Transactions on Automatic Control 62 (2), 921-927, 2016 | 9 | 2016 |
| 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 | 7 | 2019 |
| EFFICIENT SYMBOLIC SUPERVISORY SYNTHESIS AND GUARD GENERATION-Evaluating Partitioning Techniques for the State-space Exploration Z Fei, S Miremadi, K Åkesson, B Lennartson International Conference on Agents and Artificial Intelligence 2, 106-115, 2011 | 7 | 2011 |
| Symbolic reachability computation using the disjunctive partitioning technique in supervisory control theory Z Fei, K Åkesson, B Lennartson 2011 IEEE International Conference on Robotics and Automation, 4364-4369, 2011 | 6 | 2011 |
| Efficient supervisory synthesis to large-scale discrete event systems modeled as extended finite automata Z Fei, S Miremadi, K Åkesson, B Lennartson Chalmers University of Technology, 2012 | 5 | 2012 |
| Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques Z Fei, K Åkesson, S Reveliotis 2015 IEEE International Conference on Automation Science and Engineering …, 2015 | 4 | 2015 |
| Invariant-based supervisory control of switched Discrete Event Systems S Reveliotis, Z Fei IFAC-PapersOnLine 48 (27), 86-92, 2015 | 3 | 2015 |
| Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software Z Fei, K Åkesson, S Reveliotis 53rd IEEE Conference on Decision and Control, 5935-5942, 2014 | 3 | 2014 |
| Supervisory Control Theory in System Safety Analysis Y Selvaraj, Z Fei, M Fabian Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020 | 2 | 2020 |
| A symbolic approach for maximally permissive deadlock avoidance in complex resource allocation systems Z Fei, S Reveliotis, K Åkesson IFAC Proceedings Volumes 47 (2), 362-369, 2014 | 2 | 2014 |
| Symbolic state-space exploration and guard generation in supervisory control theory Z Fei, S Miremadi, K Åkesson, B Lennartson Agents and Artificial Intelligence: Third International Conference, ICAART …, 2013 | 2 | 2013 |
Knut ÅkessonChalmers University of TechnologyZweryfikowany adres z chalmers.se