Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

July 1, 2024

Date in CU Experts

December 31, 2024 6:08 AM

Full Author List

Zhong B; Dong W; Yin X; Zamani M

author count

4

citation count

0

published in

IFAC-PapersOnLine Journal

presented at event

8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) Conference

Other Profiles

International Standard Serial Number (ISSN)

2405-8963

Digital Object Identifier (DOI)

https://doi.org/10.1016/j.ifacol.2024.07.429

Additional Document Info

start page

81

end page

86

volume

58

issue

11