Synthesis of Petri net controller to enforce conjunction of GMEC using observer.

Shouguang Wang, Senlin Zhang, Gangfeng Yan

Browse the full SMC paper archive.