離散事件的調(diào)節(jié)回路的自動重置的制作方法
【專利摘要】本方法和裝置僅研究動態(tài)的運行進程，其能夠主要通過離散事件過程來代表并且其動態(tài)性不由時間、而是由符號的邏輯次序來決定。本方法和裝置探討離散事件問題的特性。用于設計和實現(xiàn)在離散的自動化技術(shù)設備中對執(zhí)行器和傳感器的故障自動反應的技術(shù)裝置負責，使該故障對過程的影響保持最小，以及一種方法，其使得該錯誤能夠系統(tǒng)地集成在離散事件模型中，以便基于此執(zhí)行對于容錯的離散事件控制系統(tǒng)的形式設計。
【專利說明】離散事件的調(diào)節(jié)回路的自動重置

【技術(shù)領域】
[0001] 本發(fā)明涉及一種用于使離散事件的調(diào)節(jié)回路自動重置的方法和裝置，調(diào)節(jié)回路用 于調(diào)節(jié)工藝過程。
[0002] 工藝設備，特別是用于實現(xiàn)離散的制造過程的（還稱為離散事件過程）的這種工 藝設備，要承受錯誤或者其組件的故障，例如執(zhí)行器或者傳感器的故障。錯誤理論上是不能 排除的，這意味著，為了維持運行必須以適當?shù)姆绞綄﹀e誤作出反應。這種問題特別地涉及 以下工藝設備，其中封閉的調(diào)節(jié)或控制回路形式的功能性（可編程的）控制對于正確運行 是很重要的。
[0003] 執(zhí)行器和傳感器的故障打開了調(diào)節(jié)回路并且結(jié)束了設備的按要求的運行。該組件 的其他錯誤、例如退化，通常不利地改變了調(diào)節(jié)回路行為。這種現(xiàn)象降低了設備的可用性和 可靠性，并且導致了經(jīng)濟損失以及導致了品質(zhì)損壞或人員損傷。該問題典型地通過更換缺 陷組件來回避。
[0004] 錯誤優(yōu)選地意味著關鍵組件的故障或者退化。不可預見的錯誤由其他的觀察來排 除。
[0005] 此外，調(diào)節(jié)不僅描述了嚴格意義上的調(diào)節(jié)，即借助封閉調(diào)節(jié)回路利用回饋初始參 量到調(diào)節(jié)器的入口上的調(diào)節(jié)，而且此概念還擴展到對開放的作用鏈的控制（沒有反饋）。 相應的，調(diào)節(jié)回路、調(diào)節(jié)器和調(diào)節(jié)對象的概念還分別描述了開放的作用鏈、控制或者控制路 徑。

【背景技術(shù)】
[0006] 通常，所描述的問題通過硬件冗余來克服。在此，在設備啟動之前安裝多個關鍵的 重要硬件組件（執(zhí)行器、傳感器）。在正常運行中使用并且持續(xù)地監(jiān)控組件的一部分，其余 組件保持備用。如果監(jiān)控顯示組件有故障，則根據(jù)簡單的判斷邏輯切換到備用組件。該方 法同等地適用于規(guī)避早期故障、偶發(fā)故障、和疲勞性故障。其特別地應用于安全性關鍵的應 用中，例如核技術(shù)中或者航天中。該問題還能夠通過設置投票機制（Voting-Schemas)或者 差異性以及通過使用替代固定值來規(guī)避。
[0007] 所提到的解決方案由于安裝多個組件而包含高昂的設備附加費用。對于離散事件 過程而言，至今未知有超越程序化的特殊解決方案的自動化解決方案。
[0008] 在出現(xiàn)了打開控制回路的錯誤時，通常調(diào)整（部分）運行并且采取修復措施。
[0009] 在工業(yè)實踐中，目前首先使用以下工作步驟作為措施：
[0010] 1)控制系統(tǒng)庫
[0011] 對于在啟動前全面考慮到的有限數(shù)量的錯誤情況而言，設計離線的和手動的專用 控制系統(tǒng)，然后在二者之間能夠在線地切換。該方法同等地適用于規(guī)避早期故障、偶發(fā)故 障和疲勞故障。該解決方案有著以下缺點，即手動程序化控制的正確性沒有得到證明的并 且因此可能有不恰當?shù)腻e誤回應。對于后續(xù)觀察的離散事件過程還產(chǎn)生以下問題：所切換 到的調(diào)節(jié)器的正確的初始化需要知曉在錯誤時間點的過程狀態(tài)和發(fā)生故障的調(diào)節(jié)器。該信 息通常不是直接已知的，這明顯加大了在實踐中執(zhí)行用于離散事件過程的控制系統(tǒng)庫的難 度。
[0012] 2)硬件冗余和差異性：
[0013] 在啟動設備之前安裝多個關鍵的重要硬件組件（執(zhí)行器、傳感器），因此為了實現(xiàn) 目的而僅需要組件的其中一部分。例如在可高度使用的控制系統(tǒng)中，在正常運行中使用并 且持續(xù)地監(jiān)控控制系統(tǒng)中的一個，冗余的控制系統(tǒng)保持與其同步并且在主控制系統(tǒng)故障時 承擔主控制系統(tǒng)的任務。該等級的方法同等地適用于規(guī)避早期故障、偶發(fā)故障、和疲勞性故 障。但是，其包含由于安裝多個實體組件如執(zhí)行器或傳感器導致的設備附加費用。差異性、 實體冗余和投票首先用于安全性關鍵的應用中，例如用于核技術(shù)中或者航天中。
[0014] 由WO 2013/017168中已知用于自動重置用于調(diào)節(jié)工藝過程的調(diào)節(jié)回路的方法和 裝置，其中在運行時間階段中，在測定有錯誤時，調(diào)節(jié)回路根據(jù)數(shù)學模型自動重置，其中在 調(diào)節(jié)器和調(diào)節(jié)對象之間所交換的信號根據(jù)錯誤發(fā)生改變。


