Sökning: "supervisory control theory"

Visar resultat 6 - 10 av 35 avhandlingar innehållade orden supervisory control theory.

  1. 6. A Seamless Framework for Control Function Generation

    Författare :Sajed Miremadi; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Discrete Event Systems; Supervisory Control Theory; Deterministic Finite Automata; Binary Decision Diagrams; Extended Finite Automata;

    Sammanfattning : As we progress in time, the dependence and inseparability of our daily lives to computer and software systems grow rapidly; some transparent to many of us. It is therefore crucial to have efficient design of correct and well-functioning computer and software systems. LÄS MER

  3. 7. On Object Oriented Nondeterministic Supervisory Control

    Författare :Martin Fabian; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; object-oriented modeling; supervisory control; flexible manufacturing; finite state automata;

    Sammanfattning : Implementation of complex discrete event fabrication processes can be considerably simplified by use of general reusable software modules representing the physical components. At the same time, construction of the control system can be facilitated by applying the supervisory control theory for the automatic generation of control laws. LÄS MER

  4. 8. 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. 9. Model-based control and monitoring of the flotation process

    Författare :Benny Stenlund; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

    Sammanfattning : In the mineral processing industry, flotation constitutes the most important technique for extraction of the valuable minerals from the ore. This process involves both chemical and physical parts, the theory of which are not yet completely understood. LÄS MER

  7. 10. 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