1. S. Boyd, El Ghaoui L., Feron E., Balakrishnan V. (1994) Linear Matrix Inequalities in System and Control Theory SIAM, Studies in applied mathematics 15, Philadelphia, Pen.
2. State Estimation for Dynamic Systems;Chernousko,1994
3. What's Decidable about Hybrid Automata?;Henzinger;Proc. 27-th STOC,1995
4. Controlled Markov Processes and Viscosity Solutions;Fleming,1993
5. Krasovski N.N., (1971) Rendezvous Game Problems, Nat. Tech. Inf. Serv., Springfield, VA.