Zhennan Fei

Doktor at Chalmers, Electrical Engineering, Systems and control, Automation

Showing 24 publications

2017

Invariant-Based Supervisory Control of Switched Discrete Event Systems

Spyros Reveliotis, Zhennan Fei
IEEE Transactions on Automatic Control. Vol. 62 (2), p. 921-927
Journal article
2017

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

Spyros Reveliotis, Zhennan Fei
IEEE Transactions on Automation Science and Engineering. Vol. 14 (4), p. 1695 - 1711
Journal article
2015

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

Zhennan Fei, Knut Åkesson, S. Reveliotis
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 799-806
Paper in proceedings
2015

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Zhennan Fei, Spyros Reveliotis, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
Journal article
2015

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Zhennan Fei, K. Akesson, S. Reveliotis
Proceedings of the 53rd IEEE Annual Conference on Decision and Control, CDC 2014, Los Angeles, United States, 15-17 December 2014, p. 5935-5942
Paper in proceedings
2015

Symbolic Supervisory Control of Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Journal article
2014

Symbolic Representation and Computation of Timed Discrete-Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 6-19
Journal article
2014

Supervisory Control for State-Vector Transition Models—A Unified Approach

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Journal article
2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
IEEE Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Journal article
2014

A symbolic approach for maximally permissive deadlock avoidance in complex resource allocation systems

Zhennan Fei, Spyros Reveliotis, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 9 (3), p. 362-369
Paper in proceedings
2013

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper in proceedings
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Paper in proceedings
2012

Symbolic representation and computation of timed discrete event systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Report
2012

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Proceedings of the IEEE Conference on Decision and Control, p. 7352-7359
Paper in proceedings
2012

A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Paper in proceedings
2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Zhennan Fei, Knut Åkesson, Bengt Lennartson
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Paper in proceedings
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 444 - 449
Paper in proceedings
2011

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Zhennan Fei participates, but you have to be logged in as a Chalmers employee to see them.