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

Event Dates

Oct 06, 2016 - Oct 06, 2016

Location

Pittsburgh, PA USA

Submission Deadline

Jul 10, 2016

(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.