Compositional Verification of Initial-State Opacity for Switched Systems Conference Proceeding

Best Open Access

Overview

CU Boulder Authors

Zamani, Majid

publication date

December 14, 2020

has restriction

green

Date in CU Experts

January 30, 2021 7:23 AM

Full Author List

Liu S; Swikir A; Zamani M

author count

3

citation count

4

published in

Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control Journal

presented at event

59th IEEE Conference on Decision and Control (CDC) Conference

Other Profiles

International Standard Serial Number (ISSN)

0743-1546

Electronic International Standard Serial Number (EISSN)

2576-2370

Digital Object Identifier (DOI)

https://doi.org/10.1109/cdc42340.2020.9304322

Additional Document Info

start page

2146

end page

2151