Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
Chair |
|
Morikazu Nakamura (Univ. of Ryukyus) |
Vice Chair |
|
Shigemasa Takai (Osaka Univ.) |
Secretary |
|
Ichiro Toyoshima (Toshiba), Takahumi Kanazawa (Osaka Univ.) |
Assistant |
|
Hideki Kinjo (Okinawa Univ.) |
|
|
Chair |
|
Akio Nakata (Hiroshima City Univ.) |
Vice Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
Secretary |
|
Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) |
Assistant |
|
Shinpei Hayashi (Tokyo Inst. of Tech.) |
|
Conference Date |
Tue, Jan 15, 2019 10:25 - 17:45
Wed, Jan 16, 2019 09:00 - 16:45 |
Topics |
|
Conference Place |
|
Contact Person |
Associate Prof. Hideki Kinjo, Okinawa Univ.
+81-98-864-1780 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on MSS, SS. |
Tue, Jan 15 AM 10:25 - 12:40 |
(1) |
10:25-10:50 |
A method for reducing instability of negawatt power and inequality among consumers in an electricity market MSS2018-54 SS2018-25 |
Naohiro Tachibana, Ryo Hase, Norihiko Shinomiya (Soka Univ.) |
(2) |
10:50-11:15 |
Model Predictive Control of Dynamics in Power Consumption for Demand Response MSS2018-55 SS2018-26 |
Kenta Ohashi, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
(3) |
11:15-11:40 |
Design of Demand Response Based on Event-Triggered Model Predictive Control MSS2018-56 SS2018-27 |
Kodai Miyazaki, Koichi Kobayashi (Hokkaido Univ.), Shun-ichi Azuma (Nagoya Univ.), Nobuyuki Yamaguchi (Tokyo Univ. of Science), Yuh Yamashita (Hokkaido Univ.) |
|
11:40-12:40 |
Break ( 60 min. ) |
Tue, Jan 15 PM 12:40 - 14:30 |
(4) |
12:40-13:05 |
Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation MSS2018-57 SS2018-28 |
Jinglun Li, Shigemasa Takai (Osaka Univ.) |
(5) |
13:05-13:30 |
A Study on Control Specifications Using LTL[F] for Supervisory Control MSS2018-58 SS2018-29 |
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) |
(6) |
13:30-13:55 |
A design method of a self-triggered model predictive controller for linear discrete-time systems with noises MSS2018-59 SS2018-30 |
Fumito Tagashira, Toshimitsu Ushio (Osaka Univ.) |
(7) |
13:55-14:20 |
Multi-Agent Monitoring with Fuel Constraints over Graphs MSS2018-60 SS2018-31 |
Ryo Masuda, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
|
14:20-14:30 |
Break ( 10 min. ) |
Tue, Jan 15 PM 14:30 - 15:55 |
(8) |
14:30-14:55 |
MSS2018-61 SS2018-32 |
|
(9) |
14:55-15:20 |
A Case Study of Process Improvement on an Application Development with Test Design MSS2018-62 SS2018-33 |
Takumi Tsujihara, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe, Tsuneo Ajisaka (Wakayama Univ.) |
(10) |
15:20-15:45 |
Towards a framework for computational reconciliation MSS2018-63 SS2018-34 |
Toshinori Takai (NAIST) |
|
15:45-15:55 |
Break ( 10 min. ) |
Tue, Jan 15 PM 15:55 - 17:00 |
(11) |
15:55-16:40 |
[Invited Talk]
Electricity Demand Forecasting by Machine Learning
-- Potential of Utilizing Numerical Weather Prediction by Machine Learning -- MSS2018-64 SS2018-35 |
Hiromasa Shin, Yoshiaki Shiga, Mitsuru Kakimoto (Toshiba) |
|
16:40-16:50 |
Break ( 10 min. ) |
(12) |
16:50-17:00 |
|
Tue, Jan 15 PM 17:00 - 17:45 |
(13) |
17:00-17:45 |
[Invited Talk]
Game Theoretic Approach to Power Consumption Reduction Problem with Incentive Allocation MSS2018-65 SS2018-36 |
Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.) |
Wed, Jan 16 AM 09:00 - 10:25 |
(14) |
09:00-09:25 |
Optimal Run Problem for Weighted Register Automata MSS2018-66 SS2018-37 |
Reo Yoshimura, Hiroyuki Seki (Nagoya Univ.) |
(15) |
09:25-09:50 |
On Representation of Structures and Unions in Logically Constrained Rewriting MSS2018-67 SS2018-38 |
Yoshiaki Kanazawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) |
(16) |
09:50-10:15 |
Extending Narrowing Trees to Basic Narrowing in Term Rewriting MSS2018-68 SS2018-39 |
Yuya Maeda, Naoki Nishida, Masahiko Sakai, Tomoya Kobayashi (Nagoya Univ.) |
|
10:15-10:25 |
Break ( 10 min. ) |
Wed, Jan 16 AM 10:25 - 12:40 |
(17) |
10:25-10:50 |
Unbounded Model Checking of Time Petri Nets Using SMT Solver MSS2018-69 SS2018-40 |
Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) |
(18) |
10:50-11:15 |
Design of distribution ratio on a multi-stage parallel production line based on an optimal velocity traffic model MSS2018-70 SS2018-41 |
Toru Sano, Keiji Konishi (Osaka Pref. Univ.), Takehiro Itou, Hisaya Wakayama (NEC) |
(19) |
11:15-11:40 |
Simpler proof of topological queue layout of graphs MSS2018-71 SS2018-42 |
Miki Miyauchi (NTT) |
|
11:40-12:40 |
Break ( 60 min. ) |
Wed, Jan 16 PM 12:40 - 14:05 |
(20) |
12:40-13:05 |
Efficient XQuery evaluation on compressed XML documents MSS2018-72 SS2018-43 |
Jukiya Ogura (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.) |
(21) |
13:05-13:30 |
Data publishing based on query resolution in the data exchange framework MSS2018-73 SS2018-44 |
Keiji Fukushima (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.) |
(22) |
13:30-13:55 |
Verification method of GearsOS based on Hoare Logic MSS2018-74 SS2018-45 |
Masataka Hokama, Shinji Kono (Ryukyu Univ) |
|
13:55-14:05 |
Break ( 10 min. ) |
Wed, Jan 16 PM 14:05 - 15:30 |
(23) |
14:05-14:30 |
User Preference Extraction Method and Its Rating Scale with Associative Mining and Workflow Net MSS2018-75 SS2018-46 |
Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Piyatida Sakorn (Kasetsart Univ.), Shingo Yamaguchi (Yamaguchi Univ.) |
(24) |
14:30-14:55 |
Prediction of Position for Mobile Objects based on BLE Signals and Machine Learning MSS2018-76 SS2018-47 |
Nan Toma, Arata Sashida (Univ. of the Ryukyus), Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus), Akira Sakima (Kuniken Systems) |
(25) |
14:55-15:20 |
Agricultural Knowledge Management Using Smart Voice Messaging Systems
-- Trial Experiment at Greenhouse Vegetable Farm -- MSS2018-77 SS2018-48 |
Naoshi Uchihira (JAIST), Masami Yoshida (Agrisensing) |
|
15:20-15:30 |
Break ( 10 min. ) |
Wed, Jan 16 PM 15:30 - 16:45 |
(26) |
15:30-15:55 |
MSS2018-78 SS2018-49 |
|
(27) |
15:55-16:20 |
MSS2018-79 SS2018-50 |
|
(28) |
16:20-16:45 |
MSS2018-80 SS2018-51 |
|
Contact Address and Latest Schedule Information |
MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
Contact Address |
Ichiro Toyoshima (Toshiba Energy Systems & Solutions Corp.)
Tel: +81-42-333-2843
E- : i![](/ken/images/new/ihc.gif) ![](/ken/images/new/1217or.bmp) ![](/ken/images/new/tod.gif) ![](/ken/images/new/ot.gif) ![](/ken/images/new/1217oy.bmp) ![](/ken/images/new/1111awed.gif) ![](/ken/images/new/1217am.bmp) ![](/ken/images/new/ta.gif) ![](/ken/images/new/ot.gif) ba |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Yoshiki Higo (Osaka University)
TEL: 06-6879-4111
FAX: 06-6879-4114
E- : ![](/ken/images/new/1217ih.bmp) ![](/ken/images/new/1217og.bmp) ist![](/ken/images/new/tod.gif) -u |
Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2019-01-11 12:57:45
|