Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
批准号:
5268480
负责人:
Professor Dr.-Ing. Hans-Michael Hanisch
金额:
$0.0万
依托单位国家:
德国
项目类别:
Priority Programmes
财政年份:
1996
资助国家:
德国
项目状态:
已结题
起止时间:
1995-12-31 至 1999-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formale Synthese verteilter Prozesssteuerungen
-
批准号:101803482
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Formale Synthese verteilter Steuerungen
-
批准号:14475508
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
-
批准号:5301390
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
-
批准号:5166692
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
-
批准号:5093124
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
-
批准号:5135403
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
-
批准号:5267274
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr.-Ing. Hans-Michael Hanisch
-
依托单位:
海外基金