Zhennan Fei

Doktor vid Chalmers, Elektroteknik, System- och reglerteknik, Automation

Visar 24 publikationer

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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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
Artikel i vetenskaplig tidskrift
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 i 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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i 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 i proceeding
2012

Symbolic representation and computation of timed discrete event systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Rapport
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 i proceeding
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 i 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 i 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 i 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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Zhennan Fei medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.