On the verification of detectability for timed discrete event systems
Article in Automatica (June 2024)
The most recent citing publications are shown below. View all 66 publications that cite this research output on Dimensions.
Article in Automatica (June 2024)
Article in IEEE Transactions on Systems Man and Cybernetics Systems (February 2024)
Preprint in arXiv (January 2024)