Thursday, August 23, 2007

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]


Post a Comment

Links to this post:

Create a Link

<< Home