F. Pasqualetti, F. Dorfler, and F. Bullo, Control-Theoretic Methods for Cyberphysical Security: Geometric Principles for Optimal Cross-Layer Resilient Control Systems, IEEE Control Systems, vol.35, issue.1, pp.110-127, 2015.
DOI : 10.1109/MCS.2014.2364725

J. Slay and M. Miller, Lessons Learned from the Maroochy Water Breach, International Conference on Critical Infrastructure Protection, pp.73-82, 2007.
DOI : 10.1007/978-0-387-75462-8_6

J. P. Conti, The day the samba stopped [power blackouts], Engineering & Technology, vol.5, issue.4, pp.46-47, 2010.
DOI : 10.1049/et.2010.0410

M. Hautus, Strong detectability and observers, Linear Algebra and its Applications, vol.50, pp.353-368, 1983.
DOI : 10.1016/0024-3795(83)90061-7

URL : https://doi.org/10.1016/0024-3795(83)90061-7

P. K. Kitanidis, Unbiased minimum-variance linear state estimation, Automatica, vol.23, issue.6, pp.775-778, 1987.
DOI : 10.1016/0005-1098(87)90037-9

C. Hsieh, Robust two-stage Kalman filters for systems with unknown inputs, IEEE Transactions on Automatic Control, vol.45, issue.12, pp.2374-2378, 2000.
DOI : 10.1109/9.895577

S. Gillijns, B. De, and . Moor, Unbiased minimum-variance input and state estimation for linear discrete-time systems, Automatica, vol.43, issue.1, pp.111-116, 2007.
DOI : 10.1016/j.automatica.2006.08.002

S. Z. Yong, M. Zhu, and E. Frazzoli, A unified filter for simultaneous input and state estimation of linear discrete-time stochastic systems, Automatica, vol.63, pp.321-329, 2016.
DOI : 10.1016/j.automatica.2015.10.040

H. L. Trentelman, A. A. Stoorvogel, and M. Hautus, Control theory for linear systems, Communications and Control Engineering Series, 2002.

C. Lin, Structural controllability, IEEE Transactions on Automatic Control, vol.19, issue.3, pp.201-208, 1974.

H. Mayeda and T. Yamada, Strong Structural Controllability, SIAM Journal on Control and Optimization, vol.17, issue.1, pp.123-138, 1979.
DOI : 10.1137/0317010

J. Dion, C. Commault, and J. Van-der-woude, Generic properties and control of linear structured systems: a survey, Automatica, vol.39, issue.7, pp.1125-1144, 2003.
DOI : 10.1016/S0005-1098(03)00104-3

J. C. Jarczyk, F. Svaricek, and B. Alt, Strong structural controllability of linear systems revisited, IEEE Conference on Decision and Control and European Control Conference, pp.1213-1218, 2011.
DOI : 10.1109/CDC.2011.6160392

A. Chapman and M. Mesbahi, On strong structural controllability of networked systems: A constrained matching approach, 2013 American Control Conference, p.2013
DOI : 10.1109/ACC.2013.6580798

M. Trefois and J. Delvenne, Zero forcing number, constrained matchings and strong structural controllability, Linear Algebra and its Applications, vol.484, pp.199-218, 2015.
DOI : 10.1016/j.laa.2015.06.025

S. Poljak, On the generic dimension of controllable subspaces, IEEE Transactions on Automatic Control, vol.35, issue.3, pp.367-369, 1990.
DOI : 10.1109/9.50361

G. Reissig, C. Hartung, and F. Svaricek, Strong Structural Controllability and Observability of Linear Time-Varying Systems, IEEE Transactions on Automatic Control, vol.59, issue.11, pp.3087-3092, 2014.
DOI : 10.1109/TAC.2014.2320297

T. Boukhobza, F. Hamelin, and S. Martinez-martinez, State and input observability for structured linear systems: A graph-theoretic approach, 20th IFAC World Congress, pp.1204-1210, 2007.
DOI : 10.1016/j.automatica.2006.12.004

URL : https://hal.archives-ouvertes.fr/hal-00152192

A. Y. Kibangou, F. Garin, and S. Gracy, Input and state observability of network systems with a single unknown input, " ser, Proc. 6th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys). Tokyo, Japan: IFAC, 2016.

C. Commault, J. Dion, and J. W. Van-der-woude, Characterization of generic properties of linear structured systems for efficient computations, Kybernetika, vol.38, issue.5, pp.503-520, 2002.

A. Teixeira, H. Sandberg, and K. H. Johansson, Networked control systems under cyber attacks with applications to power networks, Proceedings of the 2010 American Control Conference, pp.3690-3696, 2010.
DOI : 10.1109/ACC.2010.5530638

URL : http://www.s3.kth.se/%7Ekallej/papers/secure_acc10.pdf

Y. Liu, P. Ning, and M. K. Reiter, False data injection attacks against state estimation in electric power grids, ACM Transactions on Information and System Security, vol.14, issue.1, p.13, 2011.
DOI : 10.1145/1653662.1653666

R. J. Patton, P. M. Frank, and R. N. Clarke, Fault diagnosis in dynamic systems: theory and application, 1989.

G. De-nicolao, G. Sparacino, and C. Cobelli, Nonparametric input estimation in physiological systems: Problems, methods, and case studies, Automatica, vol.33, issue.5, pp.851-870, 1997.
DOI : 10.1016/S0005-1098(96)00254-3

R. Kalman, On the general theory of control systems, IRE Transactions on Automatic Control, vol.4, issue.3, pp.110-110, 1959.
DOI : 10.1109/TAC.1959.1104873

W. S. Levine, The Control Handbook, 1996.

K. Murota, Matrices and matroids for systems analysis, 2000.
DOI : 10.1007/978-3-642-03994-2

R. W. Shields and J. B. Pearson, Structural controllability of multi-input linear systems, Rice University ECE Technical Report, issue.TR7502, 1975.

S. Poljak, On the gap between the structural controllability of time-varying and time-invariant systems, IEEE Transactions on Automatic Control, vol.37, issue.12, pp.1961-1965, 1992.
DOI : 10.1109/9.182482

C. Commault, J. Dion, D. H. Trinh, L. Ubeda, C. Herrera et al., Observability Preservation Under Sensor Failure, Proceedings of the International Conference on Scientific Computing (CSC). The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), pp.1554-1559, 2008.
DOI : 10.1109/TAC.2008.928307

URL : https://hal.archives-ouvertes.fr/hal-00128005

J. E. Hopcroft and R. M. Karp, An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs, 12th Annual Symposium on Switching and Automata Theory, pp.122-125, 1971.
DOI : 10.1137/0202019

M. C. Golumbic, T. Hirst, and M. Lewenstein, Uniquely Restricted Matchings, Algorithmica, vol.31, issue.2, pp.139-154, 2001.
DOI : 10.1007/s00453-001-0004-z

URL : http://www.cs.biu.ac.il/~moshe/ps/urmatchings.ps

A. Weber, G. Reissig, and F. Svaricek, A linear time algorithm to verify strong structural controllability, 53rd IEEE Conference on Decision and Control, pp.5574-5580, 2014.
DOI : 10.1109/CDC.2014.7040261

URL : http://arxiv.org/abs/1412.6792