Conferences (12 - 14 April 2016)
The CPSWeek brings together four leading conferences - HSCC, ICCPS, IPSN and RTAS - as well as several workshops and tutorials on various aspects on the research and development of cyber-physical systems: Embedded Systems, Hybrid Systems, Real-Time Systems, and Sensor Networks.
- HSCC 2016 - the 19th ACM International Conference on Hybrid Systems: Computation and Control
- ICCPS 2016 - the 7th ACM/IEEE International Conference on Cyber-Physical Systems
- IPSN 2016 - the 15th ACM/IEEE International Conference on Information Processing in Sensor Networks
- RTAS 2016 - the 22nd IEEE Real-Time and Embedded Technology and Applications Symposium
Workshops
- ARCH 2016 - 3rd International Workshop on Applied veRification for Continuous and Hybrid Systems
- ConsIoT 2016 - 1st International Workshop on Consumers and the Internet of Things
- CPPS 2016 - 1st International Workshop on Cyber-Physical Production Systems
- CPS Data - 2nd International Workshop on modelling, analysis, and control of complex CPS
- CPSR-SG 2016 - Joint International Workshop on Cyber-Physical Security and Resilience in Smart Grids
- CySWater 2016 - 2nd International Workshop on Cyber-Physical Systems for Smart Water Networks
- DARS 2016 - Workshop on Design and Analysis of Robust Systems
- DCPS 2016 - First CPSWeek Workshop on Declarative Cyber-Physical Systems
- EITEC 2016 - 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems
- IDEA 2016 - Integrating Dataflow, Embedded Computing, and Architecture
- Medical CPS 2016 - 7th International Workshop on Medical Cyber-Physical Systems
- MSCPES 2016 - Modeling and Simulation of Cyber-Physical Energy Systems
- MT CPS 2016 - Monitoring and Testing Cyber-Physical Systems
- SCOPE 2016 w/GCTC - 1st International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) in partnership with Global City Teams Challenge (GCTC)
- SCSP-W - Smart City Security and Privacy Workshop
- SelPhyS 2016 - Self-Awareness in Cyber-Physical Systems
- SNR 2016 - Symbolic and Numerical methods for Reachability Analysis
- SOSCYPS - Science of Security of CPS
- SPBD 2016 - 1st Workshop on Security and Privacy in Big Data
- TuToR - Tutorial-Workshop on Tools for Real-Time Systems
Tutorials
- Control Theoretical Tools for Analysis and Design of Cyber-Physical Systems
- Domain Specific Language and Management Environment for Extensible Cyber Physical Systems
- From Idea to Provably Safe Implementation – Modeling, Proving, Simulation, and Synthesis in KeYmaera X
- Game-Theoretic Methods for Cyber-Physical Systems
- Modelling and Analysis of Communicating Systems
- Parameter-Invariant Monitor Design for Cyber Physical Systems
Competition
Summits
- CPS Community Forum
- CPSoS : Cyber-Physical Systems of Systems
- EMC2 – Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments
- Transatlantic Cyber-Physical Systems Summit