2013 Program

The schedule for the CyPhy 2013 Workshop, taking place on Monday April 8th is as follows:

8:30	-	8:40	Welcome
8:40	-	9:20	Design Space Exploration for Heterogeneous Multi Multi-Core Processor Dedicated Systems
			by Stefano Marchesani, Luigi Pomante, and Paolo Serri
9:20	-	10:00	Modeling Mobility for Networked Mobile Cyber-Physical Systems
			by Mohannad A. Alharthi and Abd-Elhamid M. Taha.
10:00	-	10:30	Coffee Break
10:30	-	11:10	Towards a Theory for Cyber-Physical Systems Modeling
			by Gabor Simko, Tihamer Levendovszky, Miklos Maroti and Janos Sztipanovits.
11:10	-	11:50	Assessing the use of MATLAB Simulink on the Development Process of an Unmanned Aerial Vehicle
			by Fernando Gonçalves, Rodrigo Donadel, Leando Becker and Guilherme Raffo.
11:50	-	1:00	Lunch
1:00	-	1:40	Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers
			by Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode and Rahul Mangharam.
1:40	-	2:20	HLA-DDS Data Object Mapping for CPS Simulation
			by Yunjung Park, Dugki Min and Yuan Xue.
2:20	-	3:00	Game-Theoretic Approach to Cyber-Physical Infrastructures: UltraScience Net Case Study
			by Nageswara Rao, Stephen Poole, Yu Tak Ma, Fei He, Jun Zhuang, and David Yau.
3:00	-	3:30	Coffee Break
3:30	-	4:10	A New Delay Specification for Cyber-Physical Systems Development
			by Tobias Bund and Frank Slomka.
4:10	-	4:50	OpenSimulator: An Open Platform for the Design, Modeling and Evaluation of Cyber Physical Systems
			by Cristina Lopes.
4:50	-	5:00	Short Break
5:00	-	6:00	Open Discussion
7:30	-	10:00	Optional Group Dinner

Book your place while supply lasts!

Just as proceedings were being finalized, news came in that CyPhy already has 20+ participants by the early registration deadline!  Please consider joining us in Philadelphia on April 8th for what promises to be a great event!

Early Registration Deadline

Only a few days to the early registration deadline for CPSWeek (and CyPhy), March 8th.  Registration website is here.

Accepted Papers

Design Space Exploration for Heterogeneous Multi Multi-Core Processor Dedicated Systems
by Stefano Marchesani, Luigi Pomante, and Paolo Serri

Modeling Mobility for Networked Mobile Cyber-Physical Systems
by Mohannad A. Alharthi and Abd-Elhamid M. Taha.

Towards a Theory for Cyber-Physical Systems Modeling
by Gabor Simko, Tihamer Levendovszky, Miklos Maroti and Janos Sztipanovits.

Assessing the use of MATLAB Simulink on the Development Process of an Unmanned Aerial Vehicle
by Fernando Gonçalves, Rodrigo Donadel, Leando Becker and Guilherme Raffo.

Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers 
by Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode and Rahul Mangharam.

HLA-DDS Data Object Mapping for CPS Simulation
by Yunjung Park, Dugki Min and Yuan Xue.

Game-Theoretic Approach to Cyber-Physical Infrastructures: UltraScience Net Case Study
by Nageswara Rao, Stephen Poole, Yu Tak Ma, Fei He, Jun Zhuang, and David Yau.

A new delay specification for cyber-physical systems development
by Tobias Bund and Frank Slomka.

OpenSimulator: An Open Platform for the Design, Modeling and Evaluation of Cyber Physical Systems
by Cristina Lopes.

Deadline Extension

Due to multiple requests, the deadline has been extended to February 8th.  To ensure that the PC has enough time to review all submissions, no further extensions will be possible.

Three Weeks to the Deadline!

Only three weeks are left to the deadline for submitting papers to CyPhy 2013 (part of CPSWeek).  

If you haven't started writing yet, now is the time!

This year, there are three categories of papers (research, tutorial, and demos).  Research papers contain novel technical results.  Note that research papers can include evaluations of tools.  Tutorial papers are introductions to a tool that you either use or have built yourself, and for which you would like to see a better tutorial than what is out there.  Demo papers describe a tool demonstration that you would like to make at the workshop.

CyPhy joins CPSWeek

Newsflash!  The proposal to hold CyPhy as part of CPS 2013 in Philadelphia was approved.  A preliminary call for papers along with a tentative list of PC members is now available on this website.  Submission deadline is February 1st, so, it's time to start working on those papers!

CyPhy aims to bring together researchers and practitioners working in the areas of modeling, simulation, and evaluation of cyber-physical systems. In 2013, CyPhy will take a broad interpretation of these areas. A priority for this first instance of this workshop with CPSWeek is to bring together expertise from as diverse set of disciplines as possible.

Topics of interest include, but are not limited to:

• Foundations: Hybrid automata and hybrid systems, models of computation, modeling and simulation languages

• Methods: Specifications and evaluation of processes for modeling, testing, simulation, and evaluation of new cyber-physical systems

• Case studies: These can include studies describing the development of industrial or research cyber-physical systems in domains such as robotics, smart systems (homes, vehicles, buildings), medical and healthcare devices, future-generation networks.

• Tools: Evaluation of novel research tools, comparisons of state of the art tools in industrial practice

Submissions can be in the categories of 1) research papers, 2) tutorial papers, and 3) tool demonstrations.  Research papers will judged for technical novelty and scientific merit.  Tutorial papers and tool demonstrations will be judged on clarity and accessibility.