2 papers
cs.LO2018
Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency
Mario Lezoche, Hervé Panetto
Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technolo…
cs.IR2018
Knowledge extraction, modeling and formalization: EEG case study
Dmitry Morozov, Mario Lezoche, Hervé Panetto
Formal Concept Analysis (FCA) is a well-established method for data analysis which finds many applications in data mining. Its extension on complex data representation formats brou…