Home Up Reach Us Contents                             

Provan's Research  

Provan's Research ITOBO Research

Home
Up
Members
Research
Publications

Overview

I am interested in the design and analysis of complex systems. This interest spans the multiple representations and algorithms that must work together in a coordinated fashion to build software tools for complex systems. My work has covered issues focused on:

bulletRepresentation,
bulletControl,
bulletInference, and
bulletSystems integration.

 I have worked in the design and analysis of complex systems in several application areas, including:

bulletDistributed networked systems, such as
bulletWireless sensor networks
bulletDistributed computer networks
bulletPower grid networks
bulletCollections of unmanned vehicles (UVs)
bulletCommercial aircraft,
bulletNavy ships,
bulletCollections of text corpora, and
bulletHuman cardiovascular and digestive systems; biochemical modeling/analysis

Key Research Areas

bulletModel-based diagnosis
bullet Distributed, embedded systems
bulletProbabilistic Inference
bulletMachine Learning
bulletApproximate Inference and Modeling
bulletCompilation
bulletComplex Systems
bulletConstraint-Based Inference
bulletMulti-Formalism Modeling
bulletBioInformatics

Funded Research Projects

I have been working on two funded research projects:

bulletAnalysis and Control of System-of-Systems (SoS) [funded by Science Foundation Ireland]
bullet Information Technology for Optimised Building Operations (ITOBO) [funded by Science Foundation Ireland]

 

Send mail to ccsl@cs.ucc.ie with questions or comments about this web site.
Copyright © 2008 Cork Complex Systems Lab
Last modified: 05/26/08