当研究室の論文がIEEE iThings-2021に採録されました
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, Kenji Tei
- The 14th IEEE International Conference on Internet of Things, Dec. 2021