1. Robust supervisory control of discrete event systems against intermittent loss of observations;Alves;International Journal of Control,2019
2. Principles of Model Checking;Baier,2008
3. Synthesis of reactive(1) designs;Bloem;Journal of Computer and System Sciences,2012
4. Introduction to Discrete Event Systems;Cassandras,2021
5. Robustness of supervisors for discrete-event systems;Cury;IEEE Transactions on Automatic Control,1999