Luca Benvenuti
- Controller synthesis for hybrid systems with a lower bound on event separation
2003/01/01 by A. Balluchi, Andrea Balluchi, Luca Benvenuti +4 · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Algorithm #Artificial intelligence #Computer science #Control (management) #Control engineering #Control theory (sociology) #Controller (irrigation) #Differential (mechanical device) #Differential game #Discretization #Engineering #Formal Methods in Verification #Hybrid system #Mathematical optimization #Mathematics #Petri Nets in System Modeling #Set (abstract data type) #State (computer science)