Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
Journal Article
Overview
publication date
- January 1, 2026
Date in CU Experts
- March 2, 2026 5:26 AM
Full Author List
- Zhong B; Dong W; Yin X; Zamani M
author count
- 4
published in
Other Profiles
International Standard Serial Number (ISSN)
- 0018-9286
Electronic International Standard Serial Number (EISSN)
- 1558-2523
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1
end page
- 16