]> 2026-05-12T13:32:47+00:00 Conversion and Verification Procedure for Goal-Based Control Programs 0 en Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is developed and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems. Julia M B Braman, Richard M Murray 2007u CDS Technical Report, California Institute of Technology bm07-cds Preprint 2016-05-15T06:17:08Z 2457523.7618982 Conversion and Verification Procedure for Goal-Based Control Programs Title 102 en Title