Art
J-GLOBAL ID：202002280111147236   Reference number：20A0534921

Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

HYDLAとHYLAGIを用いたハイブリッドシステムの制約ベースモデリングと記号シミュレーション【JST・京大機械翻訳】
Author (3)：
Yamada Yunosuke

About Yamada Yunosuke

(Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan)

About Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan

, 
Sato Masashi

About Sato Masashi

(Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan)

About Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan

, 
Ueda Kazunori

About Ueda Kazunori

(Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan)

About Department of Computer Science and Engineering, Waseda University, Shinjuku-ku, Tokyo, Japan


Material：
Lecture Notes in Computer Science  (LNBI)

About Lecture Notes in Computer Science


Volume： 11971  Page： 153-178  Publication year： 2020 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary 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.
Abstract: Hybrid systems are d...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0534921&from=J-GLOBAL&jstjournalNo=H0078D") }}
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.
inverse problem

About inverse problem

, 
dynamic system

About dynamic system

, 
*simulation

About simulation

, 
simulator

About simulator

, 
constraint programming

About constraint programming

, 
hybrid system

About hybrid system


Semi 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.
ハイブリッドオートマトン

About ハイブリッドオートマトン

, 
記号計算

About 記号計算

, 
モデリング言語

About モデリング言語

, 【Automatic Indexing@JST】
Author keywords (3)：
Hybrid systems

About Hybrid systems

, 
Constraints

About Constraints

, 
Symbolic simulation

About Symbolic simulation

JST classification (3)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

,  Process control 
(KB03030P)

About Process control

,  Pattern recognition 
(JE07000S)

About Pattern recognition

Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
ハイブリッドシステム

About ハイブリッドシステム

, 
制約

About 制約

, 
モデリング

About モデリング

, 
記号

About 記号

, 
シミュレーション

About シミュレーション


Return to Previous Page

TOP

BOTTOM