|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 129 gevonden artikelen
| Titel: |
Algebraic approach for dependable logic control systems design |
| Auteur: |
Roussel, J. M. Faure, J. M. Lesage, J. J. Medina, A. |
| Verschenen in: |
International journal of production research |
| Paginering: | Jaargang 42 (2004) nr. 14 pagina's 2859-2876 |
| Jaar: |
2004-07-15 |
| Inhoud: |
A formal method that enables one to design a logic control system from specifications given in natural language is presented. The aim of the proposed method is to prevent a designer's faults stemming from a misinterpretation of specifications. A significant part of the present paper is devoted to the presentation of the formal framework that underlies this formal design method: algebra II (called I). The operations and relations in this algebra allow one to state formally specifications of a logic control system and to detect inconsistencies in a specifications set. This inconsistency problem is solved by introducing priority levels. From the consistent set of specifications obtained, control laws can be generated by using theorems and properties of algebra II. Application of this formal design method to an industrial example illustrates its main advantages. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 129 gevonden artikelen
| << vorige | volgende >> |