Formalization of PLC programs to sustain reliability.
Mohammed Bani YounisGeorg FreyPublished in: RAM (2004)
Keyphrases
- control system
- formal model
- knowledge representation
- reliability analysis
- machine learning
- relational databases
- java programs
- databases
- automatic programming
- data transmission
- hardware and software
- low cost
- programming language
- wireless sensor networks
- data model
- artificial neural networks
- similarity measure
- high level
- computer vision