Durchgängiger Entwurf diskreter Steuerungsprogramme mit Unterstützung durch formale Methoden

形式化方法支持的离散控制程序的端到端设计

• 批准号: 14024708
• 负责人: Professor Dr.-Ing. Dirk Abel
• 金额: --
• 依托单位: Lehrstuhl und Institut für Regelungstechnik (IRT)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/14024708?language=en
• 关键词: Durchg; ngiger; Entwurf; diskreter; Steuerungsprogramme

Der Entwurf diskreter Steuerungen wird seit mehreren Jahrzehnten untersucht. Die Fortschritte im Bereich von Modellierung, Analyse und Synthese in diesem Zeitraum sind beachtlich. Trotzdem sind in der Praxis kaum mehr als Abwandlungen der erforschten Modellierungsmethoden zu finden. Die Unterstützung des Anwenders bei einem auf formalen Methoden abgestützten Entwurf existiert praktisch nicht in industriellen Entwicklungsumgebungen der Steuerungstechnik wie z. B. Step7 von Siemens, CoDeSys von 3S etc. Stattdessen werden Steuerungen vielfach ohne formale Absicherung entworfen. Auf der Grundlage der Petrinetz-Theorie soll eine Durchgängigkeit von der mathematischen Modellbildung einschließlich der Analyse- und Syntheseverfahren zum Einsatz beim Entwurf einer Steuerung geschaffen werden. Mit der Methode des Rapid Control Prototyping existiert in der Automatisierungstechnik ein Rahmen, der eine solche Integration erlaubt, der bisher vorwiegend bei kontinuierlich beschriebenen Systemen angewandt wird. Die für ein RCP ereignisdiskreter Systeme notwendigen Ergänzungen des auf S/T-Netzen basierenden Petrinetz-Zustandsraum-Modells sollen im Rahmen des Vorhabens ebenso entwickelt werden wie eine Anpassung der Analyse- und Synthese-Verfahren an die Modell Änderungen. Gleichzeitig sollen Modell und Methoden gezielt für eine gute Unterstützung des Anwenders beim Entwurfsprozess entwickelt und angepasst werden. Für die praktische Erprobung an einer Fertigungsanlage im Modellmaßstab, welche über einen Feldbus an Entwicklungsumgebung oder Automatisierungsgerät angeschlossen wird, sollen Modell und entworfene Methoden in ein vorhandenes Petrinetz-Werkzeug integriert werden.

德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文德文。模型的分析与合成：基于数学模型的分析与合成。在实践中建立模型的方法与方法。德国西门子公司（Siemens）、德国西门子公司（CoDeSys）、德国西门子公司（Siemens）、德国西门子公司（CoDeSys）等。Stattdessen werden Steuerungen vielfach ohne正式Absicherung entworfen。数学建模与分析与综合：数学建模与分析与综合：数学建模与分析与综合：数学建模与分析与综合：数学建模与分析与综合。快速控制原型方法存在于自动化技术领域、集成技术领域、集成技术领域、系统技术领域。Die fgr in RCP ereignisdiskter Systeme not endigen Ergänzungen des auf S/T-Netzen basierenden petrinetz - zustandsstrom - models sollen in Rahmen des Vorhabens ebenso entwickelt werden eine Anpassung der Analyse- und Synthese-Verfahren and Die model Änderungen。数学模型与数学方法：数学模型与数学方法；数学模型与数学方法；数学模型与数学方法；数学模型与数学方法。[1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1]