Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach.

J. Christian Attiogbé

Published in: ISoLA (2) (2014)

Keyphrases

control system
cooperative
distributed environment
control algorithm
distributed systems
event recognition
fault tolerant
control strategy
closed loop
real time
database systems
pid controller
event detection
multi camera
communication cost
control method
loosely coupled
communication overhead
neural network