Zhennan Fei
Visar 27 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.