Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications

From MurrayWiki
Jump to: navigation, search
Title Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
Authors Benson Christalin, Michele Colledanchise, Petter Ogren, Richard M. Murray
Source 2016 IEEE Symposium on Computational Intelligence in Control and Automation
Abstract 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.
Type Conference paper
URL http://www.cds.caltech.edu/~murray/preprints/ccom16-ssci.pdf
Tag ccom16-ssci
ID 2016c
Funding iCyPhy
Flags