A Development Method for Safe Node-RED Systems using Discrete Controller Synthesis.
Takuto YamauchiTakanori HiranoJialong LiTakafumi KawasakiYin ChenAkira TsugeTadashi OkoshiJin NakazawaNobukazu YoshiokaGeorgios PalaiokrassasAntonios LitkeKenji TeiPublished in: iThings/GreenCom/CPSCom/SmartData/Cybermatics (2021)