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: 

 http://www.springer.com/978-3-319-25140-0 

CyPhy 2015 Program

CyPhy 2015 Program

08:30-09:00	Registration
09:00-10:00	(Keynote) Resource-aware control and dynamic scheduling in CPS Maurice Heemels
10:00-10:30	Coffee / tea break
10:30-12:00	(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
12:00-13:30	Lunch
13:30-15:00	(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
15:00-15:30	Coffee / tea break
15:30-17:00	(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

Deadline Extension

Submission deadline for CyPhy 2015 has been extended to 

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

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. 

Lecture Notes in Computer Science Proceedings

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

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.