共 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