Supervisory control of discrete-event systems in an asynchronous setting

Rashidinejad, AidaTechnische Universiteit Eindhoven,Eindhoven University of Technology (författare)

In conventional supervisory control theory, a plant and supervisor are supposed to work synchronously such that enabling an event by the supervisor, execution of it in the plant, and observation of the executed event by the supervisor all occur at once. Therefore, these occurrences are all captured by means of a single event. However, when a supervisor synthesized from conventional supervisory control theory is implemented in real life, it will face problems since exact synchronization can hardly happen in practice due to delayed communications. In this paper, we propose a synthesis technique to achieve a supervisor that does not face the problems caused by inexact synchronization. For this purpose, we first introduce an asynchronous setting in which enablement, execution, and observation of an event do not occur simultaneously but with some delay. We present a model representing the behavior of the plant in the asynchronous setting which we call the asynchronous plant. For the asynchronous plant, we present an algorithm synthesizing an asynchronous supervisor which satisfies (asynchronous) controllability and nonblockingness.

Reniers, Michel A.Technische Universiteit Eindhoven,Eindhoven University of Technology (författare)
Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian (författare)
Technische Universiteit EindhovenChalmers tekniska högskola (creator_code:org_t)

Ingår i:IEEE International Conference on Automation Science and Engineering2019-August, s. 494-5012161-80702161-8089

Av författaren/redakt...: Rashidinejad, Ai ...; Reniers, Michel ...; Fabian, Martin, ...

Om ämnet

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

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.