Browse wiki

This paper presents a method for synthesizing fault tolerant control protocols for a deterministic discrete event system subject to safety specifications. The system discussed in the paper is modeled as a finite state machine (FSM) and Behavior Tree (BT). The synthesis procedure involves formulating the policy problem as a shortest path dynamic programming problem, and performing a backward search from the desire sates or behavior to the initial configuration. The search is performed over all possible states when applied to the FSM, or over all possible actions when applied to the BT. The resulting strategy minimizes the number of actions performed to meet operational objectives without violating safety conditions. The effectiveness of the procedure on FSMs and BTs is demonstrated through three examples of switched electrical power systems for commercial applications.