5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…