  This paper investigates the coordination control of discrete event systems in
the presence of combined sensor and actuator attacks. Discrete event systems
are modeled as automata, and sensor attacks are defined using specific attack
languages. The approach involves employing multiple local supervisors to
control the system. The primary objective is to devise these local supervisors
to ensure the system's safety, even when facing sensor and actuator attacks.
The paper establishes the necessary and sufficient conditions for the existence
of such supervisors in terms of conditional decomposability,
CA-controllability, and CA-observability. Furthermore, a methodology is
developed to compute local state estimates when sensor attacks occur. Based on
the local state estimates, local supervisors are designed to ensure the safety
of a system even under cyber attacks.
