Art
J-GLOBAL ID：200902151257255069   Reference number：93A0994827

Synthesis of controllers from Interval Temporal Logic specification.

区間時相論理仕様からの制御器の合成
Author (2)：
FUJITA M

About FUJITA M

(FUJITSU LAB., LTD., Kawasaki, JPN)

About FUJITSU LAB., LTD., Kawasaki, JPN

, 
KONO S

About KONO S

(Sony Computer Science Lab., Inc., Tokyo, JPN)

About Sony Computer Science Lab., Inc., Tokyo, JPN


Material：
Proceedings. IEEE International Conference on Computer Design: VLSI in Computers & Processors  (Proceedings. International Conference on Computer Design)

About Proceedings. IEEE International Conference on Computer Design: VLSI in Computers & Processors


Volume： 1993  Page： 242-245  Publication year： 1993 
JST Material Number： D0858B  ISSN： 1063-6404  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
temporal logic

About temporal logic

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0994827&from=J-GLOBAL&jstjournalNo=D0858B") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Automaton theory 
(JB04000O)

About Automaton theory

,  Logic circuits 
(NC05070B)

About Logic circuits

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
時相論理

About 時相論理

, 
仕様

About 仕様

, 
制御器

About 制御器


Return to Previous Page

TOP

BOTTOM