Výsledky vyhledávání - "Isabel Demongodin"

Observer design for labeled finite automata with inputs under stealthy actuators attacks

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

Publikováno v: 16th IFAC Workshop on Discrete Event Systems WODES
16th IFAC Workshop on Discrete Event Systems WODES, Sep 2022, Prague, Czech Republic. pp.46-51, ⟨10.1016/j.ifacol.2022.10.322⟩

This paper addresses the problem of cyber-attacks in discrete-event systems framework. Labeled finite state automata with inputs derived from a particular class of Petri net, called Output Synchronized Petri nets, are used to model a given cyber-phys

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eddc01442347ecdca5c64697558c306d
https://hal-amu.archives-ouvertes.fr/hal-03879792

Zobrazit plný text záznamu

Costs analysis of stealthy attacks with bounded output synchronized Petri nets

Autor: Leonardo Brenner, Saïd Amari, Isabel Demongodin, Dimitri Lefebvre, Rabah Ammour

Publikováno v: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), Aug 2021, Lyon, France. pp.799-804, ⟨10.1109/CASE49439.2021.9551583⟩
CASE

International audience; This paper concerns the security analysis of discrete event systems modeled with a particular class of synchronized Petri nets that include output functions, called Output Synchonized Petri nets. Such a formalism is suitable a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39b9d5a641c0f0065651ad9cac1fafbc
https://hal-amu.archives-ouvertes.fr/hal-03517596

Zobrazit plný text záznamu

Correction to 'Synchronizing sequences on a class of unbounded systems using synchronized Petri nets'

Autor: Isabel Demongodin, Alessandro Giua, Changshun Wu

Publikováno v: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2019, 29 (4), pp.521-526. ⟨10.1007/s10626-019-00295-9⟩
Discrete Event Dynamic Systems, 2019, 29 (4), pp.521-526. ⟨10.1007/s10626-019-00295-9⟩

The paper mentioned in the title proposed a new definition of increasing repetitive input sequences for synchronized Petri nets and stated that it can be used to construct a finite modified coverability graph for any unbounded SynPN. In this note, we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b31bccf8d7313e2452e7245f8a4e0bc
https://doi.org/10.1007/s10626-019-00295-9

Zobrazit plný text záznamu

Observer Design for Bounded Output Synchronized Petri Nets

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

Publikováno v: 2021 European Control Conference (ECC)
2021 European Control Conference (ECC), Jun 2021, Delft, Netherlands. pp.746-751, ⟨10.23919/ECC54610.2021.9655111⟩

International audience; This paper concerns discrete event systems modeled with a particular class of synchronized Petri nets that include output functions, called Output Synchronized Petri nets. Such a formalism is suitable and tractable to represen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6029036e8d497d43c27a7bdf41c7158e
https://hal-amu.archives-ouvertes.fr/hal-03517554

Zobrazit plný text záznamu

Event-Driven Control for Reaching a Steady State in Controlled Generalized Batches Petri Nets

Autor: Leonardo Brenner, Rabah Ammour, Ruotian Liu, Isabel Demongodin

Publikováno v: 15th IFAC Workshop on Discrete Event Systems, WODES 2020
15th IFAC Workshop on Discrete Event Systems, WODES 2020, Nov 2020, Rio de Janeiro, Brazil
HAL

This paper addresses the control problem of controlled generalized batches Petri nets. The considered problem is to reach a given steady state from an initial one by controlling the firing flow of transitions. The proposed strategy is event-driven an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66007704e4918801d6f81c6601bfe877
https://hal-amu.archives-ouvertes.fr/hal-03171923

Zobrazit plný text záznamu

ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets

Autor: Rabah Ammour, Leonardo Brenner, Isabel Demongodin, Ruotian Liu

Publikováno v: 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECOS 2020.
14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECOS 2020., Oct 2020, Xi'an, China. pp.84-99, ⟨10.1007/978-3-030-65955-4_7⟩
Lecture Notes in Computer Science ISBN: 9783030659547
VECoS

This paper, dedicated to controlled generalized batches Petri nets without discrete nodes, presents a method for computing a control trajectory for reaching a steady state from a given initial marking. A steady state is characterized by a state in wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ec931938d041f29fb91e7c099344330
https://hal-amu.archives-ouvertes.fr/hal-03171901

Zobrazit plný text záznamu

Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata

Autor: Alessandro Giua, Changshun Wu, Isabel Demongodin

Publikováno v: 20th IFAC World Congress
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.13434-13440, ⟨10.1016/j.ifacol.2017.08.2300⟩

Testing is a fundamental technique for system design and verification to ensure security and reliability. However its application to discrete event systems modeled by unbounded synchronized Petri nets is not straightforward because there exists no fi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2806e272b8c0f9240962b3bf17b83f38
https://doi.org/10.1016/j.ifacol.2017.08.2300

Zobrazit plný text záznamu

Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets

Autor: Alessandro Giua, Isabel Demongodin, Changshun Wu

Publikováno v: 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT)
2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2018, Thessaloniki, France. pp.51-57
CoDIT

Identification of a final state after red a test is one of the fundamental testing problems for discrete event systems and synchronizing sequences represents a conventional solution to this problem. In this paper, we consider systems modeled by a spe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b568fc24ad9e5c2c52382f7b4313cc67
https://hal-amu.archives-ouvertes.fr/hal-02019075

Zobrazit plný text záznamu

Testing experiments on unbounded systems: synchronizing sequences using Petri nets

Autor: Alessandro Giua, Isabel Demongodin, Marco Pocci, Norbert Giambiasi

Publikováno v: WODES

Determining the state of a system when one does not know its current initial state is a very important problem in many practical applications as checking communication protocols, part orienteers, digital circuit reset etc. Synchronizing sequences hav

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::124bd9b1f6ac2518300bef816f01ea12
https://doi.org/10.3182/20140514-3-fr-4046.00104

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání