Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems.
Friederike BrunsSven MehlhopBianca WiesmayrAlois ZoitlPublished in: ICIT (2024)
Keyphrases
- control system
- asynchronous circuits
- industrial automation
- distributed systems
- cooperative
- industrial applications
- distributed data
- distributed environment
- semi automated
- neural network
- fault tolerant
- computer aided
- databases
- industrial processes
- verification method
- industrial environment
- distributed network
- distributed learning
- communication overhead
- communication cost
- mobile agents
- information systems
- information retrieval