---
title: "A Description and Reasoning of Plant Controllers in Temporal Logic"
authors:
  - "Akira Fusaoka"
  - "Hirohisa Seki"
  - "Kazuko Takahashi"
doi: ""
url: "https://ijcai.org/proceedings/1983/98"
pdf: "https://ijcai.org/proceedings/1983/0098.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "405-407"
track: "Knowledge Representation"
keywords:
---

# A Description and Reasoning of Plant Controllers in Temporal Logic

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, 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.