Search for dissertations about: "Execution monitoring"

Showing result 1 - 5 of 57 swedish dissertations containing the words Execution monitoring.

2. 1. Model-based execution monitoring

   Author : Marcus Bjäreland; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual effects of control actions and the effects predicted by a model, is the topic of this thesis. Model-based execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process controllers, and of controllers operating in complex and unpredictable environments (such as unmanned aerial vehicles). READ MORE

4. 2. Model-free execution monitoring in behavior-based mobile robotics

   Author : Ola Pettersson; Alessandro Saffiotti; Lars Karlsson; Joachim Hertzberg; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; mobile robotics; execution monitoring; fault detection and isolation; diagnosis; data- och systemvetenskap; Computer science; Datavetenskap; Computer and Systems Science; Data- och systemvetenskap;

   Abstract : In the near future, autonomous mobile robots are expected to assist us by performing service tasks in many different areas, including transportation, cleaning, mining, or agriculture. In order to manage these tasks in a changing and partially unpredictable environment, without the help of humans, the robot must have the ability to plan its actions and to execute them robustly and in a safe way. READ MORE

5. 3. Robust execution of robot task-plans : a knowledge-based approach

   Author : Abdelbaki Bouguerra; Lars Karlsson; Alessandro Saffiotti; Froduald Kabanza; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Autonomous mobile robots; plan execution and monitoring; semantic knowledge; cognitive robotics.; Computer science; Datavetenskap; Computer and Systems Science; Data- och systemvetenskap;

   Abstract : Autonomous mobile robots are being developed with the aim of accomplishing complex tasks in different environments, including human habitats as well as less friendly places, such as distant planets and underwater regions. A major challenge faced by such robots is to make sure that their actions are executed correctly and reliably, despite the dynamics and the uncertainty inherent in their working space. READ MORE

6. 4. Runtime Monitoring of Automated Driving Systems

   Author : Ayhan Mehmed; Sasikumar Punnekkat; Aida Causevic; Hans Hansson; Daniel Watzening; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Runtime Monitoring; Automated Driving Systems; Computer Science; datavetenskap;

   Abstract : It is the period of the World's history, where the technological progress reached a level that enables the first steps towards the development of vehicles with automated driving capabilities. The swift response from the significant portion of the industry resulted in a race, the final line set at the introduction of vehicles with full automated driving capabilities. READ MORE

7. 5. Deductive Planning and Composite Actions in Temporal Action Logic

   Author : Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

   Abstract : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. READ MORE