Litcius/Paper detail

Supervisory Control of Networked Discrete Event Systems With Timing Structure

Marcos V. S. Alves, Lilian K. Carvalho, João Carlos Basilio

2020IEEE Transactions on Automatic Control28 citationsDOIOpen Access PDF

Abstract

In this article, we study the supervisory control problem of networked discrete event systems with timing structure assuming bounded communication delays and intermittent loss of observations. The communication between the plant and the supervisor is through a network that can have several channels, and so communication delays may change the order of event observations by the supervisor. We assume a priori knowledge of the minimal activation time of the plant transitions and the maximum communication delays, and propose an equivalent untimed model that takes into account all possible observation delays and also loss of observations. Based on this model, we formulate a networked supervisory control problem and show that it can be converted into an equivalent range control problem. We also address implementation, and, to this end, we present a representation for networked supervisors that is able to deal with possible loss of synchronization between event occurrence and its observation.

Topics & Concepts

Supervisory controlSupervisorA priori and a posterioriSynchronization (alternating current)Computer scienceEvent (particle physics)Telecommunications networkRepresentation (politics)Control theory (sociology)Control (management)Bounded functionDistributed computingReal-time computingComputer networkMathematicsArtificial intelligenceChannel (broadcasting)Political sciencePhilosophyLawPhysicsMathematical analysisPoliticsEpistemologyQuantum mechanicsPetri Nets in System ModelingFormal Methods in VerificationFlexible and Reconfigurable Manufacturing Systems