共 10 条
[1]
Boucher T. O., 1996, COMPUTER AUTOMATION
[2]
The real-time supervisory control of an experimental manufacturing cell
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
1996, 12 (01)
:1-14
[4]
Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6
[5]
SUPREMAL AND MAXIMAL SUBLANGUAGES ARISING IN SUPERVISOR SYNTHESIS PROBLEMS WITH PARTIAL OBSERVATIONS
[J].
MATHEMATICAL SYSTEMS THEORY,
1989, 22 (03)
:177-211