Automatic Verification of Hybrid System Stability (H04)

混合动力系统稳定性自动验证（H04）

• 批准号: 5425851
• 金额: --
• 依托单位: Saarland Informatics Campus (SIC)
• 依托单位国家: 德国
• 项目类别: CRC/Transregios
• 财政年份: 2004
• 资助国家: 德国
• 起止时间: 2003-12-31 至 2014-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5425851?language=en
• 关键词: Automatic; Verification; Hybrid; System; Stability

Das Ziel des Teilprojektes ist die Bereitstellung der prototypischen Implementierung eines Werkzeugszum automatischen Nachweis der Konvergenz sowie der Stabilität hybrider Systeme. Als Eingabeerwartet das Werkzeug die Spezifikation eines hybriden Systems und eine entsprechend detaillierteBeschreibung der Beweisverpflichtung. Die Beweisverpflichtung kann eine von mehreren möglichenArten von Stabilität umfassen. Zudem kann sie neben anderen Angaben aus Verpflichtungen bestehen,wie beweise, dass ausgehend von einem Zustand, in dem P gilt, ein Zustand in dem P gilt, inweniger als t Zeiteinheiten erreicht werden kann. Sollte das Werkzeug nicht in der Lage sein, Konvergenzbzw. Stabilität wie gefordert automatisch nachzuweisen, dann wird stattdessen Informationzurückgeliefert, anhand der ein Re-Design des Reglers durchgeführt werden kann, derart, dass diesesdas resultierende hybride System konvergent macht bzw. stabilisiert.

Das Ziel des Teilprojektes is die Bereitstellung der prototypischen Implementierung eines Werkzeugszum automatischen Nachweis der Konvergenz sowie der Stabilität hybrid System.这是一种混合系统的特殊化工作，并对Beweisverpflichtung进行了详细的描述。这是一个非常稳定的艺术品。因此，他们可以从最好的语言中获得语言，就像在P镀金中获得一个Zustand，在P镀金中获得一个Zustand，在这一点上，他们可以韦尔登。拉格不是唯一的工具，是一种工具.稳定性与自动化程度一样，也会使信息化程度提高，而且通过韦尔登重新设计调节器，可以使系统的结果与实际情况相结合。稳定。