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

Proceedings in ACM DL

The proceedings are now in the ACM Digital Library (DL). Enjoy!

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

Resubmission of papers from CyPhy 2012 and 2013

This year CyPhy will have published proceedings with the ACM. Authors who submitted papers to CyPhy 2012 or 2013, which had no published proceedings, may resubmit them to this year's workshop with a footnote indicating past submission.

Call for Papers

The ACM Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14) brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.  The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing.

Topics of of interest include, but are not limited to:  autonomous systems, case studies, communications, cooperative systems, control theory, embedded software, ethics, foundations, game theory, healthcare and medical applications, human factors, human-in-the-loop issues, hybrid automata and systems, industrial applications, intelligent and smart systems, mechatronics, methodology, mobility, model validation, modeling, models of computation, power and energy management, privacy, robotics, security, simulation, co-simulation, stochastic methods, tools, transportation and aerospace systems, transportation systems, uncertainty methods, validated numerics, verification, and virtual prototyping.

Proceedings will be published with the ACM, and will appear in the ACM Digital Library.

Important Dates

Submission deadline:	January 31, 2014
Notifications:	February 28, 2014
Camera Ready:	March 21, 2014
Workshop:	April 14, 2014

Submissions can be in any one of several categories: 

• regular research paper, 
• work in progres, 
• tutorial paper, 
• tool demonstration, 
• position paper, and 
• extended abstract.  

Regular research papers will be judged for technical novelty and scientific merit.  Any previous publication in any form must be explicitly identified and cited on the first page of the submission.  Papers in all other categories will be judged on clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop.  Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version.  Initial and camera-ready submission should be in an approved ACM conference style.

With the exception of extended abstracts, papers can be up to four pages long.  Extended abstracts must be one page long.  All accepted papers will receive the same amount of time for presentation and discussion at the workshop.  Submissions should be made online using the dedicated EasyChair page.

Program Committee

Stanley Bak, Air Force Research Lab

Christian Berger, Chalmers and University of Gothenburg

David Broman, UC Berkeley

Manuela Bujorianu, University of Warwick

Alexandre Chapoutot, ENSTA ParisTech

Domitilla Del Vecchio, MIT

Alexandre Donzé, UC Berkeley

Atiyah Elsheikh, Austrian Institute of Technology

Claus Führer, Lund University

Holger Giese, University of Potsdam

Jeff Gray, University of Alabama

Daisuke Ishii, National Institute of Informatics

Gabor Karsai, Vanderbilt University

Heinz Koeppl, ETH Zurich

Ralf Laemmel, University of Koblenz-Landau (Co-Chair)

Zhiyun Lin, Zhejiang University

Rahul Mangharam, University of Pennsylvania

Radu Marculescu, Carnegie Mellon University

Bud Mishra, New York University

Ahmed Oteafy, Alfaisal University

Enrico Pagello, University of Padua

Roland Philippsen, Halmstad University

Nageswara Rao, Oak Ridge National Laboratory

Maytham Safar, Kuwait University

Christian Schlegel, University of Applied Sciences

Ulrik Schultz, University of Southern Denmark

Sibylle Schupp, Hamburg University of Technology

Serge Stinckwich, University of Caen-Lower Normandy

Walid Taha, Halmstad & Rice Universities (Co-Chair)

Domitilla Del Vecchio, MIT

Publicity Chairs

Roland Philippsen, Halmstad University
Abd-Elhamid Taha, Al-Faisal University

Advisory Committee

Manfred Broy, Technische Universität München, Germany.
Karl Iagnemma, MIT, USA.
Karl Henrik Johansson, Royal Institute of Technology, Sweden.
Insup Lee, University of Pennsylvania, USA.
Pieter Mosterman, McGill University, Canada
Janos Sztipanovits, Vanderbilt University, USA