Held in conjunction with CPSWeek 2014, April 14-17 2014, Berlin, Germany.

Thursday, April 10, 2014

Preliminary Program

8:00 - 8:15
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

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

An Undergraduate Cyber-Physical Systems Course (Position Paper)
12:30 - 1:30
1:30 - 3:30
Saving Virtual Testing Time for CPS by Analyzing Code Coverage on the Example of a Lane-Following Algorithm

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 - 
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