An identification of system key attributes in structural reasoning for formal validation of industrial programming

Each non-chaotic system has a set of attributes or properties forming a dasiacharacterpsila of the system. Being a unique entity means to possess a unique (sub-)set of attributes. This paper shows how these attributes can be identified and applied in reasoning on system correctness. The field of application is a domain of factory automation, where the structural reasoning on system state spaces is used to assist in formal validation of the overall system behavior. The paper defines dasiastructural reasoningpsila and dasiakey attributespsila that can serve as a base for understanding developed system.