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 ‘character’ 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… (More)
DOI: 10.1109/ROBIO.2009.4913178


11 Figures and Tables