DE69626964D1 - Verfahren zur Steuerung eines Prozessablaufs nach von einem Rechner spezifizierten Verhalten - Google Patents

Verfahren zur Steuerung eines Prozessablaufs nach von einem Rechner spezifizierten Verhalten

Info

Publication number
DE69626964D1
DE69626964D1 DE69626964T DE69626964T DE69626964D1 DE 69626964 D1 DE69626964 D1 DE 69626964D1 DE 69626964 T DE69626964 T DE 69626964T DE 69626964 T DE69626964 T DE 69626964T DE 69626964 D1 DE69626964 D1 DE 69626964D1
Authority
DE
Germany
Prior art keywords
modelling
state based
systems
based processes
approach
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
DE69626964T
Other languages
English (en)
Other versions
DE69626964T2 (de
Inventor
Dr Brandin
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Siemens AG
Original Assignee
Siemens AG
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Siemens AG filed Critical Siemens AG
Publication of DE69626964D1 publication Critical patent/DE69626964D1/de
Application granted granted Critical
Publication of DE69626964T2 publication Critical patent/DE69626964T2/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Vehicle Body Suspensions (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Control Of Conveyors (AREA)
DE69626964T 1996-05-06 1996-05-06 Verfahren zur Steuerung eines Prozessablaufs nach von einem Rechner spezifizierten Verhalten Expired - Lifetime DE69626964T2 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
EP96107107A EP0806735B1 (de) 1996-05-06 1996-05-06 Verfahren zur Steuerung eines Prozessablaufs nach von einem Rechner spezifizierten Verhalten

Publications (2)

Publication Number Publication Date
DE69626964D1 true DE69626964D1 (de) 2003-04-30
DE69626964T2 DE69626964T2 (de) 2003-11-06

Family

ID=8222758

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69626964T Expired - Lifetime DE69626964T2 (de) 1996-05-06 1996-05-06 Verfahren zur Steuerung eines Prozessablaufs nach von einem Rechner spezifizierten Verhalten

Country Status (3)

Country Link
EP (1) EP0806735B1 (de)
AT (1) ATE235716T1 (de)
DE (1) DE69626964T2 (de)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP1202141B1 (de) 2000-10-30 2007-12-12 Siemens Aktiengesellschaft Verfahren zur Reduzierung von endlichen Steuerautomaten sowie entsprechendes rechnerlesbares Medium

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5163016A (en) * 1990-03-06 1992-11-10 At&T Bell Laboratories Analytical development and verification of control-intensive systems
US5483470A (en) * 1990-03-06 1996-01-09 At&T Corp. Timing verification by successive approximation

Also Published As

Publication number Publication date
EP0806735B1 (de) 2003-03-26
EP0806735A1 (de) 1997-11-12
ATE235716T1 (de) 2003-04-15
DE69626964T2 (de) 2003-11-06

Similar Documents

Publication Publication Date Title
ATE265701T1 (de) Prozesssteuersystem
DE69622875D1 (de) System und verfahren zum generieren von anwendungsprogrammen und deren dokumentation
DE3482450D1 (de) Verfahren und steuersystem zur steuerung eines industrieroboters.
DE69424558D1 (de) Bedienungsstation fur ein steuerungssystem eines herstellungsprozesses und verfahren zur uberwachung und steuerung eines herstellungsprozesses
DE60223329D1 (de) Automatisierungsmethode und -system zur Ermittlung der optimalen Strategie zur Steuerung eines Komplexen industriellen Systemes insbesondere zum Betrieb von Waterlieferungsnetzen mit Hilfe eines Ecosystem-Models
ATE313885T1 (de) Vorrichtung und verfahren zur steuerung eines gerät im einem hausnetz und system für das hausnetz
CA2146243A1 (en) General analysis system
ATE207630T1 (de) Verfahren zur überwachung von produkteigenschaften und verfahren zur regelung eines herstellungsprozesses
ATE152256T1 (de) Verfahren zur regelung von technischen prozessen mit mehreren reglern
ATE235716T1 (de) Verfahren zur steuerung eines prozessablaufs nach von einem rechner spezifizierten verhalten
ATE128106T1 (de) Verfahren mit einem klärungsrohr zum überwachen und/oder zum regeln von klärungsprozessen.
EP0367544A3 (de) Verfahrenssteuerung mit auf künstliche Intelligenz basierende Systeme
ATE285085T1 (de) Verfahren zur aktualisierung charakteristischer werte in einer programmierbaren betriebseinheit eines industriellen steuerungssystems
ATE235715T1 (de) Verfahren zur modellierung eines prozessablaufs nach zeitzwangsbedingungen
WO2001041040A3 (en) A multi-level multi-variable control process program execution scheme for distributed process control systems
CN118274424B (zh) 一种基于ai的车间空气净化监测系统及其控制方法
Choi et al. An efficient algorithm for control action sequences in FMS using dynamic programming
Herrera-Bendezu Optimal identification and robust adaptive control of robot manipulators.
ES8303732A1 (es) Procedimiento y aparato para controlar en tiempo real el curso de un proceso industrial o cualquier forma de actividad controlable.
Becerra et al. Novel developments in process optimisation using predictive control
JPS62225288A (ja) 水質制御方法
Rober et al. Control of cutting force for end milling processes using an extended model reference adaptive control scheme
TING Robustness in feedback systems(Ph. D. Thesis)
Chan Intelligent control techniques for feedback controller tuning applications.
Lavrov Automated simulation of flexible manufacturing systems

Legal Events

Date Code Title Description
8364 No opposition during term of opposition