Follow
Zhennan Fei
Zhennan Fei
Volvo Cars
Verified email at volvocars.com
Title
Cited by
Cited by
Year
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
312017
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
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, ...
IEEE Transactions on Automation Science and Engineering 11 (1), 33-47, 2013
162013
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
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
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
112013
Symbolic supervisory control of resource allocation systems
Z Fei
PQDT-Global, 2014
102014
Invariant-based supervisory control of switched discrete event systems
S Reveliotis, Z Fei
IEEE Transactions on Automatic Control 62 (2), 921-927, 2016
72016
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
72011
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
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
62011
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
52012
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
42015
Invariant-based supervisory control of switched Discrete Event Systems
S Reveliotis, Z Fei
IFAC-PapersOnLine 48 (27), 86-92, 2015
32015
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
32014
Supervisory Control Theory in System Safety Analysis
Y Selvaraj, Z Fei, M Fabian
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020
22020
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
22014
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables
Z Fei, S Miremadi, K Åkesson, B Lennartson
2012 IEEE International Conference on Automation Science and Engineering …, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20