A Model-Based Approach to Reactive Self-Configuring Systems

  title={A Model-Based Approach to Reactive Self-Configuring Systems},
  author={Brian C. Williams and P. Pandurang Nayak},
  booktitle={AAAI/IAAI, Vol. 2},
This paper describes Livingstone, an implemented kernel for a self-reconfiguring autonomous system, that is reactive and uses component-based declarative models. The paper presents a formal characterization of the representation formalism used in Livingstone, and reports on our experience with the implementation in a variety of domains. Livingstone’s representation formalism achieves broad coverage of hybrid software/hardware systems by coupling the concurrent transition system models… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 461 citations. REVIEW CITATIONS