Jinbo Fu Asok Ray Constantino M. Lagos Unconstrained optimal control of regular languages. 799-804 2002 CDC https://doi.org/10.1109/CDC.2002.1184603 conf/cdc/2002 db/conf/cdc/cdc2002.html#FuRL02