Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse

混合过程分布式控制系统的集成算法和演绎验证

• 批准号: 5301549
• 负责人: Professor Dr.-Ing. Sebastian Engell
• 金额: --
• 依托单位: Lehrstuhl für Systemdynamik und Prozessführung (DYN)
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5301549?language=en
• 关键词: Integrierte; algorithmische; und; deduktive; Verifikation

Um das Ziel einer Verifikation von Systemen realer Komplexität zu erreichen, sind Techniken zur Strukturierung und Vereinfachung des Modells unabdingbar. In diesem Projekt wird daher der Schwerpunkt auf Methoden der Dekomposition und Abstraktion gelegt. Obwohl diese in der Ingenieurpraxis intuitiv allgemein üblich sind, ist es nicht einfach, diese Vorgehensweise zu formalisieren und exakt nachvollziehbar zu machen. Anhand des im ersten Antragsjahr aufbereiteten komplexen Fallbeispiels sollen unterschiedliche Abstraktions- und Dekompositionstechniken untersucht werden. Mit einem formalen Modell für das Fallbeispiel können die Ergebnisse verallgemeinert und einer größeren Systemklasse zugeführt werden. Dieser Fortsetzungsantrag beschreibt die Ziele für ein drittes Antragsjahr und Modifikationen für das zweite Jahr der Laufzeit, die aus den Ergebnissen der bisher geleisteten Arbeiten folgen.

这就是我所说的一切都是正确的，但这并不是一件容易的事。在我们的项目中，我们可以找到一种新的方法来解决问题。这句话的意思是：“我不知道我的意思是什么，也不知道怎么做才好。”这句话的意思是：“这是一件很难理解的事情。”MIT einem formalen modell für das Fallbeispiel können die Ergebnisse verallgmeinert and einer gröçeren Eren Systemkraasse zugeführden.这是一项重大的改革和改革工作，它的目的是为了更好地满足客户的需求。