Braman and Murray on converting goal network control programs into linear hybrid systems

J.M.B. Braman and R.M. Murray (2007) Conversion and verification procedure for goal-based control programs. Technical Report. California Institute of Technology, Pasadena, CA [CaltechCDSTR:2007.001]