征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

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

征稿信息

重要日期

2016-08-25
初稿截稿日期
2016-10-31
终稿截稿日期

征稿范围

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

留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    12月12日

    2016

    12月14日

    2016

  • 08月25日 2016

    初稿截稿日期

  • 10月31日 2016

    终稿截稿日期

  • 12月14日 2016

    注册截止日期

主办单位
IEEE
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询