Recherche

Consulter le flux RSS

Publications

Liste des publications du LURPA

Affichage des publications 101 à 110 sur 851 au total

Automatic

Inferring Moore Machine for Adaptive Online Hybrid Automaton Identification

In the context of CPS modeling, this paper proposes a new method for online adaptive identification of hybrid systems. The method relies on a Moore machine identification process; We propose a mapping between a hybrid automaton and a discrete event…

Yan Monier, Gregory Faraut, Bruno Denis, Nabil Anwer

IFAC World Congress 2023 -

Automatic

Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets

Cyber-Physical Systems (CPS) brought connectivity to factories, and with connectivity comes a risk of cyber attack. CPSs are vulnerable to malicious attacks in which an attacker is inserted between a process and its control unit. Some papers have…

Romain Thibert, Gregory Faraut, Saïd Amari

2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA) -

Cryptography and Security

Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs

This paper deals with the vulnerability analysis of cyber-physical systems subject to malicious actions. For this purpose, the considered system is assumed to be abstracted as a discrete event system. Labeled finite automata with inputs are used to…

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre

IEEE Robotics and Automation Letters -

Other

Active transfer learning for data-driven manufacturing process modelling

Manufacturing process modelling (MPM) aims to construct high-fidelity digital predictive models of the concerned properties of products, processes or manufacturing systems for the further optimisation and improvement of manufacturing activities…

Gengxiang Chen, Yingguang Li, Charyar Mehdi-Souzani, Xu Liu

Procedia CIRP -