On Verification of Designed Energy Systems Using Distributed Co-Simulations.
Anselm ErdmannAnna MarcellanDominik HeringMichael SuriyahCarolin UlbrichMartin HenkeAndré XhonneuxDirk MüllerRutger SchlatmannVeit HagenmeyerPublished in: DS-RT (2020)
Keyphrases
- distributed systems
- management system
- cooperative
- database systems
- mission critical
- energy minimization
- complex systems
- expert systems
- learning systems
- distributed database systems
- data intensive
- asynchronous circuits
- autonomous mobile
- computer systems
- numerical simulations
- computing environments
- neural network
- distributed computation
- distributed network
- distributed object
- automated verification