A Model-based Approach to Reactive Self-Configuring Systems

DMCA

A Model-based Approach to Reactive Self-Configuring Systems (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Brian C. Williams , P. Pandurang Nayak , Urang Nayak

Venue:	In Proceedings of AAAI-96
Citations:	245 - 43 self

BibTeX

@INPROCEEDINGS{Williams96amodel-based,
    author = {Brian C. Williams and P. Pandurang Nayak and Urang Nayak},
    title = {A Model-based Approach to Reactive Self-Configuring Systems},
    booktitle = {In Proceedings of AAAI-96},
    year = {1996},
    pages = {971--978}
}

OpenURL

Abstract

This paper describes Livingstone, an implemented kernel for a model-based reactive self-configuring autonomous system. It presents a formal characterization of Livingstone's representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on our past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a propositional feedback controller that generates focused, optimal responses. Livingstone's representation formalism achieves broad coverage of hybrid hardware/software systems by coupling the transition system models underlying concurrent reactive languages with the qualitative representations developed in model-based reasoning. Livingstone automates a wide variety of tasks using a single model and a single core algorithm, thus making signif...

Keyphrases

model-based approach self-configuring system representation formalism hybrid hardware software system model-based diagnosis sense response loop reactive system transition system model wide variety significant deduction formal characterization past experience model-based reasoning model-based configuration manager broad coverage propositional feedback controller implemented kernel qualitative representation optimal response concurrent reactive language single core algorithm building fast propositional conflict-based algorithm model-based reactive self-configuring autonomous system single model

DMCA