Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
PROGRAM GENERATION DEVICE AND PROGRAM GENERATION METHOD
Document Type and Number:
WIPO Patent Application WO/2022/208860
Kind Code:
A1
Abstract:
The present invention improves the efficiency of operation of a target to be controlled, and improves the degree of freedom in program language conversion. This program generation device is provided with: a design information conversion unit that converts design information including a plurality of states of a device, relationships between signals and the states of the device, and times required for changes in the states of the device, into a model including a state set, an input set, a transition function, and times required for transition; a control rule derivation unit that derives, on the basis of the model and request specifications that include specifications relating to times required for transition, a control rule so as to satisfy the request specifications; and a program generation unit that generates a program on the basis of the control rule.

Inventors:
FUJITA KOHEI (JP)
USHIO TOSHIMITSU (JP)
Application Number:
PCT/JP2021/014264
Publication Date:
October 06, 2022
Filing Date:
April 02, 2021
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
MITSUBISHI ELECTRIC CORP (JP)
UNIV OSAKA (JP)
International Classes:
G05B19/05; G06F8/35
Foreign References:
JPH086777A1996-01-12
JP2008517362A2008-05-22
JPH0418605A1992-01-22
US20140372967A12014-12-18
Attorney, Agent or Firm:
YOSHITAKE Hidetoshi et al. (JP)
Download PDF: