.

Saturday, March 16, 2013

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

Sunday, March 10, 2013

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!

Monday, March 4, 2013

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.