Yu Liu 0108 Lin Cao 0005 Shaolong Shu Feng Lin 0001 Complex Event Recognition Within a Discrete Event System Framework. 4817-4824 2025 July 70 IEEE Trans. Autom. Control. 7 https://doi.org/10.1109/TAC.2025.3543561 db/journals/tac/tac70.html#LiuCSL25 streams/journals/tac