Our paper has been accepted by 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