A Description and Reasoning of Plant Controllers in Temporal Logic
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 405-407.
Abstract
This paper describes the methodology to deal with the behavior of a dynamical system such as plant controllers in the framework of Temporal Logic. Many important concepts of the dynamical system like stability or obscrvability are represented in this framework. As a reasoning method, we present an w -graph approach which enables us to represent the dynamical behavior of a given ,ystem, and an automatic synthesis of control rules can be reduced to a simple decision procedure on the w -graph. Moreover, the typical reasoning about the timedependent system such as a causal argument or a qualitative simulation can be also treated on the w -graph in the same way.
@inproceedings{ijcai1983p98,
title = {A Description and Reasoning of Plant Controllers in Temporal Logic},
author = {Fusaoka, Akira and Seki, Hirohisa and Takahashi, Kazuko},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {405--407},
year = {1983},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1983/98},
}
TY - CPAPER TI - A Description and Reasoning of Plant Controllers in Temporal Logic AU - Fusaoka, Akira AU - Seki, Hirohisa AU - Takahashi, Kazuko T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 405 EP - 407 UR - https://ijcai.org/proceedings/1983/98 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
