Analysis and validation in design time of distributed control systems implemented by means of rule based expert systems

In this paper a new analytical method for control systems validation is presented. The control system will be implemented by means of expert systems based on rule nets, which are a formalism that seeks to express an automatism in a similar way to as would make it a human being: "IF antecedents THEN consequent". But at the same time rule nets are a tool for the design, analysis and implementation of rule based systems (RBS), and consist on a mathematic-logical structure which analytically reflects the set of rules that the human expert has designed. The validation consist on the analysis of the decisive rule nets properties in design time. This properties have been studied and formalized completing the rule nets theory. If these properties are fulfilled it is possible to guarantee the correct behavior of the finally implemented control system. In the paper, the rule nets theory, its properties and the optimum manner to analyze this properties are explained. Powerful and intuitive tools that allow to analyze, simulate and debug the specifications of the desired control systems before their physical implementation have been implemented. This tools have been tested being demonstrated their correctness and effectiveness, obtaining finally control systems of more quality and reliability.