Giovanni Bacci
- Optimal and Robust Controller Synthesis: using Energy Timed Automata\n with Uncertainty
2018/05/02 by Giovanni Bacci, Patricia Bouyer, Bacci, Giovanni +9 · 1 citation
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering