Pages that link to "Item:Q4374110"
From MaRDI portal
The following pages link to Logical approach to control theory and applications (Q4374110):
Displaying 11 items.
- Logical synthesis of the control algorithm in a system with Boolean variables (Q463353) (← links)
- Improving response time of real time control systems based on multidimensional interval-logical controllers (Q499571) (← links)
- On differential design of logical control systems (Q677358) (← links)
- Automated reasoning with function evaluation for COCOLOG (Q1370602) (← links)
- Synthesis of a control algorithm in a system of production rules with time parameter (Q1778895) (← links)
- Logical control in automatic systems (Q1946393) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- Theorem-proving analysis of digital control logic interacting with continuous dynamics (Q2520681) (← links)
- Logic and Control (Q5425361) (← links)
- The logic of action and control (Q6054057) (← links)
- Complexity of the problem of being equivalent to Horn formulas. II (Q6160501) (← links)