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

Autor: Takuto Yamauchi, Takanori Hirano, Jialong Li, Takafumi Kawasaki, Yin Chen, Akira Tsuge, Tadashi Okoshi, Jin Nakazawa, Nobukazu Yoshioka, Georgios Palaiokrassas, Antonios Litke, Kenji Tei
Rok vydání: 2021
Zdroj: 2021 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, Physical & Social Computing (CPSCom) and IEEE Smart Data (SmartData) and IEEE Congress on Cybermatics (Cybermatics).
DOI: 10.1109/ithings-greencom-cpscom-smartdata-cybermatics53846.2021.00033
Databáze: OpenAIRE