Method of reducing finite controlling automata and corresponding computer-readable medium

US7039564B2 · kind B2 · utility

Assignee

• Siemens Aktiengesellschaft · DE

Inventors

• Robi Malik · Ingelheim am Rhein, DE
• Martin Witte · Ahaus, DE

Key dates

• Filing date: Oct 30, 2001
• Grant date: May 2, 2006
• Expiry date: Dec 9, 2023

Classification

• Technology area (CPC G): Physics
• CPC primary: G05B2219/23284
• WIPO field: Control
• WIPO sector: Instruments

Abstract

When the automatic controls of a number of small automata are synthesized to form large automata, the latter are often difficult to manipulate and for the most part cannot be represented graphically. In order to maintain the applicability of incremental verification techniques, the larger automata are reduced, in accordance with the invention. This is done by modeling the automata in a discrete event system DES and by eliminating from the DES all redundant state transitions, disallowed states, and unimportant selfloops. The novel method is most prominently applicable in control programs and distributed control system controllers.