Search for dissertations about: "Mohammad Reza Shoaei"

Found 1 swedish dissertation containing the words Mohammad Reza Shoaei.

  1. 1. Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach

    Author : Mohammad Reza Shoaei; [2015]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete event systems; IC3; large-scale systems; model checking; incremental control; supervisory control; hierarchical control; maximal permissiveness;

    Abstract : Today's industry trend towards agile product development cycles and the ambition to shorten the time-to-market, represents an extremely competitive marketplace. This has driven the industry to use very complex and highly flexible manufacturing systems. READ MORE