Search for dissertations about: "automatic abstraction."

Showing result 1 - 5 of 38 swedish dissertations containing the words automatic abstraction..

2. 1. Dynamic Abstraction for Interleaved Task Planning and Execution

   Author : Per Nyblom; Patrick Doherty; Lars Karlsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Artificial Intelligence; Dynamic Abstraction; Task Planning; Automatic Model Construction; Meta-modelling; Computer science; Datavetenskap;

   Abstract : It is often beneficial for an autonomous agent that operates in a complex environment to make use of different types of mathematical models to keep track of unobservable parts of the world or to perform prediction, planning and other types of reasoning. Since a model is always a simplification of something else, there always exists a tradeoff between the model’s accuracy and feasibility when it is used within a certain application due to the limited available computational resources. READ MORE

4. 2. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

   Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

   Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

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

   Author : Jonas Krook; Chalmers tekniska högskola; []
   Keywords : 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;

   Abstract : 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. READ MORE

6. 4. Function Variables for Constraint Programming

   Author : Brahim Hnich; Edward Tsang; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

   Abstract : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. READ MORE

7. 5. Automatic generation of a view to geographical database

   Author : Mats Dunkars; KTH; []
   Keywords : Digital cartography; automatic cartographic generalization; object oriented modeling;

   Abstract : This thesis concerns object oriented modelling and automatic generalisation of geographic information. The focus however is not on traditional paper maps, but on screen maps that are automatically generated from a geographical database. READ MORE