Sökning: "supervisory synthesis"
Visar resultat 1 - 5 av 21 avhandlingar innehållade orden supervisory synthesis.
1. Control Synthesis for Batch Processes
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
2. On Compositional Supervisor Synthesis for Discrete Event Systems
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
3. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies
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. Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
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
5. Efficient Analysis of Discrete Event Systems: Supervisor Synthesis with Binary Decision Diagrams
Sammanfattning : Due to the ever-increasing complexity of software and hardware, it is becoming more and more important to develop methods and tools for automatic analysis and synthesis of systems. One obstacle in achieving this goal has been the unmanageable size and complexity of the involved mathematical operations. LÄS MER