Funder
conselho nacional de desenvolvimento científico e tecnológico
fundação carlos chagas filho de amparo à pesquisa do estado do rio de janeiro
coordenação de aperfeiçoamento de pessoal de nível superior
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Computer Science Applications,Energy Engineering and Power Technology,Control and Systems Engineering
Reference20 articles.
1. Cai, K., Giua, A., & Seatzu, C. (2019). On consistent reduction in discrete-event systems. In: Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, Vancouver, Canada, pp 474–479
2. Cassandras, C., & Lafortune, S. (2008). Introduction to Discrete Event Systems. New York: Springer.
3. Clavijo, L. B., & Basilio, J. C. (2017). Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. Discrete Event Dynamic Systems, 27(4), 701–739.
4. da Silva Neto, FAC. (2008). Redução de supervisores utilizando marcação por eventos e métodos de otimização (in portuguese). Master dissertation, Departamento de Automação e Sistemas, Universidade Federal de Santa Catarina, Florianópolis, Brasil
5. Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2006). Introduction to Automata Theory, Languages and Computation (3rd ed.). Boston, MA: Addison-Wesley.