Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system

@article{Braman2007SafetyVO,
  title={Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system},
  author={Julia M. B. Braman and Richard M. Murray and David A. Wagner},
  journal={2007 IEEE/RSJ International Conference on Intelligent Robots and Systems},
  year={2007},
  pages={853-858}
}
Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called mission data system (MDS), 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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Integrated Formal Methods

  • Lecture Notes in Computer Science
  • 2018
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems

Ronald C. Arkin, Damian Lyons, Jiang Shu, Prem Nirmal, Munzir Zafar
  • Defense, Security, and Sensing
  • 2012

Autonomous driving in urban environments: approaches, lessons and challenges.

  • Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
  • 2010
VIEW 1 EXCERPT
CITES BACKGROUND

A Robot Fault-Tolerance Approach Based on Fault Type

  • 2009 Ninth International Conference on Quality Software
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-6 OF 6 REFERENCES

StaIbird. "State knowledge representation in the Mission Data System.

T. R. Rasmussen
  • IEEE Aerospace Conference
  • 2002

UPPAAL in a nutshell." InternatioMi Joumo.l on Software Tools for Technology Transfer

K. Larsen. P. Pettersson, W. Yi
  • 1997

Similar Papers

Loading similar papers…