Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published December 2016 | Submitted
Book Section - Chapter Open

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

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.

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.

Attached Files

Submitted - ccom16-ssci.pdf

Files

ccom16-ssci.pdf
Files (885.0 kB)
Name Size Download all
md5:9198dd49c19140bee44fc3a6146b0a66
885.0 kB Preview Download

Additional details

Created:
August 19, 2023
Modified:
October 24, 2023