【發(fā)明內(nèi)容】

[0015] 從該現(xiàn)有技術(shù)出發(fā)，本發(fā)明基于以下目的，提出一種用于自動重置用于調(diào)節(jié)工藝 過程的調(diào)節(jié)回路的改進的方法和改進的裝置。
[0016] 根據(jù)本發(fā)明，該目的在方法方面通過權(quán)利要求1的特征來實現(xiàn)，并且在裝置方面 通過權(quán)利要求7的特征來實現(xiàn)。該目的還通過根據(jù)權(quán)利要求13的計算機程序產(chǎn)品來實現(xiàn)。
[0017] 根據(jù)本發(fā)明的方法用于自動重置具有物理的和/或分析的冗余組件的調(diào)節(jié)對象 的調(diào)節(jié)回路和用于調(diào)節(jié)工藝過程的錯誤診斷單元。
[0018] 在第一步驟中，在設計階段中，通過連接并參數(shù)化能由模型庫中獲得的第一模型 元件的方式，在調(diào)節(jié)回路的行為無錯誤的前提下建立額定（nominelle)的調(diào)節(jié)對象和過程 的額定的動態(tài)（nominelle Dynamik)的第一數(shù)學模型。
[0019] 在第二步驟中，在調(diào)節(jié)對象中定義可能出現(xiàn)的錯誤和其影響。
[0020] 然后由數(shù)學模型和所附屬的錯誤定義，生成調(diào)節(jié)回路的集成模型，其也包含調(diào)節(jié) 回路的有錯誤的行為。
[0021] 類似地，要求保護執(zhí)行該方法的裝置和計算機程序產(chǎn)品。
[0022] 額定的調(diào)節(jié)對象應理解為在無錯誤狀態(tài)中的調(diào)節(jié)對象。相應的，過程的額定動態(tài) 理解為過程的無錯誤的運行。調(diào)節(jié)回路的重置理解為對調(diào)節(jié)回路的調(diào)節(jié)對象的組件的故障 的反應，其抵消了故障，從而減少了故障對借助調(diào)節(jié)回路來調(diào)節(jié)的過程的影響。在此，調(diào)節(jié) 對象的組件特別地是執(zhí)行器和傳感器。物理冗余組件理解為所安裝的多個相同組件，其能 夠彼此替代，例如兩個相同的用于移動船舵的液壓執(zhí)行器。分析冗余組件理解為以下組件， 其雖然物理上不同，但是借助這些組件能夠在至少一個功能方面達到同類的效果。例如， 船的搖轉(zhuǎn)力矩一方面能夠借助舵來產(chǎn)生，并且另一方面能夠借助兩個沿著船的橫軸彼此錯 開的船驅(qū)動裝置來產(chǎn)生，從而舵和兩個船驅(qū)動裝置在搖轉(zhuǎn)力矩的產(chǎn)生方面是分析冗余的組 件。
[0023] 調(diào)節(jié)對象是具有組件的自動化技術(shù)設備，該設備包括執(zhí)行器和傳感器，二者在調(diào) 節(jié)回路中實現(xiàn)為物理的和/或分析冗余的。借助錯誤診斷單元能夠測定并定位這些組件的 錯誤，從而借助錯誤診斷單元能夠測定調(diào)節(jié)對象的有錯誤的組件。
[0024] 本發(fā)明的有利的安排方案是從屬權(quán)利要求的內(nèi)容。
[0025] 在第一安排方式中，第一數(shù)學模型自動地由其他的設計系統(tǒng)的已經(jīng)存在的工程數(shù) 據(jù)來生成。
[0026] 此外，在其他有利的安排方案中，為了生成集成模型還考慮對調(diào)節(jié)對象的要求，并 且測定控制算法，其在運行時間環(huán)境下能夠得以運行。要求是關于閉合調(diào)節(jié)回路的待實現(xiàn) 的特性的陳述。
[0027] 還有利的是，在運行之前通過句法變換系統(tǒng)優(yōu)化控制算法。
[0028] 模型和集成模型例如能夠通過自動裝置、佩特里網(wǎng)（Petri-Netz)或者通過過程 代數(shù)表述來定義。過程代數(shù)（或者過程計算）的概念包括用于為并行的系統(tǒng)在形式上建模 而列出一大類方程。其能夠?qū)υ谝唤M獨立的代理（Agenten)或者過程之間的交互作用、通 訊和同步進行抽象說明。代數(shù)定律實現(xiàn)了對過程說明的分析或者變形。過程代數(shù)的實例是 CSP，CCS，ACP，或者 Pi 計算。
[0029] 此外，在額定的調(diào)節(jié)對象的實施方式中，數(shù)學模型還能夠由其他的關于至少兩個 元件的信息來生成，該信息能夠通過接口來輸入。
[0030] 下面要求的方法和裝置僅研宄動態(tài)的運行進程，其能夠主要通過離散事件過程來 代表，例如通過符號序列來代表，并且其動態(tài)性不由時間、而是由符號的邏輯次序來決定。 受時間驅(qū)使的動態(tài)運行進程在分級的下級過程中隱蔽地實施。其特殊特性對于實現(xiàn)所述目 的是不重要的。
[0031 ] 本方法和裝置探討離散事件問題的特性。
[0032] 用于在離散的自動化技術(shù)設備中設計和實現(xiàn)對執(zhí)行器和傳感器的故障自動反應 的技術(shù)裝置負責，使該故障對過程的影響保持最小，以及一種方法，其使得該錯誤系統(tǒng)地集 成到離散事件模型中，以便基于此執(zhí)行對于容錯的離散事件控制系統(tǒng)的形式設計。
[0033] 應用于工具中的方法不包含任何關于可處理的錯誤的限制，只要該錯誤是在所涉 及的系統(tǒng)等級（自動裝置、佩特里網(wǎng)、過程代數(shù)）中能描述的錯誤。
[0034] 待覆蓋的故障情況必須已預料到并且已建模。然后，所對應的用于容錯運行的控 制邏輯由該模型自動建立并且轉(zhuǎn)譯成運行時間編碼。
[0035] 用于錯誤建模（錯誤相容模型）的方法與所構(gòu)建的用于離散事件控制的控制綜合 方法的組合用以下的方式和方法來進行，其實現(xiàn)了在有錯誤之后不阻塞地且按要求地運行 過程。
[0036] 在根據(jù)本發(fā)明的方法中，規(guī)避了以下難點，即在明顯地轉(zhuǎn)換控制程序時離散的初 始狀態(tài)是未知的。該問題對于離散事件過程是代表性的并且不發(fā)生在連續(xù)的控制性動態(tài)系 統(tǒng)的情況中或者說此時是可規(guī)避的。
[0037] 綜合設計的控制算法通過構(gòu)建而總是正確的。排除編程錯誤。
[0038] 此外，當基于可診斷性概念（根據(jù)Sampath，Lafortune，"離散事件系統(tǒng)的可診斷 性（Diagnosability of Discrete-Event Systems)"，IEEE 自動控制匯刊（Transactions on Automation Control)，第40卷、第9號，1995年9月，）的競爭性方法失效時，所描述的 方法和裝置也能夠找出有意義的解決方案。
[0039] 本方法涉及形式上的編碼綜合，一種待構(gòu)建的用于建立離散事件系統(tǒng)的控制程序 的未來進程的模型（Vorgehensmodell) 0
[0040] 錯誤相容模型的定義：
[0041] Lfa錯誤相容模型
[0042] Ln無錯誤行為的模型
[0043] F 錯誤事件
[0044] Ld含錯誤行為的模型
[0045] Σ包含錯誤事件的離散事件系統(tǒng)的字母
[0046] 在此，錯誤相容模型由以下標準來確定：
[0047] Lfa=Ln U (LnFE* HLd)
[0048] 基于該模型，執(zhí)行了所構(gòu)建的綜合方法。
[0049] 在有利的實例中，為經(jīng)常發(fā)生的制造技術(shù)任務提供了方程/解決模板。
[0050] 在其他的有利實例中，通過外部接口能夠為庫補充獨有的行為模型。
[0051] 對數(shù)學原理的詳細的說明和闡述參見由Thomas Wittmann，Jan Richter和Thomas Moor所著的公開文獻，"離散事件系統(tǒng)的基于錯誤相容模型的容錯控制（Fault-Tolerant Control of Discrete Event Systems based on Fault-Accommodating Models)

