Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
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.