共 91 条
[1]
ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
[2]
[Anonymous], 1992, TEMPORAL LOGIC REACT, DOI DOI 10.1007/978-1-4612-0931-7
[3]
[Anonymous], 1982, LECT NOTES CONTROL I
[4]
[Anonymous], 1981, Petri net theory and the modeling of systems
[5]
[Anonymous], 1989, J SCI EXPLOR
[6]
Arbib M.A., 1965, J SIAM CONTROL A, V3, P206
[7]
Arnold A., 1980, LECTURE NOTES COMP S, V88, P113
[8]
Atampore F, 2016, INT WORKS DISCRETE, P28, DOI 10.1109/WODES.2016.7497822
[9]
Athans M., 2013, OPTIMAL CONTROL INTR