Bisimulation conversion and verification procedure for goal-based control systems.
Saved in:
| Title: | Bisimulation conversion and verification procedure for goal-based control systems. |
|---|---|
| Authors: | Braman, Julia, Murray, Richard |
| Source: | Formal Methods in System Design; Feb2011, Vol. 38 Issue 1, p62-95, 34p |
| Subject Terms: | FAULT-tolerant computing, INTEGRATED circuit fault tolerance, SUPERVISORY control systems, AUTONOMOUS robots, COMMAND & control systems, HYBRID systems, ALGORITHMS, COMPUTER software, COMPUTER simulation |
| Abstract: | 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, addresses these needs with a goal-based control approach. In this paper, a software algorithm for converting goal network control systems into linear hybrid systems is described. The conversion process is a bisimulation; the resulting linear hybrid system can be verified for safety in the presence of failures using existing symbolic model checkers, and thus the original goal network is verified. A moderately complex example goal network control system is converted to a linear hybrid system using the automatic conversion software that is based on the bisimulation and then is verified. [ABSTRACT FROM AUTHOR] |
| Copyright of Formal Methods in System Design is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Be the first to leave a comment!