Abstract:The possible interactions between a controller and its environment can naturally be modelled as the arena of a two-player game, and adding an appropriate winning condition permits to specify desirable behavior. The classical model here is the positional game, where both players can (fully or partially) observe the current position in the game graph, which in turn is indicative of their mutual current states. In practice, neither sensing and actuating the environment through physical devices nor data forwarding to and from the controller and signal processing in the controller are instantaneous. The resultant delays force the controller to draw decisions before being aware of the recent history of a play and to submit these decisions well before they can take effect asynchronously. It is known that existence of a winning strategy for the controller in games with such delays is decidable over finite game graphs and with respect to ω -regular objectives. The underlying reduction, however, is impractical for non-trivial delays as it incurs a blow-up of the game graph which is exponential in the magnitude of the delay. For safety objectives, we propose a more practical incremental algorithm successively synthesizing a series of controllers handling increasing delays and reducing the game-graph size in between. It is demonstrated using benchmark examples that even a simplistic explicit-state implementation of this algorithm outperforms state-of-the-art symbolic synthesis algorithms as soon as non-trivial delays have to be handled. We furthermore address the practically relevant cases of non-order-preserving delays and bounded message loss, as arising in actual networked control, thereby considerably extending the scope of regular game theory under delay.

Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Synthesis of logical controllers and discrete-event systems supervisory control theory

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Synthesis of guaranteed dissipation controller for uncertain time-delay systems

Distributed Adaptive Controller for the Output-Synchronization of Networked Systems in Semi-Strict Feedback Form

Synchronisation of linear continuous multi-agent systems with switching topology and communication delay

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

Decentralized Variable Structure Control for Time-Delayed Interconnected Systems with Mismatched Uncertainties

Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses

Distributed Synthesis of Local Controllers for Networked Systems with Arbitrary Interconnection Topologies

Distributed Controller Design and Analysis of Second-Order Signed Networks With Communication Delays.

Overview of Networked Supervisory Control with Imperfect Communication Channels

Distributed Model Predictive Control with Asynchronous Controller Evaluations

Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses

Supervisor Synthesis for Multi-Agent Systems with Mutually Exclusive Resources.

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.

Indecision and Delays Are the Parents of Failure - Taming Them Algorithmically by Synthesizing Delay-Resilient Control.

Switching Controller Synthesis for Delay Hybrid Systems under Perturbations

Dynamic Triggering Mechanisms for Distributed Adaptive Synchronization Control and Its Application to Circuit Systems

Distributed Synchronization Control of Nonaffine Multiagent Systems with Guaranteed Performance