Resource-aware control and dynamic scheduling in CPS
Coffee / tea break
Recharging probably keeps batteries alive
by Holger Hermanns, Jan Krcal and Gilles Nies
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations
by Usman Sanwal and Osman Hasan
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems
by Sebastian Siegl and Martin Russer
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems
by Benjamin Beichler, Thorsten Schulz, Christian Haubelt and Frank Golatowski
Hybrid Secure Data Aggregation in Wireless Sensor Networks.
by Keyur Parmar and Devesh Jinwala
Current Challenges in the Verification of Hybrid Systems
by Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan and Stefan Kowalewski
Coffee / tea break
A Modelling Framework for Cyber-Physical System Resilience
by Manuela Bujorianu and Nir Piterman
Fault Localization of Energy Consumption Behavior using Maximum Satisfiability
by Shin Nakajima and Si-Mohamed Lamraoui
Core Research and Innovation Areas in Cyber-Physical Systems of Systems: Initial Findings of the CPSoS Project
by Michel Reniers, Sebastian Engell, Haydn Thompson, Radoslav Paulen and Christian Sonntag
Held in conjunction with ESWEEK 2015 on October 8 2015, Amsterdam, The Netherlands.
Cyber physical systems (CPS) combine computing and networking power with physical components. They enable innovation in a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. CyPhy'15 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus is on techniques and components to enable and support virtual prototyping and testing.