Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Synthesis of reactive control protocols for switch electrical power systems for commercial application with safety specifications
KTH, School of Computer Science and Communication (CSC), Computer Vision and Active Perception, CVAP. KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS.
KTH, School of Computer Science and Communication (CSC), Computer Vision and Active Perception, CVAP. KTH, School of Computer Science and Communication (CSC), Centres, Centre for Autonomous Systems, CAS.
2017 (English)In: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, IEEE, 2017, 7849873Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE, 2017. 7849873
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:kth:diva-208119DOI: 10.1109/SSCI.2016.7849873ISI: 000400488300049Scopus ID: 2-s2.0-85016003286ISBN: 9781509042401 (print)OAI: oai:DiVA.org:kth-208119DiVA: diva2:1107242
Conference
2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016, Athens, Greece, 6 December 2016 through 9 December 2016
Note

QC 20170609

Available from: 2017-06-09 Created: 2017-06-09 Last updated: 2017-06-09Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Colledanchise, MicheleÖgren, Petter
By organisation
Computer Vision and Active Perception, CVAPCentre for Autonomous Systems, CAS
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf