Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

doi 10.1109/cdc.2012.6426079
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE