Modeling and Verification of B-based Distributed Reconfigurable Control Systems.

Raja Oueslati Olfa Mosbahi Mohamed Khalgui Samir Ben Ahmed

Published in: PECCS (2015)

Keyphrases

control system
distributed systems
cooperative
low cost
distributed environment
lightweight
artificial intelligence
fault tolerant
general purpose
databases
multi agent
database systems
information systems
computing environments
control law
distributed architecture
industrial automation