Supervisory Control under Local Mean Payoff Constraints

This work investigates quantitative supervisory control with a local mean payoff objective for weighted discrete event systems. Weight flows are generated by the system and a supervisor must be designed to ensure that the mean payoff of weights over a fixed number of transitions never drops below a given threshold while the system is operating. The local mean payoff may be viewed as a stability measure of weight flows. We formulate the supervisory control problem and transform it to a two-player game between the supervisor and the environment. Next, window payoff functions are defined to characterize the objective for the supervisor in the game. Then we analyze the game and develop a method to synthesize game-winning supervisors, which solve the proposed problem.

[1]  Stéphane Lafortune,et al.  A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems , 2016, IEEE Transactions on Automatic Control.

[2]  Xi Wang,et al.  Supervisory control of state-tree structures with partial observation , 2018, Inf. Sci..

[3]  Walter Murray Wonham,et al.  Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages , 2015, IEEE Transactions on Automatic Control.

[4]  Feng Lin,et al.  Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays , 2013, IEEE Transactions on Automatic Control.

[5]  Stéphane Lafortune,et al.  Enforcing opacity by insertion functions under multiple energy constraints , 2019, Autom..

[6]  Hai Lin,et al.  Permissive Supervisor Synthesis for Markov Decision Processes Through Learning , 2017, IEEE Transactions on Automatic Control.

[7]  Antonio Eduardo Carrilho da Cunha,et al.  Robust Supervisory Control against Intermittent Loss of Observations , 2014, WODES.

[8]  Mark Lawford,et al.  Optimal Supervisory Control of Probabilistic Discrete Event Systems , 2012, IEEE Transactions on Automatic Control.

[9]  Toshimitsu Ushio,et al.  Quantitative Supervisory Control Game for Discrete Event Systems , 2016, IEEE Transactions on Automatic Control.

[10]  Stéphane Lafortune,et al.  Mean Payoff Supervisory Control Under Partial Observation , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[11]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[12]  Shigemasa Takai,et al.  Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions , 2016, IEEE Transactions on Automatic Control.

[13]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[14]  Rong Su,et al.  Automatic Generation of Optimal Reductions of Distributions , 2019, IEEE Transactions on Automatic Control.

[15]  Stéphane Lafortune,et al.  Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems , 2016, IEEE Transactions on Automatic Control.

[16]  A. Ehrenfeucht,et al.  Positional strategies for mean payoff games , 1979 .

[17]  Krzysztof R. Apt,et al.  Lectures in Game Theory for Computer Scientists , 2011 .

[18]  Jan Komenda,et al.  Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication , 2017, Discret. Event Dyn. Syst..

[19]  Krishnendu Chatterjee,et al.  Looking at mean-payoff and total-payoff through windows , 2015, Inf. Comput..

[20]  Stéphane Lafortune,et al.  On optimal control of a class of partially observed discrete event systems , 2002, Autom..