Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, SS |
2019-01-15 10:25 |
Okinawa |
|
A method for reducing instability of negawatt power and inequality among consumers in an electricity market Naohiro Tachibana, Ryo Hase, Norihiko Shinomiya (Soka Univ.) MSS2018-54 SS2018-25 |
Negawatt trading, which means a type of trading of electrical power saved by consumers, is expected to suppress peak pow... [more] |
MSS2018-54 SS2018-25 pp.1-6 |
MSS, SS |
2019-01-15 10:50 |
Okinawa |
|
Model Predictive Control of Dynamics in Power Consumption for Demand Response Kenta Ohashi, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2018-55 SS2018-26 |
Demand response is a method of controlling electric equipments on the customer side according to the situation of power ... [more] |
MSS2018-55 SS2018-26 pp.7-12 |
MSS, SS |
2019-01-15 11:15 |
Okinawa |
|
Design of Demand Response Based on Event-Triggered Model Predictive Control Kodai Miyazaki, Koichi Kobayashi (Hokkaido Univ.), Shun-ichi Azuma (Nagoya Univ.), Nobuyuki Yamaguchi (Tokyo Univ. of Science), Yuh Yamashita (Hokkaido Univ.) MSS2018-56 SS2018-27 |
In design of energy management systems, aggregators such as retailers play the important role. One of the roles of aggre... [more] |
MSS2018-56 SS2018-27 pp.13-18 |
MSS, SS |
2019-01-15 12:40 |
Okinawa |
|
Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation Jinglun Li, Shigemasa Takai (Osaka Univ.) MSS2018-57 SS2018-28 |
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata ... [more] |
MSS2018-57 SS2018-28 pp.19-23 |
MSS, SS |
2019-01-15 13:05 |
Okinawa |
|
A Study on Control Specifications Using LTL[F] for Supervisory Control Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $] is a quantitative extension of linear temporal logic, whose evaluations are based on how well a spec... [more] |
MSS2018-58 SS2018-29 pp.25-28 |
MSS, SS |
2019-01-15 13:30 |
Okinawa |
|
A design method of a self-triggered model predictive controller for linear discrete-time systems with noises Fumito Tagashira, Toshimitsu Ushio (Osaka Univ.) MSS2018-59 SS2018-30 |
In self-triggered control, both the control input and the next update time are determined at every update time. So, the ... [more] |
MSS2018-59 SS2018-30 pp.29-32 |
MSS, SS |
2019-01-15 13:55 |
Okinawa |
|
Multi-Agent Monitoring with Fuel Constraints over Graphs Ryo Masuda, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2018-60 SS2018-31 |
The multi-agent monitoring (surveillance) problem over graphs is to find trajectories of multiple agents that travel eac... [more] |
MSS2018-60 SS2018-31 pp.33-36 |
MSS, SS |
2019-01-15 14:30 |
Okinawa |
|
MSS2018-61 SS2018-32 |
(To be available after the conference date) [more] |
MSS2018-61 SS2018-32 pp.37-42 |
MSS, SS |
2019-01-15 14:55 |
Okinawa |
|
A Case Study of Process Improvement on an Application Development with Test Design Takumi Tsujihara, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe, Tsuneo Ajisaka (Wakayama Univ.) MSS2018-62 SS2018-33 |
It is said that performing the test design in early phase of software development process improves software quality and ... [more] |
MSS2018-62 SS2018-33 pp.43-48 |
MSS, SS |
2019-01-15 15:20 |
Okinawa |
|
Towards a framework for computational reconciliation Toshinori Takai (NAIST) MSS2018-63 SS2018-34 |
[more] |
MSS2018-63 SS2018-34 pp.49-54 |
MSS, SS |
2019-01-15 15:55 |
Okinawa |
|
[Invited Talk]
Electricity Demand Forecasting by Machine Learning
-- Potential of Utilizing Numerical Weather Prediction by Machine Learning -- Hiromasa Shin, Yoshiaki Shiga, Mitsuru Kakimoto (Toshiba) MSS2018-64 SS2018-35 |
An accurate electricity demand forecasting is indispensable for economical operation of power system. We have been devel... [more] |
MSS2018-64 SS2018-35 pp.55-56 |
MSS, SS |
2019-01-15 17:00 |
Okinawa |
|
[Invited Talk]
Game Theoretic Approach to Power Consumption Reduction Problem with Incentive Allocation Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.) MSS2018-65 SS2018-36 |
The demand response is attracting attention to perform electric power load leveling. In this paper, we consider a power ... [more] |
MSS2018-65 SS2018-36 pp.57-60 |
MSS, SS |
2019-01-16 09:00 |
Okinawa |
|
Optimal Run Problem for Weighted Register Automata Reo Yoshimura, Hiroyuki Seki (Nagoya Univ.) MSS2018-66 SS2018-37 |
Register automaton (RA) is a computational model that can handle data values by adding registers to finite automaton. Re... [more] |
MSS2018-66 SS2018-37 pp.61-66 |
MSS, SS |
2019-01-16 09:25 |
Okinawa |
|
On Representation of Structures and Unions in Logically Constrained Rewriting Yoshiaki Kanazawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2018-67 SS2018-38 |
Recently, several methods for verifying imperative programs by means of transformations into term rewriting systems have... [more] |
MSS2018-67 SS2018-38 pp.67-72 |
MSS, SS |
2019-01-16 09:50 |
Okinawa |
|
Extending Narrowing Trees to Basic Narrowing in Term Rewriting Yuya Maeda, Naoki Nishida, Masahiko Sakai, Tomoya Kobayashi (Nagoya Univ.) MSS2018-68 SS2018-39 |
Narrowing computation of a term rewriting system is an extension of rewriting by replacing matching with unification, wh... [more] |
MSS2018-68 SS2018-39 pp.73-78 |
MSS, SS |
2019-01-16 10:25 |
Okinawa |
|
Unbounded Model Checking of Time Petri Nets Using SMT Solver Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2018-69 SS2018-40 |
[more] |
MSS2018-69 SS2018-40 pp.79-84 |
MSS, SS |
2019-01-16 10:50 |
Okinawa |
|
Design of distribution ratio on a multi-stage parallel production line based on an optimal velocity traffic model Toru Sano, Keiji Konishi (Osaka Pref. Univ.), Takehiro Itou, Hisaya Wakayama (NEC) MSS2018-70 SS2018-41 |
Recently, there is a need to implement production systems which can adapt to changing demand. This report proposes a mul... [more] |
MSS2018-70 SS2018-41 pp.85-90 |
MSS, SS |
2019-01-16 11:15 |
Okinawa |
|
Simpler proof of topological queue layout of graphs Miki Miyauchi (NTT) MSS2018-71 SS2018-42 |
(To be available after the conference date) [more] |
MSS2018-71 SS2018-42 pp.91-96 |
MSS, SS |
2019-01-16 12:40 |
Okinawa |
|
Efficient XQuery evaluation on compressed XML documents Jukiya Ogura (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.) MSS2018-72 SS2018-43 |
[more] |
MSS2018-72 SS2018-43 pp.97-102 |
MSS, SS |
2019-01-16 13:05 |
Okinawa |
|
Data publishing based on query resolution in the data exchange framework Keiji Fukushima (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.) MSS2018-73 SS2018-44 |
With the spread of big data such as medical information, techniques on data exchange that allows data to be exchanged in... [more] |
MSS2018-73 SS2018-44 pp.103-108 |