Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
From MaRDI portal
Publication:742012
DOI10.1134/S0081543812020137zbMath1295.93057MaRDI QIDQ742012
Publication date: 17 September 2014
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
controllability; intelligent systems; artificial intelligence; Lyapunov functions; control theory; mathematical logic; dynamic systems
93C95: Application models in control theory
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Uses Software