"Controller synthesis for L2 behaviors using rational kernel representations."

Mark Mutsaers, Siep Weiland (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics