Abstract:We discuss the scheduling of a set of networked control systems implemented over a shared communication network. Each control loop is described by a linear-time-invariant (LTI) system with an event-triggered implementation. We assume the network can be used by at most one control loop at any time instant and after each controller update, a pre-defined channel occupancy time elapses before the network is available. In our framework we offer the scheduler two options to avoid conflicts: using the event-triggering mechanism, where the scheduler can choose the triggering coefficient; or forcing controller updates at an earlier pre-defined time. Our objective is avoiding communication conflict while guaranteeing stability of all control loops. We formulate the original scheduling problem as a control synthesis problem over a network of timed game automata (NTGA) with a safety objective. The NTGA is obtained by taking the parallel composition of the timed game automata (TGA) associated with the network and with all control loops. The construction of TGA associated with control loops leverages recent results on the abstraction of timing models of event-triggered LTI systems. In our problem, the safety objective is to avoid that update requests from a control loop happen while the network is in use by another task. We showcase the results in some examples.

Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using Min-Plus algebra

Algebraic Control Strategy for Solving the Mutual Exclusion Constraint Problem in a Network of Timed Event Graphs With Disturbance Inputs: Application to an Assembly Process

Supervisor Synthesis for Enforcing a Class of Generalized Mutual Exclusion Constraints on Petri Nets

Supervisor Synthesis For Enforcing Gmecs On A Controlled Petri Net

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

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

Forbidden State Avoidance Controller Synthesis for Petri Nets

Control synthesis for a class of controlled Petri nets

Combined Controller Synthesis forMarked Graphs

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

Synthesis of Petri Net Controller to Enforce Conjunction of GMEC Using Observer.

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control

A Min-Plus Algebraic Model For Performance Evaluation Of Continuous Event Graphs

An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions

Algebraic approach to continuous event graphs without input

Decentralized Supervisory Control of Generalized Mutual Exclusion Constraints in Petri Nets

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Scheduling of Event-Triggered Networked Control Systems using Timed Game Automata

Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic

Towards Geometric Time Minimal Control without Legendre Condition and with Multiple Singular Extremals for Chemical Networks