Search for dissertations about: "Marcus Bjäreland"

Found 2 swedish dissertations containing the words Marcus Bjäreland.

  1. 1. Two Aspects of Automating Logics of Action and Change : Regression and Tractability

    Author : Marcus Bjäreland; Linköpings universitet; []
    Keywords : ;

    Abstract : The autonomy of an artificial agent (e.g. a robot) will certainly depend on its ability to perform "intelligent" tasks, such as learning, planning, and reasoning about its own actions and their effects on the enviroment, for example predicting the consequences of its own behaviour. READ MORE

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