Sökning: "supervisory control synthesis"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden supervisory control synthesis.

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

  3. 2. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

    Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER

  4. 3. 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

  5. 4. 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

  7. 5. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; Formal methods; formal synthesis; tactical planning; supervisory control theory; automatic abstraction.; safety case; model checking; formal verification; reactive synthesis;

    Sammanfattning : One goal of developing automated road vehicles is to completely free people from driving tasks. Automated vehicles with no human driver must handle all traffic situations that human drivers are expected to handle, possibly more. LÄS MER