IFAC-PapersOnLine · 2018 · 20 citations · 19 references
EngineeringComputer ScienceSystems EngineeringCyber-physical SystemsModel-based Systems EngineeringSystems ModelingComplex Systems ModelingComputational ModelingCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingHuman-cyber-physical InteractionActorsControl Of Cyber-physical SystemsControl-computer IntegrationCyber-physical Architecture DesignCyber-physical Systems IntegrationFormal Methods For Cyber-physical Systems
Cyber-Physical Systems (CPS) lead to the 4-th Industrial Revolution (Industry 4.0) that will have benefits from high flexibility of production, easy and so more accessible participation of all involved parties of business processes. The Industry 4.0 production paradigm is characterized by autonomous behaviour and intercommunicating properties of its production elements across all levels of manufacturing processes so one of the key concept in this domain will be the semantic interoperability of systems. This goal can benefit from formal methods well known in various scientific domains such as artificial intelligence, and machine learning. So, the current research concerns the adaptation of the approach named Formal Concept Analysis (FCA) for structuring knowledge and for optimizing CPS interoperability.
19
Rudolf Wille · Electronic Notes in Discrete Mathematics · 1999 · 1.9K citations
Computing iceberg concept lattices with Titanic
Gerd Stumme, Rafik Taouil, Yves Bastide et al. · Data & Knowledge Engineering · 2002 · 440 citations · Full text