Ontology-based State Space Model Generation for Automatic Design of Sequence Control Program
Yasuo Namioka, Norihisa Komoda, Takayuki Matsudaira · IEEJ Transactions on Electronics Information and Systems · 2002
An ontology-based, automated generation method for state space models is presented. The models are used to derive sequence control program specifications writen in SFC (Sequencial Function Chart). The state space models feature (i) dividing the plant state space into the machine state space and the equipment state space, (ii) allowing the generation of the machine-level state space models before searches, and (iii) reducing both the search space for planning, and the number of planning steps. It is currently difficult to make practical state space models, however, because of the large size of such models and the difficulty of expressing the details of operations. To overcome this problem, we propose a method of automatically generating the machine-level state space models from plant ontology in short time without errors. The plant ontology includes actions, side effects, constraints, and hierarchical states that are used to represent other parts of the ontology. To investigate the effectiveness of the method, we have applyed it to a planning-based VIsual Programming System for Sequence control program SpeciFiCation Design (VIPS/S-SFCD).