Preliminary Program

8:00 - 8:15	Registration
8:15 - 8:30	Opening remarks
8:30 - 10:30	Model-Predictive Control from Signal Temporal Logic Specifications: A Case Study by Vasumathi Raman, Mehdi Maasoumy and Alexandre Donze Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work-in-Progress) by Stanley Bak Analysis, Verification, and Management Toolsuite for Cyber-Physical Applications on Time-Varying Networks (Work-in-Progress) by William Emfinger, Gabor Karsai, Abhishek Dubey and Aniruddha Gokhale Complex Systems Techniques for Cyber-Physical Systems (Position Paper) by Manuela Bujorianu and Robert S. MacKay
10:30 - 11:00	Coffee Break
11:00 - 12:30	Drive-by-Wireless with the eCar Demonstrator by Hauke Stähle, Kai Huang and Alois Knoll aLS-Coop-Loc: Cooperative Combined Localization and Time-Synchronization in Underwater Acoustic Networks by Wouter van Kleunen, Nirvana Meratnia and Paul Havinga Cyber-Physical Cloud Computing implemented as PaaS by Clemens Krainer and Christoph Kirsch An Undergraduate Cyber-Physical Systems Course (Position Paper) by Albert M. K. Cheng
12:30 - 1:30	Lunch
1:30 - 3:30	Saving Virtual Testing Time for CPS by Analyzing Code Coverage on the Example of a Lane-Following Algorithm by Christian Berger Model-Based Design and Analysis of a Reconfigurable Continuous-Culture Bioreactor (Work-in-Progress) Luan Viet Nguyen, Taylor T Johnson, Amol Vengurlekar, Ruoshi Zhang, by Kristopher I White and Victor Salinas Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols (Position Paper) by Admar Ajith Kumar Somappa and Kent Inge Fagerland Simonsen
3:30 -  4:00	Coffee Break
4:00 - 4:30	Controller/Platform Co-Design of Networked Control Systems Based on Density Functions by Tobias Bund and Frank Slomka
4:30 - 5:30	Panel Discussion