Method for the automatic generation of a controller
AssigneeSiemens Aktiengesellschaft
InventorKlaus Winkelmann
Life of this patent
Estimating the term…
Abstract
A method is described which aids the generation of a controller from an application-related formal specification. The method enables the generation of controllers which satisfy specified safety conditions, specifically in such a way that the generation process ensures that they are complied with. Constructs for specifying sequential and parallel sequences are provided, which allow the exclusive description of only the functionally desired aspects, so that a clear separation of safety and function is possible.
Claims3
A method for automatically generating a control algorithm, for a controller of a process, comprising the steps of:
- a) defining a non-deterministic automaton, which describes all physically possible modes of behavior of the controller;
- b) describing permitted state transitions of the process to be influenced by the controller;
- c) setting, the automaton such that the automaton satisfies prescribed safety conditions;
- d) iteratively determining, in order to set the safety conditions, a largest subset that is stabilizable of a state set that is specified admissible, and setting a transfer function of the automaton such that in each case only consequential states are selected which lie within said largest set that is stabilizable;
- and
- e) setting the automaton such that the automaton satisfies a function of a system that has the controller and the process.
Dependencies are inferred from the claim text.