2 Marcus Bjäreland, KPLAB, Linkoping

Marcus Bjäreland, PhD (Tekn. Dr.)

[Picture]

Profile

I am an Assistant Professor at KPLAB and the Director of Undergraduate Studies at AIICS. My research interests are constraint satisfaction, model-based reasoning, and execution monitoring.

Teaching


Publications

Nakamura, M. Baral, C. and Bjäreland, M. Maintainability: a weaker stabilizability-like notion for high level control of agents. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI '00), Austin, Texas, USA, August 2000. To appear.

Bjäreland, M. and Fodor, G. Execution monitoring of industrial process controllers: an application of Ontological Control. In Prooceedings of the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS '00), Budapest, Hungary, June 14-16, 2000.

Drakengren, T. and Bjäreland, M. Reasoning about Action in Polynomial Time In Artficial Intelligence, Elsevier. November 1999.

Bjäreland, M. and Jonsson, P. Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP, In Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99), Alexandria, Virginia, USA, October 1999.

Bjäreland, M. Execution Monitor Synthesis for Hybrid Systems - Preliminary Report In Proceedings of the Fourteenth IEEE International Symposium on Intelligent Control (ISIC'99), Boston, MA, USA, September 1999. To appear.

Bjäreland, M. Recovering from Modeling Faults in GOLOG In the IJCAI'99 Workshop: Scheduling and Planning Meet Real-Time Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August, 1999.

Drakengren, T. and Bjäreland, M. Expressive Reasoning about Action in Nondeterministic Polynomial Time In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, Morgan Kaufmann, August 1999.

Bjäreland, M. and Driankov, D. Synthesizing Discrete Controllers from Hybrid Automata - Preliminary Report . AAAI 1999 Spring Symposium on Hybrid Systems and AI , Stanford University, CA, USA, March 1999.

Bjäreland, M. and Fodor, G. Ontological Control . Ninth International Workshop on Principles of Diagnosis (DX-98), N. Falmouth, MA, USA, May 1998.

Bjäreland, M. and Karlsson, L. Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, Morgan Kaufmann, August 1997.

Drakengren, T. and Bjäreland, M. Reasoning about Action in Polynomial Time In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, Morgan Kaufmann, August, 1997.


Theses

Bjäreland, M. Model-based Execution Monitoring. PhD Thesis, Linköping Studies in Science and Technology, Dissertation No 688, 2001 Bjäreland, M. Two Aspects of Automating Logics of Action and Change - Regression and Tractability. Licentiate Thesis, Linköping Studies in Science and Technology, ISBN 91-7219-173-2, Thesis No 674, 1998


Studsa!

Marcus Bjäreland
Department of Computer and Information Science
Linköping University
S-581 83 Linköping, SWEDEN
Phone: +46 -13 -28 1995
Telefax: +46 -13 -28 26 06

Email (click to send):

marbj@ida.liu.se