AN APPROACH FOR DESIGNING REAL TIME DES CONTROLLER
Bei Wang · 1999
A new design method is presented for discrete event system(DES)controller.DES is modeled by finte state mechanism(FSM).The system specification is described by using temporal logic(TL).With the combination of these two formal methods,one can not only realize the DES supervisor to maintain close\|loop beha vior in the allowed state domain,but also add control actions dynamically to enforce the system to meet the required dynamic specification.