Approximate Discrete-Event Method for Supervisory Control | IEEE Conference Publication | IEEE Xplore