List of Accepted Papers

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