![[On the blog] Verification of neural networks: between needs and challenges](https://www.irt-systemx.fr/wp-content/uploads/2019/05/articlern.png)
by Julie Bernede | May 17, 2019 | Documentation
The neural network is one of the main methods of supervised automatic learning. Verifying its behaviour, i.e. the evolution of its outputs according to the variation of its inputs, is a real challenge. The neural network is one of the main methods of supervised...
![[On the blog] Cyber-immunity of industrial systems: between myth and reality](https://www.irt-systemx.fr/wp-content/uploads/2019/03/cyber.png)
by Julie Bernede | Mar 12, 2019 | Documentation
Industry is a privileged ecosystem of technological innovation. At the strategic level, the industrial fabric plays a decisive role in a country’s sovereignty and economic and energy independence. Industry is a privileged ecosystem of technological innovation....
by Aurélie | Apr 26, 2016 | Documentation
With 17 research projects, 61 industrial partners and 14 academics, SystemX came of age in 2015. This activity report will allow you to find out more about the activities of the institute over the year 2015 and its development prospects for the years to come. With 17...
by Aurélie | Jun 22, 2015 | Documentation
This handbook reports on the work and highlights of the year 2014. It will allow you to find out more about the progress of the institute’s activities and its significant impact within the Paris-Region ecosystem in the field of digital systems engineering. The primary...
by Aurélie | Apr 23, 2014 | Documentation
The first activity report of the IRT SystemX reflects all activities within the Institute, throughout the year 2013. Since the signing of the agreement with the ANR at the end of October 2012 and the official inauguration of SystemX in February 2013, this year laid...
