{"type":"ScholarlyArticle","title":"A Description and Reasoning of Plant Controllers in Temporal Logic","authors":[{"name":"Akira Fusaoka","slug":"akira-fusaoka","given":"Akira","family":"Fusaoka","affiliation":""},{"name":"Hirohisa Seki","slug":"hirohisa-seki","given":"Hirohisa","family":"Seki","affiliation":""},{"name":"Kazuko Takahashi","slug":"kazuko-takahashi","given":"Kazuko","family":"Takahashi","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/98","pdf":"https://ijcai.org/proceedings/1983/0098.pdf","markdown":"https://ijcai.org/proceedings/1983/98.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/98","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":98,"pages":{"first":405,"last":407},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}