Sökning: "Supervisory Control Theory"

Visar resultat 1 - 5 av 35 avhandlingar innehållade orden Supervisory Control Theory.

  1. 1. Modelling and implementation aspects of supervisory control

    Författare :Anders Hellgren; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; supervisory control theory; sequential funcion charts; production systems; discrete event systems;

    Sammanfattning : .... LÄS MER

  3. 2. 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. 3. Symbolic Supervisory Control of Timed Discrete Event Systems

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

    Sammanfattning : With the increasing complexity of computer systems, it is crucial to have efficient design of correct and well-functioning hardware and software systems. To this end, it is often desired to control the behavior of systems to possess some desired properties. A specific class of systems is called discrete event systems (DES). LÄS MER

  5. 4. Internal Control : A Study of the Concept and Themes of Internal Control

    Författare :Olof Arwinge; Fredrik Nilsson; Nils-Göran Olve; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP; Economic Information Systems; Ekonomiska informationssystem;

    Sammanfattning : This thesis studies the accounting and auditing approach to control where the concept of internal control has developed along with the theory and practice of accounting and auditing and its stated objectives. In this context, internal control has traditionally been regarded as a means of ensuring financial reporting quality as well as a way of preventing and detecting fraudulent activity. LÄS MER

  7. 5. Control Synthesis for Batch Processes

    Författare :Michael Tittus; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; batch control; hybrid systems; modeling; control synthesis; supervisory control; object-orientation; resource allocation;

    Sammanfattning : Batch applications form an important application class within the field of process industries. In this thesis we propose multiple models, frameworks and design concepts in order to apply formal methods to the control synthesis in batch control. The thes is can be divided into two main parts. LÄS MER