Method for the automatic generation of a controller
US6047278A · kind A · utility
7Cited by
5References
3Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Sep 26, 1997 |
| Grant date | Apr 4, 2000 |
| Priority date | — |
| Expiry date | Sep 26, 2017 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG05B2219/23266
- WIPO fieldControl
- WIPO sectorInstruments
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.