posted by user: mpstew || 15065 views || tracked by 5 users: [display]

CyPhy 2016 : The 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems

FacebookTwitterLinkedInGoogle

Link: http://www.cyphy.org/
 
When Oct 6, 2016 - Oct 6, 2016
Where Pittsburgh, PA USA
Submission Deadline Jul 10, 2016
Notification Due Aug 24, 2016
Final Version Due Sep 5, 2016
Categories    modeling   cyber-physical systems   simulation   testing
 

Call For Papers

(Held in conjunction with ESWEEK 2016)

Scope
=======

Cyber physical systems (CPSs) combine computing and networking power
with physical components. They enable innovation in a wide range of
domains including robotics; smart homes, vehicles, and buildings;
medical implants; and future-generation sensor networks. CyPhy'16 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 interest include, but are not limited to the following aspects
of cyber-physical systems:

Foundations: models of computation, modeling and simulation languages
for hybrid and cyber-­physical systems, including hybrid automata and
hybrid process theory, as well as other integrations of
control-­theoretic and discrete-­event models;

Methods: Specifications and evaluation of processes for rigorous
modeling, testing, simulation, and verification of new cyber-­physical
systems;

Case studies: Development of industrial or research ­oriented
cyber­-physical systems in domains such as robotics, smart systems
(homes, vehicles, buildings), medical and healthcare devices, future
generation networks; and

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

Related Resources

SMGSSP 2017   Smart Micro-Grid Systems Security and Privacy
ICFEM 2017   19th International Conference on Formal Engineering Methods
ICCD 2017   International Conference on Computer Design
CGDEIJ 2017   Computer Game Development and Education: An International Journal
CyberSciTech 2017   The IEEE Cyber Science and Technology Congress 2017
EDCC 2017   13th European Dependable Computing Conference
SCPE_CCNCPS 2017   Special issue on Communication, Computing, and Networking in Cyber-Physical Systems
RTCSA 2017   The 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
ICCSS 2017   IEEE-2017 7th International Conference on Circuits, System and Simulation (ICCSS 2017)-Ei Compendex
CCOE - CFP 2017   Cyber Center of Excellence (CCOE) Call For Research Papers