openCPS: Stochastic Models for the Design and Analysis of Open-Ended Cyber-Physical Systems

openCPS:用于开放式网络物理系统设计和分析的随机模型

基本信息

项目摘要

Cyber-physical systems (CPS) typically consist of one or more embedded devices that implement feedback loops to control processes in the physical world; thereby physical processes influence computations and vice versa. In contrast to traditional embedded control systems, CPS are primarily concerned with exploiting the interplay between physical dynamics and computation towards improving safety, quality, and efficiency among others.There is a wide range of applications that can be classified as CPS. Hence, specialized design and development approaches have originated. The great majority of these approaches focus on closed or bounded systems, i.e., those where the system's parts or components are fixed and known a priori. However, there are a number of recently upcoming applications such as smart grid, intelligent transportation systems, smart factories, etc., in which systems are often open-ended. That is the case where not all system's parts or components are known prior to runtime and, as a consequence, the system cannot be fully described during design.Open-ended CPS usually rely on autonomous mobile devices that form an ecosystem. The joint operation within this ecosystem provides functionality which is otherwise unattainable by single devices in isolation. As a result, there is a strong need for design and development techniques and methods that focus on the ecosystem as a whole. On the one hand, these techniques and methods need to provide systematic software engineering practices that allow managing the high complexity and help controlling so-called emergent behavior. On the other hand, they should support and ease the analysis and validation of timing and reliability properties, in particular, in the context of safety-critical applications where certification is required.Traditional design and development techniques from the embedded domain are normally of deterministic nature and, hence, less adequate for open-ended CPS which imply certain randomness, i.e., components may join and leave the system at arbitrary points in time. In contrast, the use of stochastic models allowing statistical and probabilistic techniques for timing/reliability analysis and validation seems to be more meaningful. Lately, in the literature, such methods have been proposed for estimating the WCET (worst-case execution time) of tasks and providing probabilistic schedulability guarantees in the presence of errors. However, these works focus on stochastically modeling a small and relatively isolated part of the system, viz., computation on one processor. In this project, we are concerned with the use of stochastic models for system-level design and analysis of open-ended CPS. We intend to investigate on approaches to incorporate randomness into existing computation and communication paradigms making them more amenable to stochastic modeling and, hence, to statistical and probabilistic design and analysis methods.
信息物理系统(CPS)通常由一个或多个嵌入式设备组成,这些设备实现反馈回路以控制物理世界中的过程;因此物理过程会影响计算,反之亦然。与传统的嵌入式控制系统相比,CPS主要关注利用物理动力学和计算之间的相互作用,以提高安全性,质量和效率等。CPS的应用范围很广。因此,专门的设计和开发方法应运而生。这些方法中的绝大多数集中在封闭或有界系统上,即,系统的部件或组件是固定的,并且是先验已知的。然而,最近有许多即将到来的应用,如智能电网,智能交通系统,智能工厂等,其中系统通常是开放式的。在这种情况下,并非所有系统的部件或组件在运行之前都是已知的,因此,在设计期间无法完全描述系统。开放式CPS通常依赖于形成生态系统的自主移动的设备。该生态系统内的联合操作提供了单独设备无法实现的功能。因此,迫切需要关注整个生态系统的设计和开发技术和方法。一方面,这些技术和方法需要提供系统的软件工程实践,允许管理高复杂性并帮助控制所谓的紧急行为。另一方面,它们应该支持和简化时序和可靠性特性的分析和验证,特别是在需要认证的安全关键应用的背景下。嵌入式领域的传统设计和开发技术通常具有确定性,因此,不太适合暗示一定随机性的开放式CPS,即,组件可以在任意时间点加入和离开系统。 相比之下,使用随机模型,允许统计和概率技术的时序/可靠性分析和验证似乎更有意义。最近,在文献中,已经提出了这样的方法来估计WCET(最坏情况下的执行时间)的任务,并提供概率可扩展性的保证,在错误的存在。然而,这些工作的重点是随机建模系统的一个小的和相对孤立的部分,即,计算在一个处理器上。在这个项目中,我们关注的是使用随机模型的系统级设计和分析的开放式CPS。我们打算调查的方法,将随机性纳入现有的计算和通信范式,使他们更适合随机建模,因此,统计和概率的设计和分析方法。

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Impact of probabilistic vehicle estimates on communication reliability at intelligent crossroads
概率车辆估计对智能十字路口通信可靠性的影响
  • DOI:
    10.1016/j.micpro.2020.103262
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Markert;P. Parsch;A. Masrur
  • 通讯作者:
    A. Masrur
A reliable MAC for delay-bounded and energy-efficient WSNs
Accounting for Reliability in Unacknowledged Time-Constrained WSNs
Analyzing the Impact of Probabilistic Estimates on Communication Reliability at Intelligent Crossroads
分析概率估计对智能十字路口通信可靠性的影响
Space-Efficient Traffic Protocols for Intelligent Crossroads
智能十字路口的节省空间的交通协议
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr.-Ing. Alejandro Masrur其他文献

Professor Dr.-Ing. Alejandro Masrur的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似国自然基金

Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:
基于梯度增强Stochastic Co-Kriging的CFD非嵌入式不确定性量化方法研究
  • 批准号:
    11902320
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CAREER: Marine Debris at Coastlines: predicting sources from drift, dispersion, and beaching via experiments and multiscale stochastic models
职业:海岸线的海洋碎片:通过实验和多尺度随机模型预测漂移、分散和搁浅的来源
  • 批准号:
    2338221
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Limit Theorems and Structural Properties of Stochastic Models
随机模型的极限定理和结构性质
  • 批准号:
    2889380
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
eMB: Collaborative Research: Discovery and calibration of stochastic chemical reaction network models
eMB:协作研究:随机化学反应网络模型的发现和校准
  • 批准号:
    2325184
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Macroscopic properties of discrete stochastic models and analysis of their scaling limits
离散随机模型的宏观性质及其标度极限分析
  • 批准号:
    23KK0050
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Fund for the Promotion of Joint International Research (International Collaborative Research)
Investigating evolution and complexity with stochastic models
使用随机模型研究演化和复杂性
  • 批准号:
    2889977
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the Critical Role of Seasonality for El Niño/Southern Oscillation (ENSO) Variability, Using Empirical Stochastic-Dynamic Models and Physics-Based Coupled Models
使用经验随机动态模型和基于物理的耦合模型了解季节性对厄尔尼诺/南方涛动 (ENSO) 变异性的关键作用
  • 批准号:
    2311162
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
eMB: Collaborative Research: Discovery and calibration of stochastic chemical reaction network models
eMB:协作研究:随机化学反应网络模型的发现和校准
  • 批准号:
    2325185
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Topics on discrete-time stochastic volatility models with applications in finance and insurance
离散时间随机波动率模型及其在金融和保险中的应用主题
  • 批准号:
    RGPIN-2018-04746
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
EAGER: Formal Analysis of Stochastic Models in Systems Biology Under Uncertainty
EAGER:不确定性下系统生物学随机模型的形式分析
  • 批准号:
    2227898
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
A Stochastic Approach for Empirical Analyses of Urban/Traffic Models with Multiple Equilibria
多重均衡城市/交通模型实证分析的随机方法
  • 批准号:
    22K04347
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了