A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis

論文・著書情報

タイトル

和文:	A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis
英文:	A Development Method for Safety Node-RED Systems using Discrete Controller Synthesis

著者

和文:	Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, 鄭顕志.
英文:	Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei.

言語

English

掲載誌/書名

和文:
英文:

巻, 号, ページ

pp. 130-137

出版年月

2021年12月1日

出版者

和文:
英文:

会議名称

和文:
英文:	The 14th IEEE International Conference on Internet of Things (IEEE iThings-2021)

開催地

和文:
英文:

DOI