CaltechAUTHORS
  A Caltech Library Service

Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications

Christalin, Benson and Colledanchise, Michele and Ögren, Petter and Murray, Richard M. (2016) Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications. In: IEEE Symposium Series on Computational Intelligence (SSCI), 2016. IEEE , pp. 1-8. ISBN 978-1-5090-4241-8. http://resolver.caltech.edu/CaltechAUTHORS:20170221-080512453

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20170221-080512453

Abstract

This paper presents a method for the reactive synthesis of fault-tolerant optimal control protocols for a finite deterministic discrete event system subject to safety specifications. A Deterministic Finite State Machine (DFSM) and Behavior Tree (BT) were used to model the system. The synthesis procedure involves formulating the policy problem as a shortest path dynamic programming problem. The procedure evaluates all possible states when applied to the DFSM, 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 DFSMs and BTs is demonstrated through three examples of switched electrical power systems for commercial application and analyzed using run-time complexity analysis. The results demonstrated that for large order system BTs provided a tractable model to synthesize an optimal control policy.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/SSCI.2016.7849873DOIArticle
http://ieeexplore.ieee.org/document/7849873/PublisherArticle
https://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=37083Related ItemArticle
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
Additional Information:© 2016 IEEE. Date of Conference: 6-9 Dec. 2016. Date Added to IEEE Xplore: 13 February 2017. The authors would like to thank Scott Livingston, Ivan Papusha, and the anonymous reviewers for helpful comments. This work was supported in part by IBM and UTC via the iCyPhy consortium.
Funders:
Funding AgencyGrant Number
IBMUNSPECIFIED
iCyPhy ConsortiumUNSPECIFIED
Record Number:CaltechAUTHORS:20170221-080512453
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20170221-080512453
Official Citation:B. Christalin, M. Colledanchise, P. Ögren and R. M. Murray, "Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications," 2016 IEEE Symposium Series on Computational Intelligence (SSCI), Athens, Greece, 2016, pp. 1-8. doi: 10.1109/SSCI.2016.7849873
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:74418
Collection:CaltechAUTHORS
Deposited By: Ruth Sustaita
Deposited On:21 Feb 2017 17:50
Last Modified:19 Jan 2018 17:43

Repository Staff Only: item control page