Iury Bessa
- Automated Formal Synthesis of Digital Controllers for State-Space\n Physical Plants
2017/05/02 by Alessandro Abate, Abate, Alessandro, Iury Bessa +13 · 1 citation
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Modeling and Simulation Systems #Systems and Control (eess.SY) #electronic engineering #information engineering