Browse wiki
From MurrayWiki
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 |
---|