Conversion and verification procedure for goal-based control programs

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

The Concordiensis, Volume 17, Number 15

The Garnet Triumphs; An Honorable Defeat; Baseball; A Class in Elocution; Alumni Allusions; Intercollegiate Games at Berkeley Oval.; Local and Personalhttps://digitalworks.union.edu/concordiensis_1894/1007/thumbnail.jp

The Concordiensis, Volume 17, Number 9

Rev. A.V.V. Raymond Accepts the Presidency of Union; The Sophomore Soiree; Local and Personalhttps://digitalworks.union.edu/concordiensis_1894/1002/thumbnail.jp

The Concordiensis, Volume 17, Number 2

Literary; Athletics; Local and Personal; Alumni Allusionshttps://digitalworks.union.edu/concordiensis_1893/1011/thumbnail.jp

The Concordiensis, Volume 17, Number 14

The Butterfield Lecture; Faithful Service Appreciated; President Raymond Honored; The First League Game; Baseball; Spring Meet; The Union-Williams Athletic Meet; The Athletic Team; Dr. Wells\u27 Lectures; Language and Literature of the Norselands; Junior Hop; YMCA; Preliminary Contest for Prize Speaking; Local and Personal; Notes; Ad Occasum Solis; A Communication; Alumni Allusions; A New Union Song Bookhttps://digitalworks.union.edu/concordiensis_1894/1006/thumbnail.jp

The Concordiensis, Volume 17, Number 8

Union Commencement Programs; A Change in the Presidency; Local and Presonalhttps://digitalworks.union.edu/concordiensis_1894/1001/thumbnail.jp

The Concordiensis, Volume 17, Number 16

Professor Henry Whitehorne; Another Pennant; Commencement Program; Aditions to the Library; Arthur E. Barnes; Francis E. Holleran; Major Allen Twiford; Chas. Kilpatrick; Bryan Ogden Burgin; Glenn Mason Scofield; Concordiensis Appointments; Receptions to Dr. Raymond; Kilpatrick Wins Again; Local and Personal; New Buildings for Unionhttps://digitalworks.union.edu/concordiensis_1894/1008/thumbnail.jp

The Concordiensis, Volume 17, Number 6

Our New York Letter; Athletics; Literary; Local and Personal; Alumni Allusionshttps://digitalworks.union.edu/concordiensis_1893/1014/thumbnail.jp

The Concordiensis, Volume 17, Number 11

The New President-Elect of Union College; The Fencing Outfit; Oratorical Contest; Inter-Collegiate Athletics; Art and Architecture; Reception to Dr. Raymond; Football Report; Report of the College Minstrels; The Mid Winter Meet; Union College Republican Club; Local and Personal; Physical Education at Union; Syracuse Gets the Pennant; Amusementshttps://digitalworks.union.edu/concordiensis_1894/1004/thumbnail.jp

The Concordiensis, Volume 17, Number 10

Modern Scientific Investigations; Local and Personal; Alumni Allusionshttps://digitalworks.union.edu/concordiensis_1894/1003/thumbnail.jp