Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

April 15, 2019

has restriction

closed

Date in CU Experts

July 24, 2019 1:48 AM

Full Author List

Lavaei A; Zamani M

Full Editor List

Ramachandran GS; Ortiz J

author count

2

citation count

2

presented at event

5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) held as part of the 12th Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/3313149.3313347

Additional Document Info

start page

3

end page

5