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.

Friday, August 26, 2016

CyPhy 2016 Program

CyPhy 2016 Program



Jyotirmoy Deshmukh, Toyota Technical Center

Formal methods for cyberphysical systems in the automotive domain


Coffee / tea break

Ken Vanherpen, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe. Ontological Reasoning as an Enabler of Contract-Based Co-Design.

Waheed Ahmad, Bugra Mehmet Yildiz, Arend Rensink and Marielle Stoelinga. A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.

Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner. Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.

Kenichi Betsuno, Shota Matsumoto and Kazunori Ueda. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.


Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue and Jannis Weiser. SysML to NuSMV model transformation via object-orientation.

Stefan Schwab, Bern Holzmueller and Soeren Hohmann. Automated Verification of Switched Systems using Hybrid Identification.

Jonas Westman, Mattias Nyberg and Oscar Thyden. CPS Specifier -- A Specification Tool for Safety-Critical Cyber-Physical Systems.


Coffee / tea break
Shafiul Azam Chowdhury, Taylor Johnson and Christoph Csallner. CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments.

Fergus Leahy and Naranker Dulay. Ardan: Using 3D Game Engines in Cyber-Physical Simulations.

Tuesday, November 3, 2015

CyPhy 2015 and LNCS Proceedings

CyPhy 2015 was held on October 8 in Amsterdam with ca. 25 participants during the workshop and very lively and interesting discussion.

The LNCS proceedings of the workshop has been distributed during the workshop and is now available online from the following URL: 


Tuesday, October 6, 2015

CyPhy 2015 Program

Resource-aware control and dynamic scheduling in CPS
Maurice Heemels
Coffee / tea break

(Research paper)
Recharging probably keeps batteries alive
by Holger Hermanns, Jan Krcal and Gilles Nies

(Research paper)
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations
by Usman Sanwal and Osman Hasan

(Invited paper)
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems
by Sebastian Siegl and Martin Russer
(Research paper)
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

(Research paper)
Hybrid Secure Data Aggregation in Wireless Sensor Networks.
by Keyur Parmar and Devesh Jinwala

(Invited paper)
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
(Research paper)
A Modelling Framework for Cyber-Physical System Resilience
by Manuela Bujorianu and Nir Piterman

(Research paper)
Fault Localization of Energy Consumption Behavior using Maximum Satisfiability
by Shin Nakajima and Si-Mohamed Lamraoui

(Invited paper)
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

Wednesday, June 10, 2015

Deadline Extension

Submission deadline for CyPhy 2015 has been extended to 

June 17, 2015 (23:59, Anywhere on Earth).

Wednesday, April 8, 2015

Invited Speaker: Maurice Heemels (TU Eindhoven)

We are honored to have prof.dr. Maurice Heemels, of the Control System Technology group, Eindhoven University of Technology, The Netherlands, as the invited speaker for CyPhy 2015. 

Thursday, April 2, 2015

Lecture Notes in Computer Science Proceedings

The proceedings of CyPhy 2015 will be published as a volume of Lecture Notes in Computer Science. 

Saturday, March 7, 2015

CyPhy part of ESWeek 2015 in Amsterdam!

The proposal to hold CyPhy as part of ESWeek 2015 in Amsterdam was approved. A preliminary call for papers will be announced shortly.