Tradeoffs in Controller Synthesis (TriCS)

控制器综合 (TriCS) 中的权衡

基本信息

  • 批准号:
    255340027
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Research Grants
  • 财政年份:
    2014
  • 资助国家:
    德国
  • 起止时间:
    2013-12-31 至 2018-12-31
  • 项目状态:
    已结题

项目摘要

The goal of the proposed project is to increase the applicability of automated controller synthesis and to improve the quality of synthesized controllers} by developing techniques to analyze tradeoffs between optimization criteria like size and quality of the controller, and by developing algorithms to compute controllers that are optimal with respect to more than one of these criteria. This will allow to synthesize controllers with small memory requirements which satisfy their specification optimally (e.g., think of minimizing the waiting times between requests and their responses).We will study three types of optimization criteria, size, quality, and lookahead. Currently, matching upper and lower bounds on memory requirements are known for all common specification formalisms. On the other hand, recently much attention is paid to finding preference orders for controllers and to develop synthesis algorithms that yield optimal (with respect to these orders) controllers. The third dimension we consider here is the amount of lookahead on the inputs that is necessary for the controller to implement the specification.According to the state of the art there are two diverging approaches to synthesis: compute controllers within the upper bounds on memory requirements, but disregarding semantic quality, or to compute optimal controllers, which are much larger than the upper bounds. This raises the question whether there is a tradeoff between size and quality: are optimal controllers necessarily larger than generic ones? The same question arises between lookahead and size or quality, respectively.This project will answer these important questions and thereby join the two diverging approaches to synthesis by considering more than one optimization criterion at the same time. We advance the state of the art in synthesis by systematically studying the existence and extent of tradeoffs for the specification formalisms and preference orders discussed in the literature. Thereby, we add a new aspect to the synthesis problem beyond the classical ones like expressiveness of the specification formalism, algorithmic complexity of the synthesis problem for this formalism, and size of the synthesized controllers. Furthermore, for the first time, we will develop synthesis algorithms that take more than one optimization criterion into account.
所提出的项目的目标是增加自动控制器合成的适用性,并通过开发技术来分析优化标准(如控制器的大小和质量)之间的权衡,并通过开发算法来计算相对于多个这些标准最优的控制器,来提高合成控制器的质量。这将允许合成具有最佳地满足其规范的小存储器要求的控制器(例如,考虑最小化请求和响应之间的等待时间)。我们将研究三种类型的优化标准,大小,质量和前瞻。目前,匹配内存需求的上限和下限是已知的所有常见的规范形式主义。另一方面,最近很注意寻找控制器的偏好顺序,并开发合成算法,产生最佳的(相对于这些订单)控制器。我们在这里考虑的第三个维度是控制器实现规范所需的输入上的前瞻量。根据现有技术,有两种不同的合成方法:在内存要求的上限内计算控制器,但不考虑语义质量,或者计算最优控制器,这比上限大得多。这就提出了一个问题,是否有一个权衡的大小和质量:最佳控制器必须大于通用的?同样的问题出现在前瞻和大小或质量之间,分别。这个项目将回答这些重要的问题,从而通过同时考虑多个优化标准来将两种不同的合成方法结合起来。我们通过系统地研究文献中讨论的规范形式主义和偏好顺序的权衡的存在和程度,推进了合成的最新技术。因此,我们添加了一个新的方面的合成问题超出了经典的表达规范形式主义,算法的复杂性,这种形式主义的合成问题,和大小的合成控制器。此外,第一次,我们将开发综合算法,考虑到一个以上的优化标准。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Dr. Martin Zimmermann其他文献

Dr. Martin Zimmermann的其他文献

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

相似海外基金

CPS: Medium: Correct-by-Construction Controller Synthesis using Gaussian Process Transfer Learning
CPS:中:使用高斯过程迁移学习的构造校正控制器综合
  • 批准号:
    2039062
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Secure-by-Construction Controller Synthesis for Cyber-Physical Systems
信息物理系统的安全构建控制器综合
  • 批准号:
    2015403
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Next generation motion controller and synthesis for game characters
下一代运动控制器和游戏角色合成
  • 批准号:
    505237-2016
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Collaborative Research and Development Grants
Next generation motion controller and synthesis for game characters
下一代运动控制器和游戏角色合成
  • 批准号:
    505237-2016
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Collaborative Research and Development Grants
Next generation motion controller and synthesis for game characters
下一代运动控制器和游戏角色合成
  • 批准号:
    505237-2016
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Collaborative Research and Development Grants
Design of Energy Efficient Mechatronic Systems based on Automated Controller Synthesis and Trajectory Planning
基于自动控制器综合和轨迹规划的节能机电系统设计
  • 批准号:
    281969158
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Controller Synthesis Methods to Circumvent Passivity Violations
规避被动性违规的控制器合成方法
  • 批准号:
    444492-2013
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Controller Synthesis Methods to Circumvent Passivity Violations
规避被动性违规的控制器合成方法
  • 批准号:
    444492-2013
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Controller Synthesis Methods to Circumvent Passivity Violations
规避被动性违规的控制器合成方法
  • 批准号:
    444492-2013
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Controller Synthesis Methods to Circumvent Passivity Violations
规避被动性违规的控制器合成方法
  • 批准号:
    444492-2013
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Postgraduate Scholarships - Doctoral
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了