Formal Verification of Network Interlocking Control by Distributed Signal Boxes.
Stylianos BasagiannisPanagiotis KatsarosPublished in: IMBSA (2019)
Keyphrases
- formal verification
- peer to peer
- distributed control
- computer networks
- distributed network
- model checking
- communication cost
- communication overhead
- data transfer
- model checker
- distributed environment
- automated verification
- non stationary
- distributed systems
- cooperative
- network structure
- network nodes
- frequency domain
- signal processing
- control system
- heterogeneous networks
- communication networks
- control method
- neural network
- network topologies
- master slave
- network traffic
- complex networks
- wireless sensor networks
- control signals
- bounded model checking
- reinforcement learning