{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T17:54:57Z","timestamp":1744221297293,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1109\/iros.2007.4399230","type":"proceedings-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T14:23:35Z","timestamp":1199888615000},"page":"853-858","source":"Crossref","is-referenced-by-count":6,"title":["Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system"],"prefix":"10.1109","author":[{"given":"Julia M. B.","family":"Braman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2003.1238740"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S1367-5788(97)00019-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref15","first-page":"409","article-title":"CAV 95: Computer-aided Verification","author":"dill","year":"1995","journal-title":"Verification of real-time systems by successive over and under approximation"},{"key":"ref16","article-title":"Conversion and verification procedure for goal-based control programs","author":"braman","year":"2007","journal-title":"Tech Rep"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1036840"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007957421070"},{"key":"ref19","first-page":"1434","article-title":"Adaptable sensor fusion using multiple Kalman filters","volume":"2","author":"drolet","year":"2000","journal-title":"IEEE Int'l Conference on Intelligent Robots and Systems"},{"key":"ref4","first-page":"3428","article-title":"Fault diagnosis and fault tolerant control for wheeled mobile robots under unknown environments: A survey","author":"duan","year":"2005","journal-title":"IEEE Int'l Conference on Robotics and Automation"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2001.931199"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/70.406930"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/105971239400200403"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2004.1310942"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.835009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.15265"},{"key":"ref1","article-title":"Software architecture themes in JPLs Mission Data System","author":"dvorak","year":"2000","journal-title":"IEEE Aerospace Conference"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(02)00032-1"},{"year":"2006","key":"ref20","article-title":"The Player project"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-3010"}],"event":{"name":"2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems","start":{"date-parts":[[2007,10,29]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2007,11,2]]}},"container-title":["2007 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4398943\/4398944\/04399230.pdf?arnumber=4399230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T22:50:40Z","timestamp":1497739840000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4399230\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iros.2007.4399230","relation":{},"subject":[],"published":{"date-parts":[[2007,10]]}}}