Browse wiki

From MurrayWiki
Jump to: navigation, search
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
Abstract This paper presents a method for synthesiz …
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.
power systems for commercial applications.  +
Authors Benson Christalin, Michele Colledanchise, Petter Ogren, Richard M. Murray  +
Funding ICyPhy: Industrial Cyber-Physical Systems +
ID 2016c  +
Source 2016 IEEE Symposium on Computational Intelligence in Control and Automation  +
Tag ccom16-ssci  +
Title Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications +
Type Conference paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
13 January 2017 03:25:10  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/ccom16-ssci.pdf  +
hide properties that link here 
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + Title
 

 

Enter the name of the page to start browsing from.