1. Fault detection and fault-tolerant control using sliding modes;Alwi,2011
2. Symbolic observer-based controller for uncertain nonlinear systems;Apaza-Perez;IEEE Control Systems Letters,2020
3. Principles of model checking;Baier,2008
4. Formal methods for discrete-time dynamical systems;Belta,2017
5. Linear matrix inequalities in system and control theory;Boyd,1994