【專利附圖】

【附圖說明】
[0052] 本發(fā)明的上述特性、特征和優(yōu)點以及實現(xiàn)這些的方式和方法，結(jié)合下面的附圖說 明更清楚易懂。在此示出：
[0053] 圖1是形式方法的簡圖，
[0054] 圖2是根據(jù)本發(fā)明的用于重置系統(tǒng)的工作流程，并且
[0055] 圖3至15是由公開文獻"容錯控制…"中得知的。

【具體實施方式】
[0056] 圖1示出了工具EW的功能，其分為兩個階段。在設計階段中，工具在設計重置系 統(tǒng)時根據(jù)下面還將描述的功能提供PC輔助。之后，設計階段的結(jié)果由工具自動轉(zhuǎn)換成可實 時的控制編碼SC碼，其應用于硬件組件例如工業(yè)控制系統(tǒng)SPS、工業(yè)PC或者引導系統(tǒng)的PC 上。
[0057] 設計階段的目的是在無錯誤的情況下、MO以及在錯誤情況F下為設備建模，以及 設計容錯的控制算法。
[0058] 所建立的自動化技術(shù)設備的模型MO首先模擬了設備的無錯誤行為。該模型例如 能夠估計自動裝置的形狀、佩特里網(wǎng)的形狀或者過程代數(shù)式表達的構(gòu)成。在本發(fā)明的有利 實例中，工具自動地通過使用其他設計系統(tǒng)（例如，其他的CAE工具）的已經(jīng)存在的工程數(shù) 據(jù)來生成該模型。
[0059] 之后，詳細模擬可能的錯誤F的重要性和影響。
[0060] 在下一步驟中，由在規(guī)定情況下的重要性和影響生成唯一的集成模型，其既包含 了無錯誤的行為、也包含了錯誤傳遞和具有錯誤的過程的行為。
[0061] 基于集成模型和預設的要求A以及基于已知的形式方法，測定控制算法S，其使 得所控制的過程實現(xiàn)了要求A。然后，在運行時間環(huán)境下（例如存儲器能編程的控制系統(tǒng) SPS)執(zhí)行算法sc。在綜合結(jié)果和執(zhí)行算法之間能夠存在可選擇的其他純粹的句法變換系 統(tǒng)（"Code-Generatoren 編碼發(fā)生器"）。
[0062] 在運行時間階段處理控制算法SC。
[0063] 圖 2 中示出了操作工程系統(tǒng)（Engineering-Systems)、工程工具（Enginieering Tool)的不同階段。在第一步驟、步驟I(Stepl)中描述了基于庫、模型庫（Modell Library) 中提供的模型元件的過程，連接并使這些元件參數(shù)化，MAA。此時，模型元件是設備的子系統(tǒng) 的模型。庫為經(jīng)常出現(xiàn)的子系統(tǒng)的模型提供了樣板（例如傳輸帶、光學傳感器、轉(zhuǎn)接設備， 分類器等等）。每個單獨的樣板都是能參數(shù)化的模型。所有樣本組成了庫。庫典型地涉及 特殊的應用領域（例如包裝、灌裝、印刷、汽車制造等等）。解答（Solution)的概念應當明 確了涉及領域，因為庫（除了方法以外）代表了對一種領域/范圍的解決方案的核心。
[0064] 模型元件以所謂的"解答模板（Solution Templates)"為基礎。庫能夠包含用于 使其它的庫元件與第三方制造商的其他模型相連的開放接口 Open IF。
[0065] 在第二步驟、步驟2(Step2)中說明了在使用庫元件的情況下錯誤對系統(tǒng)的影響。
[0066] 在第三步驟、步驟3(Step3)中，說明了要求，在可能的情況下從庫、對象庫 (Objective Library)(同樣是"解答模板"的一部分）中選擇出所提供的典型要求。
[0067] 步驟1至3能夠分別利用工具輔助來執(zhí)行。
[0068] 在第四步驟中，調(diào)用綜合算法SA。其包含完成的、通過構(gòu)建在句法上且在語義上正 確的SPS碼，其在需要時還能夠直接加載到SPS中。
[0069] 下面簡短地介紹，實踐中如何能夠生成集成模型。
[0070] 圖3至15示出了佩特里網(wǎng)形式的設備的行為模型，圖3中該模型具有狀態(tài)1至4， 其中狀態(tài)1是初始狀態(tài)。
[0071] 過程A在狀態(tài)3中運行，
[0072] 過程B位于從2到1的狀態(tài)過渡中，
[0073] 事件a相當于"過程A的開始"并且
[0074] 事件b相當于"過程B的開始"。
[0075] α相當于"下級過程的開始"并且
[0076] β相當于"下級過程的結(jié)束"。
[0077] 圖4示出了圖3的模型的流程，其包括額外的錯誤。故障模擬為獨立的事件5至 6。此外，僅在沒有錯誤的流程和具有錯誤的流程之間進行區(qū)分。圖7和8示出了容許的無 錯誤的行為和容許的有錯誤的行為，F(xiàn)是錯誤的過渡。
[0078] 通過使用標準算法（例如參見Yoo和Garcia所著，"對部分觀察的離散事件系統(tǒng)中 的所涉及的行為的診斷（Diagnosis of behaviors of interest in partially-observed discrete-event systems)"，系統(tǒng)與控制快報（Systems and Control Letters) ,57 (12): 1023-1029, 2008)，使模型變形，結(jié)果在圖5和6中示出。
[0079] 具體的實例在圖9中示出。通常發(fā)生的事件是傳輸系統(tǒng)（例如運輸帶）的無碰撞 控制。設想，運輸帶采取固定的速度。此外由以下出發(fā)，即不能改變運輸帶的方向。運輸 帶在交叉處彼此相遇并且包含了兩個止擋元件（Stopper Element) STPl和STP2,其分別配 備了傳感器SEl和SE2。止擋件負責用于，使得在工件流中能夠單獨處理每一個。其他的 傳感器安裝在兩個運輸帶彼此相遇的點之后。其他的設想是：有冗余的計時器并且假設從 STP2到交叉處的距離更短，即短于從STPl到交叉處的距離。系統(tǒng)信息能夠從傳感器的狀態(tài) (Stati)中得出。只要工件到達所標記的區(qū)域，控制器（Controller)活動就不再對移動具 有影響，因此，控制器的主任務是協(xié)調(diào)工件進入到標記區(qū)域中。
[0080] 此外，還由以下出發(fā)，即僅在止擋元件STPl處出現(xiàn)有錯誤。當出現(xiàn)錯誤時，STPl保 持在打開位置中，STPl不再用于主動控制，但是還繼續(xù)用于數(shù)據(jù)收集。
[0081] 圖10示出了止擋元件的數(shù)學模型。在識別了工件之后，止擋件能夠阻塞或者放行 (釋放（deblock))該工件，在工件通過（pass)之后等待額定的時間（tau)。在出現(xiàn)錯誤F 之后，止擋元件的含錯誤的可能行為在圖11中示出。
[0082] 圖12示出了對應傳感器的數(shù)學模型并且圖13示出了對應于計時器的模型。
[0083] 在下表中總結(jié)了所述行為：
[0084]

