Cooperative safety critical CPS platooning in SafeCOP.
Samer MedawarDetlef ScholleIrfan SljivoPublished in: MECO (2017)
Keyphrases
- safety critical
- cooperative
- agent architecture
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- multi agent systems
- support systems
- regulatory requirements
- adaptive systems
- multi agent
- databases
- data mining
- information systems
- machine learning
- formal specification
- software systems
- intelligent agents
- computational intelligence
- management system
- artificial intelligence