On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
Rong Su
Topics & Concepts
SupervisorDecidabilityKey (lock)Computer securityComputer scienceString (physics)Resilience (materials science)Wireless sensor networkCyber-physical systemSet (abstract data type)Distributed computingTheoretical computer scienceComputer networkMathematicsPolitical scienceThermodynamicsLawOperating systemPhysicsProgramming languageMathematical physicsPetri Nets in System ModelingFormal Methods in VerificationSecurity and Verification in Computing