The deadline for The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop is September 23, 2013. The workshop, which addresses topics very closely related to CyPhy, and will take place this year in Vancouver, Canada (Co-located with RTSS 2013). The workshop focuses on analytic techniques that enable the early discovery of faults in CPS before the system is integrated or its parts are built. Such an approach is known as analytic virtual integration. The objective is to discover and resolve problems early during the design and implementation phases where cost impact is low. The call for paper for the workshop can be found at the following URL: http://www.
Third Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'13)
Wednesday, September 4, 2013
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.
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.
Sunday, February 3, 2013
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.
Friday, January 11, 2013
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.
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.
Subscribe to:
Posts (Atom)