Search for dissertations about: "Computer model"
Showing result 21 - 25 of 2482 swedish dissertations containing the words Computer model.
-
21. The GMOC Model : Supporting Development of Systems for Human Control
Abstract : Train traffic control is a complex task in a dynamic environment. Different actors have to cooperate to meet strong requirements regarding safety, punctuality, capacity utilization, energy consumption, and more. The GMOC model has been developed and utilized in a number of studies in several different areas. READ MORE
-
22. Cognition reversed : Robot learning from demonstration
Abstract : The work presented in this thesis investigates techniques for learning from demonstration (LFD). LFD is a well established approach to robot learning, where a teacher demonstrates a behavior to a robot pupil. This thesis focuses on LFD where a human teacher demonstrates a behavior by controlling the robot via teleoperation. READ MORE
-
23. Effective Techniques for Stateless Model Checking
Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE
-
24. Enabling Timing Analysis of Complex Embedded Software Systems
Abstract : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. READ MORE
-
25. Model-based execution monitoring
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