Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates Journal Article
Overview
publication date
- January 1, 2022
has restriction
- bronze
Date in CU Experts
- July 30, 2021 2:49 AM
Full Author List
- Kalat ST; Liu S; Zamani M
author count
- 3
citation count
- 4
published in
- IEEE Control Systems Letters Journal
Other Profiles
International Standard Serial Number (ISSN)
- 2475-1456
Digital Object Identifier (DOI)
Additional Document Info
start page
- 890
end page
- 895
volume
- 6