vix.ing · top · new · best · stats · spec

Andrea Balluchi

  1. 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 · #Formal Methods in Verification #Petri Nets in System Modeling #Advanced Control Systems Optimization