1. Set propagation techniques for reachability analysis;Althoff;Annual Review of Control, Robotics, and Autonomous Systems,2021
2. Befekadu, G.K. and Antsaklis, P.J. (2015). On quantification of systemic redundancy in reliable systems.
3. Boutat, D., Barbot, J.P., and Darouach, M. (2015). On the inversion of a class of nonlinear systems. SCL.
4. Secure control: Towards survivable cyber-physical systems;Cardenas,2008
5. Smart plant operations: Vision, progress and challenges;Christofides,2007