Work

Safety Control of Switched Systems via Multiple Barrier Functions

Year: 2025

Type: article

Source: IEEE Transactions on Automatic Control

DOI: 10.1109/tac.2025.3552136

Authors: Lijun Long, Chunxiao Huang, Zhendong Sun

Institutions: Northeastern University, Shandong University of Science and 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, Higher Education Discipline Innovation Project, Liaoning Revitalization Talents Program, Fundamental Research Funds for the Central Universities

Awards: G2311391187, G3750900206, G4937641433, G8635724999

OpenAlex ID: W4408519919

FWCI: 8.647

Cites: 52

Cited by: 18

Related to: 10