Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

MARTCPS is about engineering of cyber physical systems (CPS) through models at runtime and networked control. CPS are distributed, software-intensive smart systems that control—through feedback loops—tightly integrated computational and physical components. To support automated reasoning about dynamic system uncertainty and variability—and assurance in turn, a key strategy is to support continuous validation through models at runtime (MART).

Call for paper

Important date

2016-08-25
Draft paper submission deadline
2016-10-31
Final paper submission deadline

Submission Topics

That potential has been enabled by a host of new technologies, including the IoT, but also sensing and robotic technologies, and promises to deliver smarter engineered systems for application that include autonomous vehicles, smart power grids, renewable energy, intelligent manufacturing plants, adaptive supply chains, medical robotic devices, urban traffic control and smart buildings.

  • Workshop topics include, but are not limited to:
    Inter-disciplinary approaches for building CPS

  • Runtime models for engineering CPS (e.g., for monitoring and adaptation)

  • Multi-paradigm modeling in CPS (e.g., task models, functional models, dependability models, performance models, big data models, simulation models)

  • Feedback control for engineering CPS

  • Self-adaptation in CPS

  • Adaptive monitoring and sensing for CPS

  • Distributed and hierarchical algorithms for control

  • Smart networking and networked control

  • Timing aspects and timing analysis

  • Dynamic context management for CPS environments

  • Uncertainty management in CPS environments

  • Integrating the human in the loop in CPS

  • Assurances for CPS, Runtime validation and verification (V&V)

  • Security and verification models for CPS

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Dec 12

    2016

    to

    Dec 14

    2016

  • Aug 25 2016

    Draft paper submission deadline

  • Oct 31 2016

    Final Paper Deadline

  • Dec 14 2016

    Registration deadline

Sponsored By
IEEE