Sökning: "formal synthesis"

Visar resultat 1 - 5 av 63 avhandlingar innehållade orden formal synthesis.

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

3. 2. Correct-by-Construction Tactical Planners for Automated Cars

   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; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

   Sammanfattning : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. LÄS MER

4. 3. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

   Författare :Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

   Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER

5. 4. On Formal Methods in Development of Control Logic Using IEC 61499

   Författare :Goran Cengic; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Modeling; Synthesis; Verification; Formal Methods; Supervisory Control Theory; IEC 61499; Control Logic Development;

   Sammanfattning : In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logicfor the distributed control systems that are often used to control the manufacturing equipment in the industry. LÄS MER

7. 5. Graph dominators in logic synthesis and verification

   Författare :René Krenz; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal verification; logic synthesis; dominators; equivalence checking; decomposition; Computer science; Datavetenskap;

   Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER