Optimal output feedback control of Timed Event Graphs including disturbances in a resource sharing environment
Philipp Goltz, Germano Schafaschek, Laurent Hardouin, Jörg Raisch
Abstract
Timed event graphs (TEGs) constitute a subclass of timed Petri nets that model synchronization and delay phenomena, but not conflict or choice. In a suitable mathematical framework (idempotent semirings such as the min-plus algebra), the temporal evolution of TEGs can be described by a set of linear equations. Recently, a method has been proposed for the optimal feedforward control of systems of TEGs that share one or more resources based on a prespecified priority policy. In this paper, we propose a feedback solution to deal with disturbances in such systems, which is not possible under the current feedforward approaches.
Topics & Concepts
Computer sciencePetri netFeed forwardSynchronization (alternating current)Event (particle physics)Shared resourceControl (management)Set (abstract data type)Control theory (sociology)Resource (disambiguation)Distributed computingControl engineeringArtificial intelligencePhysicsQuantum mechanicsComputer networkProgramming languageEngineeringChannel (broadcasting)Petri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance