29 citations · 78 across the 18 of their papers we have counts for
1 paper · 1 filter
Masashi Mizoguchi, Toshimitsu Ushio
In this paper, we design a symbolic output feedback controller of a cyber-physical system (CPS). The physical plant is modeled by an infinite transition system. We consider the sit…