Sökning: "Discrete-event systems"

Visar resultat 21 - 25 av 91 avhandlingar innehållade orden Discrete-event systems.

  1. 21. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods

    Författare :Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : The interest in discrete event systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable to handle the complexity of problems and tasks present in industry to day. In this thesis we will consider a symbolic and algebraic framework which will be used for modeling, analysis, and synthesis of DEDS. LÄS MER

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

    Författare :Mohammad Reza Shoaei; Chalmers tekniska högskola; []
    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

  4. 23. Symbolic Supervisory Control of Resource Allocation Systems

    Författare :Zhennan Fei; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

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

  5. 24. Optimal Coordination of Flexible Manufacturing Systems, with Automatic Generation of Collision- and Dealock-Free Working Schedule

    Författare :Avenir Kobetski; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Visibility Graphs; Scheduling; A*; Mixed Integer Linear Programming; Discrete Event Systems; Velocity Balancing.; Robot Coordination; Supervisory Control Theory; Deterministic Finite Automata; Flexible Manufacturing;

    Sammanfattning : The ever more rapidly changing markets pose high demands on the modern industry, often making it necessary to have varied and frequently updated product portfolios. As a consequence, modern industrial systems need to be easily adaptable to different kinds of products, which makes the use of flexible manufacturing systems (FMS) increasingly popular. LÄS MER

  7. 25. On Compositional Supervisor Synthesis for Discrete Event Systems

    Författare :Sahar Mohajerani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; abstraction; supervisory control theory.; synthesis; Finite-state automata;

    Sammanfattning : Over the past decades, human dependability on technical devices has rapidlyincreased. Many activities of such devices can be described by sequences ofevents, where the occurrence of an event causes the system to go from onestate to another. This is elegantly modeled by automata. LÄS MER