Parallel Sample Path Construction Techniques for Discrete Event Systems: K-Constructability and Applications
[C63]Pan, J., and Cassandras, C.G.,
Parallel Sample Path Construction Techniques for Discrete Event Systems: K-Constructability and Applications
Proc. 33rd IEEE Conf. Decision and Control , pp. 1978-1983, December 1994.