IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 117, Number 506

Mathematical Systems Science and its applications

Workshop Date : 2018-03-12 - 2018-03-14 / Issue Date : 2018-03-05

[PREV] [NEXT]

[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

MSS2017-77
Design of Kalman Filter with Pseudo-measurements in Motion Control
Seita Yagi, Toshimitsu Ushio (Osaka Univ.), Kohei Fujita, Teruaki Tanaka (Mitsubishi Electric)
pp. 1 - 4

MSS2017-78
A Study on Availability Design of a Building Microgrid with In-vehicle Battery
Shoko Kimura, Yoshihiko Susuki, Atsushi Ishigame (Osaka Prefecture Univ.)
pp. 5 - 10

MSS2017-79
Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor
Shiyao Ding, Toshimitsu Ushio (Osaka Univ.)
pp. 11 - 14

MSS2017-80
Analysis of Distributed Cooperative Thompson Sampling
Motoki Kamimura, Naoki Hayashi, Shigemasa Takai (Osaka Univ.)
pp. 15 - 20

MSS2017-81
[Invited Talk] Theory of Computation, its history and impact -- A role played by Formal Language and Automata Theory, with a related topic on alternating grammars --
Etsuro Moriya (Waseda Univ.)
pp. 21 - 26

MSS2017-82
Searching attribute information for mail filtering based on text mining
Seiya Temma, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 27 - 30

MSS2017-83
Classification method comparison of world languages by word pronunciation-based description and basic vocabulary
Syuji Harazoe (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Hiroshi Matsuno (Yamaguchi Univ.)
pp. 31 - 34

MSS2017-84
Deductive Verification of real-time safety properties for embedded assembly program using theorem prover Princess
Naoki Odajima (Kanazawa Univ.), Gakuhi Fukuda (Kanazawa Nishikigaoka), Satoshi Yamane (Kanazawa Univ.)
pp. 35 - 40

MSS2017-85
Simulation analysis of diauxic shift of E.coli using a global scale modeling method for metabolic networks
Masashi Kubota, Koumei Arima, Ayaka Sugii, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 41 - 46

MSS2017-86
On Sector Decision Problem of Aircraft Positions in CARATS Open Data
Shoya Tokumaru, Kunihiko Hiraishi (JAIST)
pp. 47 - 51

MSS2017-87
Synchronous/Asynchronous Decentralized Event-Triggered Control for Cyber-Physical Systems
Kyohei Nakajima, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 53 - 56

MSS2017-88
Subsidy Based PI Controller for Multipopulation Replicator Dynamics under the Existence of Unobservable Populations
Ryo Kadoya, Takafumi Kanazawa (Osaka Univ.)
pp. 57 - 60

MSS2017-89
Topological stack-queue mixed layout of graphs using queue number
Miki Miyauchi (NTT)
pp. 61 - 66

MSS2017-90
Improvement of Spaito-Temporal Situation Recognition Using Staff's Behavior Logs
Shun Hayakashi, Kunihiko Hiraishi, Naoshi Uchihira (JAIST)
pp. 67 - 72

MSS2017-91
Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems
Jinglun LI, Shigemasa Takai (Osaka Univ.)
pp. 73 - 76

MSS2017-92
Application of Tree based Model to a Model for Data Generation and Verification of Induced Rules and its Considerations
Shoya Kawaguchi, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.)
pp. 77 - 82

MSS2017-93
Adaptive transfer control for unstable production system
Kumiko Tadano, Yoshinaru Maeno, Takehiro Itou, Hisaya Wakayama, Masatsugu Ogawa (NEC)
pp. 83 - 88

MSS2017-94
Design of distribution ratio on a branched production line based on an optimal velocity traffic model
Toru Sano, Keiji Konishi (Osaka Pref. Univ.), Takehiro Itou, Hisaya Wakayama (NEC)
pp. 89 - 94

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan