Abstract: This paper studies the design of nondeterministic supervisors for Petri nets with uncontrollable and unobservable transitions under replacement attacks. We focus on the problem of liveness ...

When a warning light pops up on your dashboard, it's easy to brush it off-especially if the car seems to be running fine. But ...