Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
DOI10.1134/S0081543812020137zbMATH Open1295.93057OpenAlexW2025156439MaRDI QIDQ742012FDOQ742012
Authors: D. Kharzeev 
Publication date: 17 September 2014
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0081543812020137
Recommendations
- Automating control for logic programs
- Logical control in automatic systems
- scientific article; zbMATH DE number 3972241
- Logical equations with applications to automatic design and control
- scientific article; zbMATH DE number 603377
- scientific article; zbMATH DE number 3884003
- scientific article
- scientific article; zbMATH DE number 4070743
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
artificial intelligencecontrol theorycontrollabilityLyapunov functionsdynamic systemsmathematical logicintelligent systems
Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Application models in control theory (93C95)
Cites Work
- Title not available (Why is that?)
- Control packages: an approach to solution of positional control problems with incomplete information
- Title not available (Why is that?)
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Zur Deutung der intuitionistischen Logik
- Properties preserved under homomorphism
- Title not available (Why is that?)
- Method of reduction and qualitative analysis of dynamic systems. I
- Limited resource strategy in resolution theorem proving
- A method for the synthesis of deducibility conditions for Horn and some other formulas
- Title not available (Why is that?)
Cited In (5)
- Complexity of the problem of being equivalent to Horn formulas
- Dynamic intelligent systems. II. Computer simulation of task-oriented behavior
- Title not available (Why is that?)
- On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
- Complexity of the problem of being equivalent to Horn formulas. II
Uses Software
This page was built for publication: Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q742012)
