Search for dissertations about: "Zhennan Fei"

Found 2 swedish dissertations containing the words Zhennan Fei.

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

    Author : Zhennan Fei; [2012]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Partitioning Techniques; Discrete Event Systems; Supervisory Control Theory; Extended Fi- nite Automata; Binary Decision Diagrams;

    Abstract : In benefit of the current revolution in computer technology, nowadays, society is dependent on dedicated computer-aided systems more than ever to assist us in every aspect of daily life. Thereby, designing reliable control logic of those systems to avoid malfunctioning behavior is of importance. READ MORE

  2. 2. Symbolic Supervisory Control of Resource Allocation Systems

    Author : Zhennan Fei; [2014]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

    Abstract : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. READ MORE