Zhennan Fei

According to our database, Zhennan Fei authored at least 21 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Automated Pedestrian Tracking Based on Improved ByteTrack.

Qiuxing Zhang, Fanghua Yang, Feng Li, Zhennan Fei, Yingjiang Xie, Da Deng

Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

2020

Supervisory Control Theory in System Safety Analysis.

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.

Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson

Proceedings of the 17th European Control Conference, 2019

2017

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages.

Spyros A. Reveliotis, Zhennan Fei

IEEE Trans Autom. Sci. Eng., 2017

Invariant-Based Supervisory Control of Switched Discrete Event Systems.

Spyros A. Reveliotis, Zhennan Fei

IEEE Trans. Autom. Control., 2017

2015

Symbolic Supervisory Control of Timed Discrete Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2015

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

Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2015

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

Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Symbolic Supervisory Control of Resource Allocation Systems.

Zhennan Fei

PhD thesis, 2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

IEEE Trans. Control. Syst. Technol., 2014

Symbolic Representation and Computation of Timed Discrete-Event Systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

IEEE Trans Autom. Sci. Eng., 2014

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

Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2014

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.

Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

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

Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

State-vector transition model applied to supervisory control.

Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Symbolic computation of nonblocking control function for timed discrete event systems.

Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

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

Zhennan Fei, Knut Åkesson, Bengt Lennartson

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.

Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Modeling sequential resource allocation systems using Extended Finite Automata.

Zhennan Fei, Sajed Miremadi, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011