Monitoring and control of cyber-physical systems.
Submitted by Todd Humphries on November 17th, 2015
Submitted by Insup Lee on November 17th, 2015
Submitted by Pierluigi Pisu on November 17th, 2015
Submitted by Jessy Grizzle on November 17th, 2015
File
FORCES Highlights
Submitted by S. Sastry on November 17th, 2015
Event
ICGT 2016
9th International Conference on Graph Transformation (ICGT 2016)
Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models.
Submitted by Anonymous on November 3rd, 2015
Event
CREST 2016
CREST: 1st Workshop on Causal-based Reasoning for Embedded and Safety-Critical Systems Technologies
Satellite event of ETAPS 2016
Topic
Submitted by Anonymous on October 8th, 2015
Event
CPSS 2016
2nd ACM Cyber-Physical System Security Workshop (CPSS 2016)
held in conjunction with ACM AsiaCCS'16
Submitted by Anonymous on October 2nd, 2015
File
CFP_WFCS2016.pdf
Submitted by Amy Karns on September 18th, 2015
Event
ICCPS 2016
7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016)
held as part of CPS Week 2016 to be held in Vienna, Austria, from 11 to 14 April 2016.
Submitted by Anonymous on September 18th, 2015