Zhennan Fei

Doktor at Automation

Contact Details ORCID

Publications (27)
Projects (0)

Showing 27 publications

2020

Supervisory Control Theory in System Safety Analysis

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12235 LNCS, p. 9-22

Paper in proceeding

Show project

2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al

2019 18th European Control Conference, ECC 2019, p. 1752-1759

Paper in proceeding

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

IEEE International Conference on Automation Science and Engineering. Vol. 2015-October, p. 799-806

Paper in proceeding

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

2015

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

Zhennan Fei, Knut Åkesson, S. Reveliotis

Proceedings of the IEEE Conference on Decision and Control. Vol. 2015-February, p. 5935-5942

Paper in proceeding

2015

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

Zhennan Fei, Spyros Reveliotis, Sajed Miremadi et al

IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006

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

A correctness analysis for the algorithm presented in “Symbolic Computation of Boundary Unsafe States in Complex Resource Allocation Systems Using Partitioning Techniques”

Zhennan Fei, Knut Åkesson, Spyros Reveliotis

Report

2014

Supplement for the paper entitled “A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems”

Zhennan Fei, Spyros Reveliotis, Sajed Miremadi et al

Report

2014

Supervisory control of manufacturing systems using extended finite automata

Martin Fabian, Zhennan Fei, Sajed Miremadi et al

Formal Methods in Manufacturing, p. 295-314

Book chapter

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

Symbolic Supervisory Control of Resource Allocation Systems

Zhennan Fei

Doctoral thesis

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 proceeding

2013

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

Zhennan Fei, Spyros Reveliotis, Sajed Miremadi et al

Report

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 proceeding

2012

Efficient Supervisory Synthesis to Large-Scale Discrete Event Systems Modeled as Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al

Report

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 proceeding

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 proceeding

2012

On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables

Zhennan Fei

Licentiate thesis

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 proceeding

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 proceeding

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 proceeding

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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.