Min-Plus realizable control design for partially observable timed event graphs under marking constraints
Karima Tebani, Saïd Amari
Topics & Concepts
ObservableEvent (particle physics)Computer scienceControl (management)Set (abstract data type)Control theory (sociology)MathematicsArtificial intelligenceProgramming languagePhysicsQuantum mechanicsPetri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling