A systematized approach for obtaining a dependable structured specification for an industrial automation system.
José MachadoEurico SeabraPublished in: INDIN (2012)
Keyphrases
- industrial automation
- control system
- service oriented architecture
- multi agent systems
- abnormal situations
- high level
- formal specification
- structured data
- fault tolerant
- structured learning
- real world
- information extraction
- real time
- user defined
- integrity constraints
- database systems
- web services
- formal methods
- information retrieval