A temporal many-valued logic for real time control systems

Control of Systems in different real world fields such us Chemistry, Medicine, Robotics, etc. has been tackled for decades with approaches developed in the classical Control Systems field. In this paper, we will propose a Real Time controller relying on a Knowledge Based System with a Temporal Multi-valued Language. The proposed controller deals with the typical features of a Real Time framework such as imprecision produced by the sensors, smart and continue changes of the physical variables and it sends the required control signals in bounded time. This is a major restriction that must be fulfilled by a real time controller.