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

Friday, March 7, 2014

List of Accepted Papers

  • Albert M. K. Cheng. An Undergraduate Cyber-Physical Systems Course
  • Hauke StähleKai 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