【權(quán)利要求】
1. 一種用于自動重置用于調(diào)節(jié)工藝上的過程的調(diào)節(jié)回路（1)的方法，其中，所述調(diào)節(jié) 回路（1)具有帶物理冗余的和/或分析冗余的組件的調(diào)節(jié)對象（4)和錯誤診斷單元，并且 其中 -在設計階段中，在所述調(diào)節(jié)回路的無錯誤的行為的前提下，建立額定的所述調(diào)節(jié)對象 (4)和所述過程的額定的動態(tài)的第一數(shù)學模型（M0)， -其中，連接并且參數(shù)化模型庫的第一模型元件，并且 -在第二步驟中，定義所述調(diào)節(jié)對象中的可能出現(xiàn)的錯誤（巧和所述錯誤的影響， -由數(shù)學模型（M0)和相對應的錯誤定義（巧生成所述調(diào)節(jié)回路的集成模型（MOF)，所 述集成模型既包含所述調(diào)節(jié)回路的無錯誤的行為也包含所述調(diào)節(jié)回路的有錯誤的行為。
2. 根據(jù)權(quán)利要求1所述的方法，其特征在于，所述第一數(shù)學模型（M0)自動地由其他的 設計系統(tǒng)的已經(jīng)存在的工程數(shù)據(jù)來生成。
3. 根據(jù)前述權(quán)利要求中任一項所述的方法，其特征在于，為了生成所述集成模型 (MOF)，還考慮對所述調(diào)節(jié)對象的要求（A)，并且測定控制算法（S)，所述控制算法能夠在運 行時間環(huán)境下運行。
4. 根據(jù)前述權(quán)利要求中任一項所述的方法，其特征在于，在運行之前通過句法的變換 對所述控制算法（巧進行優(yōu)化。
5. 根據(jù)前述權(quán)利要求中任一項所述的方法，其特征在于，模型（M0)和所述集成模型 (M0巧通過自動裝置、佩特里網(wǎng)或者通過過程代數(shù)式表達來定義。
6. 根據(jù)前述權(quán)利要求中任一項所述的方法，其特征在于，額定的所述調(diào)節(jié)對象（4)的 所述數(shù)學模型（M0)由關于至少兩個元件的其他信息來生成，所述信息能夠通過接口來輸 入。
7. -種用于執(zhí)行為用于調(diào)節(jié)工藝上的過程的調(diào)節(jié)回路（1)進行自動重置的方法的裝 置，包括設計組件（EW) -具有用于在所述調(diào)節(jié)回路的無錯誤的行為的前提下建立額定的所述調(diào)節(jié)對象（4)的 和所述過程的額定的動態(tài)的第一數(shù)學模型（M0)的裝置， -具有用于定義在所述調(diào)節(jié)對象中可能出現(xiàn)的錯誤（巧和所述錯誤對運行工藝上的所 述過程的影響的裝置，W及 -具有用于由數(shù)學模型（M0)和相對應的錯誤定義（巧生成所述調(diào)節(jié)回路的集成模型 (M0巧的裝置，所述集成模型也包含所述調(diào)節(jié)回路的有錯誤的行為。
8. 根據(jù)權(quán)利要求7所述的裝置，其特征在于，用于生成所述第一數(shù)學模型（M0)的裝置 為了生成而使用其他的設計系統(tǒng)的已經(jīng)存在的工程數(shù)據(jù)。
9. 根據(jù)權(quán)利要求7或8所述的裝置，其特征在于，用于生成所述集成模型（M0巧的裝 置，還考慮對所述調(diào)節(jié)對象的要求（A)，并且綜合裝置（Syn)生成了在運行時間環(huán)境下運行 的控制算法。
10. 根據(jù)前述權(quán)利要求7至9中任一項所述的裝置，其特征在于，所述綜合裝置（Syn) 在運行之前通過句法變換對所述控制算法（巧進行優(yōu)化。
11. 根據(jù)前述權(quán)利要求7至10中任一項所述的裝置，其特征在于，模型（M0)和所述集 成模型（M0巧能夠通過自動裝置、佩特里網(wǎng)或者通過過程代數(shù)式表達來定義。
12. 根據(jù)前述權(quán)利要求7至11中任一項所述的裝置，其特征在于，用于生成額定的所述 調(diào)節(jié)對象（4)的所述集成模型（MO巧的裝置，具有用于輸入其他模型庫元件的接口，其中特 別地在使用能夠連接并參數(shù)化的第一模型庫元件和通過接口輸入的第二元件的情況下，來 生成所述集成模型（M0巧。
13. -種用于執(zhí)行根據(jù)權(quán)利要求1至6中任一項所述的方法的計算機程序產(chǎn)品。
【文檔編號】G05B9/03GK104471496SQ201380038522
【公開日】2015年3月25日 申請日期:2013年7月1日 優(yōu)先權(quán)日:2012年7月17日
【發(fā)明者】揚·里希特, 托馬斯·穆爾, 托馬斯·維特曼 申請人:西門子公司