Isabel Demongodin

38 papers A* 1A 1B 3C 7Journal 12Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Current State Estimation of Timed Labeled Synchronized Petri Nets.
IEEE Control. Syst. Lett.
Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri Lefebvre
2025 J jnl
Event-Driven Control of Hybrid Systems Using Batches Petri Nets: Application to High Throughput Manufacturing Systems.
IEEE Trans Autom. Sci. Eng.
Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin
2025 C conf
Synchronizing Sequence Computation Under Forbidden Event Constraints.
CoDIT
Khalid Hamada, Rabah Ammour, Isabel Demongodin
2024 C conf
Consensus approach based on negotiation and 2-opt optimization for MRTA problems in a decentralized setting.
CoDIT
Dimitri Lefebvre, Isabel Demongodin, Rabah Ammour, Sara Hsaini, Moulay El Hassan Charaf
2023 C conf
A Decentralized Based Approach Using Hybrid Filtered Beam Search Algorithm for Monitoring Patrols.
CoDIT
Sara Hsaini, Rabah Ammour, Leonardo Brenner, Moulay El Hassan Charaf, Isabel Demongodin
2023 — conf
Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks.
ICNSC
Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin
2023 J jnl
Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs.
IEEE Robotics Autom. Lett.
Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre
2021 — conf
Costs analysis of stealthy attacks with bounded output synchronized Petri nets.
CASE
Rabah Ammour, Leonardo Brenner, Isabel Demongodin, Said Amari, Dimitri Lefebvre
2021 — conf
Observer Design for Bounded Output Synchronized Petri Nets.
ECC
Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre
2020 C conf
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Nets.
VECoS
Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin
2019 J jnl
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets".
Discret. Event Dyn. Syst.
Changshun Wu, Isabel Demongodin, Alessandro Giua
2018 C conf
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets.
CoDIT
Changshun Wu, Isabel Demongodin, Alessandro Giua
2016 — conf
Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control.
CASE
Radhia Gaddouri, Leonardo Brenner, Isabel Demongodin
2016 C conf
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
CoDIT
Zhou He, ZhiWu Li, Isabel Demongodin, Alessandro Giua
2016 J jnl
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets.
Discret. Event Dyn. Syst.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 — conf
Extension of Batches Petri Nets by Bi-parts Batch Places.
ADECS @ Petri Nets
Radhia Gaddouri, Leonardo Brenner, Isabel Demongodin
2014 J jnl
Testing Experiments on Synchronized Petri Nets.
IEEE Trans Autom. Sci. Eng.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 — conf
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets.
WODES
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2013 J jnl
Testing experiments on synchronized Petri nets.
CoRR
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2012 J jnl
Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs.
IEEE Trans. Autom. Control.
Saïd Amari, Isabel Demongodin, Jean Jacques Loiseau, Claude Martinez
2012 — conf
Stationary behavior of controlled generalized batches Petri nets.
WODES
Isabel Demongodin, Alessandro Giua
2011 — conf
Synchronizing sequences on not strongly connected Petri nets.
SpringSim (TMS-DEVS)
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2010 — conf
Linear programming techniques for analysis and control of batches Petri nets.
WODES
Isabel Demongodin, Alessandro Giua
2009 B conf
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed.
Petri Nets
Isabel Demongodin
2008 J jnl
A holonic approach for manufacturing execution system design: An industrial application.
Eng. Appl. Artif. Intell.
Pascal Blanc, Isabel Demongodin, Pierre Castagna
2007 C conf
A holonic approach for manufacturing execution system design: An industrial application.
ETFA
Pascal Blanc, Pierre Castagna, Isabel Demongodin, Jean-Claude Hennet
2006 — conf
Design of max-plus control laws to meet temporal constraints in timed event graphs.
ICINCO-SPSMC
Saïd Amari, Jean Jacques Loiseau, Claude Martinez, Isabel Demongodin
2006 J jnl
Differential Petri net models for industrial automation and supervisory control.
IEEE Trans. Syst. Man Cybern. Syst.
Isabel Demongodin, Nick T. Koussoulas
2005 — conf
Control of Linear Min-plus Systems under Temporal Constraints.
CDC/ECC
Said Amari, Isabel Demongodin, Jean-Jacques Loiseau
2005 A conf
Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs.
IPDPS
Saïd Amari, Jean Jacques Loiseau, Isabel Demongodin
2004 — conf
Transitory state of neutral continuous marked graphs.
SMC (2)
Mustapha Mostefaoui, Isabel Demongodin, Nathalie Sauer
2001 J jnl
Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays.
Discret. Event Dyn. Syst.
Isabel Demongodin
2000 B conf
Steady state of continuous neutral weighted marked graphs.
SMC
Isabel Demongodin, Mustapha Mostefaoui, Nathalie Sauer
1999 — conf
On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS.
PNPM
Edouard Wagneur, Isabel Demongodin
1998 J jnl
Differential Petri nets: representing continuous systems in a discrete-event world.
IEEE Trans. Autom. Control.
Isabel Demongodin, Nick T. Koussoulas
1998 B conf
Fundamental concepts of analysis in batches Petri nets.
SMC
Isabel Demongodin, M. Caradec, François Prunet
1996 — conf
Modeling of mixed continuous/discrete-event systems via differential Petri nets.
ICECS
Isabel Demongodin, Nick T. Koussoulas
1994 A* conf
Modelling of High Throughput Production Lines by Using Generic Models Described in Batches Petri Nets.
ICRA
Nathalie Audry, Isabel Demongodin, François Prunet
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling