liu.seSearch for publications in DiVA
ReferencesLink to record
Permanent link

Direct link
Model-based execution monitoring
2001 (English)Doktorsavhandling, monografi (Other academic)
Abstract [en]

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

In this thesis we study various aspects of model-based execution monitoring, including the following:

The relation between previous approaches to execution monitoring in Control Theory, Artificial Intelligence and Computer Science is studied and a common conceptual framework for design and analysis is proposed.

An existing execution monitoring paradigm, ontological control, is generalized and extended. We also present a prototype implementation of ontological control with a first set of experimental results where the prototype is applied to an actual industrial process control system: The ABB STRESSOMETER cold mill flatness control system.

A second execution monitoring paradigm, stability-based execution monitoring, is introduced, inspired by the vast amount of work on the "stability" notion in Control Theory and Computer Science.

Finally, the two paradigms are applied in two different frameworks. First, in the "hybrid automata" framework, which is a state-of-the-art formal modeling framework for hybrid (that is, discrete+continuous) systems, and secondly, in the logical framework of GOLOG and the Situation Calculus. 

Place, publisher, year, pages
Linköping: Linköpings universitet, 2001. 153 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 688
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-35604 (URN)27909 (Local ID)91-7373-016-5 (ISBN)oai:DiVA.org:liu-35604 (OAI)
Public defence
2001-06-05, BL 32, Hus B, Linköpings Universitet, Linköping, 13:15 (Swedish)
Available from2009-10-10 Created:2009-10-10 Last updated:2013-02-20

Open Access in DiVA

No fulltext

Search in DiVA

By author/editor
Bjäreland, Marcus
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
Totalt: 51 hits
ReferencesLink to record
Permanent link

Direct link