Using Formal Concept Analysis for Control in Cyber-physical Systems

Abstract Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogonous physical devices and computational components. A major task in artificial intelligence concerns the automatic identification of the system behavior. Following Formal Concept Analysis (FCA) approaches, we derive behavioural specifications from structural and information input by the user in the context of the intelligent control of physical systems. We will show in the present paper how concepts and techniques from the theory of Formal Concept Analysis help solve this task in the case of the intelligent control of engineering systems.