Controller synthesis for infinite-state systems / synthese de controleurs pour des systemes a espace d'états infini

无限状态系统的控制器综合/synthese de controleurs pour des systemes a espace détats infini

• 批准号: 41803-2008
• 负责人: StDenis, Richard
• 金额: $ 1.43万
• 依托单位: Université de Sherbrooke
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2010
• 资助国家: 加拿大
• 起止时间: 2010-01-01 至 2011-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=450852
• 关键词: Controller; synthesis; infinite; state; systems

``Software must run closed loop.'' This statement from Robert Laddaga emerges from thinking about software agent evolution from conventional programs. Software agents require more monitoring and control because of their greater degree of autonomy, adaptation and mobility. The control of dynamic systems is a discipline that is born at the beginning of last century. Many solutions founded on powerful mathematical theories have been proposed for continuous systems and more recently for discrete event systems as programs or software agents. In the last case, the real impact is less significant, although several efforts have been made to elaborate a substantial theory called Supervisory Control Theory. Controlling programs during their execution implies, amongst other, solving fundamental problems related to their representation in a mathematical form. A natural way to represent a program is to use an automaton with a stack of unlimited size as well parameters that symbolize unbounded values. It results from this modelling pushdown systems and parameterized systems with infinitely many reachable states. Therefore, the control of infinite-state systems raises new important issues, which have been study very little in the past in the context of the Supervisory Control Theory, and constitutes the main subject of the present research program.

软件必须运行闭环。Robert Laddaga的这句话来自于对软件代理从传统程序进化的思考。软件代理人需要更多的监测和控制，因为他们更大程度的自主性，适应性和流动性。动态系统控制是上个世纪初诞生的一门学科。许多解决方案建立在强大的数学理论已经提出了连续系统和最近的离散事件系统作为程序或软件代理。在最后一种情况下，真实的影响并不那么显著，尽管人们已经做出了一些努力来阐述一种叫做监督控制理论的实质性理论。在程序执行过程中控制程序意味着解决与其数学形式表示相关的基本问题。表示程序的一种自然方法是使用一个自动机，它具有无限大小的堆栈以及象征无界值的参数。它的结果，从这个模型下推系统和参数化系统具有无限多个可达状态。因此，无限状态系统的控制提出了新的重要问题，这些问题在过去的监督控制理论的背景下研究得很少，并构成了本研究计划的主要课题。