Analyse und Synthese diskreter Steuerungen hybrider Systeme

混合动力系统离散控制分析与综合

• 批准号: 5167326
• 负责人: Professor Dr.-Ing. Heinrich Rake
• 金额: --
• 依托单位: Lehrstuhl und Institut für Regelungstechnik (IRT)
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5167326?language=en
• 关键词: Analyse; und; Synthese; diskreter; Steuerungen

Ziel der Arbeiten ist es, den korrekten Entwurf diskreter Steuerungen hybrider technischer Systeme und hier insbesondere von Ablauf- und Koordinierungssteuerungen mit formalen Methoden zu unterstützen. Ausgehend von den Arbeiten zur Modellbildung von hybriden Systemen mit Petri-Netzen und Differentialgleichungen sollen zunächst auf der Basis des Evolutionsgraphen entsprechende Analyseverfahren entwickelt werden. Um die Erreichbarkeitsanalyse auch für umfangreiche Systeme anwenden zu können, sind die vorhandenen Verfahren zum Aufbau hierarchischer Strukturen weiterzuentwickeln. Für den Fall des fehlerhaften Verhaltens der entworfenen Steuerung sind weiterhin Verfahren zur automatischen Synthese von Korrekturen des Modells der Steuerung zu entwerfen. Die Ergebnisse sollen ferner in das am Institut für Regelungstechnik entwickelte Programmsystem zur rechnergestützten Beschreibung und Analyse von PetriNetzen einfließen und an geeigneten Beispielprozessen erprobt werden.

Ziel der Arbeiten is es，den korrekten Entwurf diskreter Steuerungen hybrider technischer Systeme und schoinsbesondere von Ablauf- und Koordinierungssteuerungen mit formalen Methoden zu unterstützen.用Petri网和微分方程建立混合系统的数学模型，可以在进化图的基础上进行韦尔登。Um die Erreichbarkeitsanalysis auch für umfangreiche Systeme anwenden zu können，sind die vorhandenen Verfahren zum Aufbau hierarchischer Strukturen weiterzuentwickeln. Für den Fall des fehleraperten Verhaltens der entworfenen Steuerung sind weiterhin Verfahren zur automatischen Synthese von Korrekturen des Models der Steuerung zu entwerfen.该工程解决方案是由一个研究所开发的程序系统，它可以对PetriNetzen的错误进行重新设计和分析，并在韦尔登上运行。