-
Optimal design of dependable control system architectures using temporal sequ...
International audience -
Mapping of control functions of critical systems by reachability analysis in ...
The design of operational control architectures is a very important step of the design of energy production systems. This step consists in mapping the functional...
