JPRS (series). 55105. Axiomatic approach to theory of logic-dynamic control systems, USSR study [with bibliography]; by K. D. Zhuk.