Abstract: Conventional model predictive current control (MPCC) has superiorities on simple control structure, fast dynamic response time, and easy implementation. However, MPCC applied to permanent ...

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 ...