1. On the convolution of exponential distribution;Akkouchi;J. Chungcheong Math. Soc.,2008
2. Optimal Control: Linear Quadratic Methods;Anderson,2007
3. Reachability analysis of nonlinear systems using conservative approximation;Asarin;International Workshop on Hybrid Systems: Computation and Control,2003
4. Computer-Controlled Systems: Theory and Design;Åström,2013
5. The system-level simplex architecture for improved real-time embedded system safety;Bak;15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009,2009