Sökning: "maximal permissiveness"

Hittade 1 avhandling innehållade orden maximal permissiveness.

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

    Författare :Mohammad Reza Shoaei; [2015]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER