Work

Set‐Theoretic Safety Control With Formal Guarantees for Uncertain Linear Systems Under Sensor Attacks

Year: 2026

Type: article

Source: International Journal of Robust and Nonlinear Control

DOI: 10.1002/rnc.70564

Authors: Lu Liu, Liren Yang, Ruochen Tai, Yu‐Chu Tian, Chunjie Zhou

Institutions: Huazhong University of Science and Technology, Queensland University of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Australian Research Council

Awards: G2727820605, G397539275, Mitigating the risks of cyberattacks on cyber-physical power systems, G8651503409, G8899279166

OpenAlex ID: W7160849865

FWCI:

Cites: 30

Cited by:

Related to: