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

Title	Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
Authors	Benson Christalin, Michele Colledanchise, Petter Ogren and Richard M. Murray
Source	Submitted, 2016 IEEE Real-Time Systems Symposium (RTSS)
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-rtss s.pdf
DOI
Tag	ccom16-rtss
ID	2016c
Funding	iCyPhy
Flags