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

Christalin, B. (författare)

Colledanchise, Michele (författare): KTH,Datorseende och robotik, CVAP,Centrum för Autonoma System, CAS

Ögren, Petter (författare): KTH,Datorseende och robotik, CVAP,Centrum för Autonoma System, CAS

Murray, R. M. (författare)

(creator_code:org_t)

IEEE, 2017
2017
Engelska.
Ingår i: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. - : IEEE. - 9781509042401

Relaterad länk:: https://urn.kb.se/re...; visa fler...; https://doi.org/10.1...; visa färre...

Abstract Ämnesord

Stäng

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.

Av författaren/redakt...: Christalin, B.; Colledanchise, M ...; Ögren, Petter; Murray, R. M.

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Reglerteknik

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.