Work

Hierarchical control for cyber–physical systems via general approximate alternating simulation relations

Year: 2026

Type: article

Source: Nonlinear Analysis Hybrid Systems

DOI: 10.1016/j.nahs.2026.101705

Authors: Bingzhuo Zhong, Murat Arcak, Majid Zamani

Institutions: Hong Kong University of Science and Technology, The Hong Kong University of Science and Technology (Guangzhou), University of California, Berkeley, University of Colorado Boulder

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Air Force Office of Scientific Research, Air Force Research Laboratory

Awards: Collaborative Research: CPS: Frontier: Computation-Aware Algorithmic Design for Cyber-Physical Systems, G2829080426, G4587855612

OpenAlex ID: W7139964072

FWCI:

Cites: 22

Cited by:

Related to: 10