SCADA-Based Message Generator for Multi-Vendor Smart Grids: Distributed Integration and Verification of TASE.2.
Petr IlgnerPetr CikaMartin StusekPublished in: Sensors (2021)
Keyphrases
- distributed systems
- distributed environment
- control system
- cooperative
- uniform access
- multi agent
- data integration
- computer networks
- learning algorithm
- real time
- function approximation
- model checking
- distributed intelligent
- message exchange
- formal verification
- heterogeneous data sources
- distributed databases
- neural network