Abstract: This article studies the attack-resilient output formation containment of general high-order heterogeneous multigroup systems under unknown unbounded attacks. The multigroup systems consist ...

Abstract: This paper addresses the problems of diagnosability verification and enforcement of discrete event systems modeled with unbounded Petri nets. Diagnosability in such systems is critical for ...