A Description and Reasoning of Plant Controllers in Temporal Logic
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 observability 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 system, 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 time-dependent system such as a causal argument or a qualitative simulation can be also treated on the w -graph in the same way.
Cite
Text
Fusaoka et al. "A Description and Reasoning of Plant Controllers in Temporal Logic." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Fusaoka et al. "A Description and Reasoning of Plant Controllers in Temporal Logic." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/fusaoka1983ijcai-description/)BibTeX
@inproceedings{fusaoka1983ijcai-description,
title = {{A Description and Reasoning of Plant Controllers in Temporal Logic}},
author = {Fusaoka, Akira and Seki, Hirohisa and Takahashi, Kazuko},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {405-408},
url = {https://mlanthology.org/ijcai/1983/fusaoka1983ijcai-description/}
}