wikidata.org
Cyber-Physical Systems Week
container_irmcje32jne3revnaot2gl4ou4
Homepage URLs
http://cpsweek.org/ |
Example Publications
Towards foundational verification of cyber-physical systems
Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
2016
|
Cyber-Physical Systems Week
doi:10.1109/soscyps.2016.7580000 dblp:conf/cpsweek/MalechaRAL16
Enabling privacy in a gaming framework for smart electricity and water grids
Cristina Rottondi, Giacomo Verticale
2016
|
Cyber-Physical Systems Week
doi:10.1109/cyswater.2016.7469059 dblp:conf/cpsweek/RottondiV16
Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Marta Kwiatkowska
2016
|
Cyber-Physical Systems Week
doi:10.1109/soscyps.2016.7579999 dblp:conf/cpsweek/Kwiatkowska16
From control system security indices to attack identifiability
Henrik Sandberg, Andre M.H. Teixeira
2016
|
Cyber-Physical Systems Week
doi:10.1109/soscyps.2016.7580001 dblp:conf/cpsweek/SandbergT16
Message from the Workshop Chairs
P. Tsakalides, B. Beferull-Lozano
2016
|
Cyber-Physical Systems Week
doi:10.1109/cyswater.2016.7469065 dblp:conf/cpsweek/TsakalidesB16