Bounded opacity for timed systems
Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins
Topics & Concepts
Bounded functionObservabilityProperty (philosophy)OpacityAutomatonComputer scienceUndecidable problemNondeterministic algorithmTimed automatonReachabilityTheoretical computer scienceMathematicsDecidabilityApplied mathematicsMathematical analysisPhilosophyPhysicsEpistemologyOpticsFormal Methods in VerificationPetri Nets in System ModelingDistributed systems and fault tolerance