Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures | IEEE Journals & Magazine | IEEE Xplore