Nicolò Giorgetti

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Alberto Bemporad, Nicolò Giorgetti
Logic-based solution methods for optimal control of hybrid systems. IEEE Trans. Autom. Control. 51 (6) (2006)
Nicolò Giorgetti, George J. Pappas, Alberto Bemporad
Bounded Model Checking of Hybrid Dynamical Systems. CDC/ECC (2005)
Alberto Bemporad, Nicolò Giorgetti
SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems. CPAIOR (2004)
Alberto Bemporad, Nicolò Giorgetti
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. HSCC (2004)
Alberto Bemporad, Nicolò Giorgetti
A logic-based hybrid solver for optimal control of hybrid systems. CDC (2003)
Alberto Bemporad, Nicolò Giorgetti, Ilya V. Kolmanovsky, Davor Hrovat
A hybrid system approach to modeling and optimal control of DISC engines. CDC (2002)