Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

12 résultats
Page :
triés par

Algorithm for controlling the transient behavior of controlled generalized batches Petri nets

 Ruotian Liu , Rabah Ammour , Leonardo Brenner , Isabel Demongodin
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Poster de conférence hal-02432706v1

Faults prognosis using partially observed stochastic Petri-nets: an incremental approach

 Rabah Ammour , Edouard Leclercq , Eric Sanlaville , Dimitri Lefebvre
Discrete Event Dynamic Systems, 2018, 28 (2), pp.247-267. ⟨10.1007/s10626-017-0252-y⟩
Article dans une revue hal-02112606v1
Image document

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

 Ruotian Liu , Rabah Ammour , Leonardo Brenner , Isabel Demongodin
15th IFAC Workshop on Discrete Event Systems, WODES 2020, Nov 2020, Rio de Janeiro, Brazil. ⟨10.1016/j.ifacol.2021.04.063⟩
Communication dans un congrès hal-03171923v1

Fault prognosis of timed stochastic discrete event systems with bounded estimation error

 Rabah Ammour , Edouard Leclercq , Eric Sanlaville , Dimitri Lefebvre
Automatica, 2017, 82, pp.35-41. ⟨10.1016/j.automatica.2017.04.028⟩
Article dans une revue hal-02112609v1
Image document

Attack Synchronizing Sequences for Output Synchronized Petri Nets with Multiple Deadlocks

 Khalid Hamada , Rabah Ammour , Leonardo Brenner , Isabel Demongodin
14ème colloque sur la Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France
Poster de conférence hal-04527970v1
Image document

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

 Ruotian Liu , Rabah Ammour , Leonardo Brenner , Isabel Demongodin
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⟩
Communication dans un congrès hal-03171901v1
Image document

Datation of faults for Markovian Stochastic DESs

 Rabah Ammour , Edouard Leclercq , Eric Sanlaville , Dimitri Lefebvre
IEEE Transactions on Automatic Control, 2018, ⟨10.1109/TAC.2018.2872490⟩
Article dans une revue hal-01983398v1

State estimation of discrete event systems for RUL prediction issue

 Rabah Ammour , Edouard Leclercq , Eric Sanlaville , Dimitri Lefebvre
International Journal of Production Research, 2017, 55 (23), pp.7040-7057. ⟨10.1080/00207543.2017.1346835⟩
Article dans une revue hal-02112613v1
Image document

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

 Rabah Ammour , Said Amari , Leonardo Brenner , Isabel Demongodin , Dimitri Lefebvre
IEEE Robotics and Automation Letters, 2023, 8 (5), pp.2732-2739. ⟨10.1109/LRA.2023.3250007⟩
Article dans une revue hal-04202802v1

Modeling and temporal performances evaluation of networked control systems using (max, +) algebra

 Rabah Ammour , Saïd Amari
International Journal of Systems Sciences, 2015, 46 (1), pp.18-30,. ⟨10.1080/00207721.2014.938787⟩
Article dans une revue hal-01238552v1
Image document

Contribution au diagnostic et pronostic des systèmes à évènements discrets temporisés par réseaux de Petri stochastiques

 Rabah Ammour
Automatique. Normandie Université, 2017. Français. ⟨NNT : 2017NORMLH21⟩
Thèse tel-01720312v1
Image document

Algorithm for Controlling the Transient Behavior of Controlled Generalized Batches Petri Nets

 Ruotian Liu , Rabah Ammour , Leonardo Brenner , Isabel Demongodin
12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France
Poster de conférence hal-02433029v1
Page :