Control in network environment, asynchronous and distributed.
Coordination and autonomy of top level.
Automatic synthesis of control algorithms with integrated verification and validation.
Building of very reliable systems from components less reliables.
