Zhennan Fei
Showing 27 publications
Supervisory Control Theory in System Safety Analysis
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Invariant-Based Supervisory Control of Switched Discrete Event Systems
Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages
Symbolic Supervisory Control of Timed Discrete Event Systems
Supervisory Control for State-Vector Transition Models—A Unified Approach
Supervisory control of manufacturing systems using extended finite automata
Symbolic Representation and Computation of Timed Discrete-Event Systems
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Symbolic representation and computation of timed discrete event systems
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
State-Vector Transition Model Applied to Supervisory Control
On Symbolic Analysis of Discrete Event Systems Modeled as Automata with Variables
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
Modeling sequential resource allocation systems using Extended Finite Automata
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.