Structural Controllability of Switching Max-Plus Linear Systems

We introduce a framework for studying controllability properties of discrete-event systems modelled as switching max-plus linear systems. In this framework, we generalise the notion of structural controllability to include the switching phenomenon. Such models provide an additional discrete input to change the synchronisation and/or ordering constraints of the system. In this paper, we solve the problem of assigning the throughput of the system by suitable controller configurations. In particular, we formulate structural conditions for the existence of controllers achieving stable stationary behaviour. We also classify the achievable throughput under different controller configurations.