Alves, Lucas V. R.
- Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory
2020/08/29 by Lucas V. R. Alves, Alves, Lucas V. R., Patrícia N. Pena +2 · 1 citation
Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #cs.SY #eess.SY #electronic engineering #information engineering