Control of Linear Min-plus Systems under Temporal Constraints. - Said Amari; Isabel Demongodin; Jean-Jacques Loiseau (CDC/ECC, 2005)

Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs. - Saïd Amari; Jean Jacques Loiseau; Isabel Demongodin (IPDPS, 2005)

Design of max-plus control laws to meet temporal constraints in timed event graphs. - Saïd Amari; Jean Jacques Loiseau; Claude Martinez; Isabel Demongodin (ICINCO-SPSMC, 2006)

Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra. - Boussad Addad; Said Amari (CASE, 2008)

Linear time-varying (max, +) representation of conflicting timed event graphs. - Boussad Addad; Saïd Amari; Jean-Jacques Lesage (WODES, 2010)

Analytic Calculus of Response Time in Networked Automation Systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2010)

Measures vs. analytic evaluation of response time of Networked Automation Systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage; Bruno Denis (CASE, 2011)

Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant. - Abdourrahmane M. Atto; Claude Martinez; Saïd Amari (Comput. Ind. Eng., 2011)

Genetic algorithms for delays evaluation in networked automation systems. - Boussad Addad; Said Amari; Jean-Jacques Lesage (Eng. Appl. Artif. Intell., 2011)

Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis. - Boussad Addad; Said Amari; Jean-Jacques Lesage (IEEE Trans Autom. Sci. Eng., 2011)

A Virtual-Queuing-Based Algorithm for Delay Evaluation in Networked Control Systems. - Boussad Addad; Saïd Amari; Jean-Jacques Lesage (IEEE Trans. Ind. Electron., 2011)

Networked conflicting timed event graphs representation in (Max, +) algebra. - Boussad Addad; Said Amari; Jean-Jacques Lesage (Discret. Event Dyn. Syst., 2012)

Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs. - Saïd Amari; Isabel Demongodin; Jean Jacques Loiseau; Claude Martinez (IEEE Trans. Autom. Control., 2012)

Evaluation of Response Time Bounds in Producer/Consumer Networked Control Systems Using (Max, +) Algebra. - Rabah Ammour; Saïd Amari (WODES, 2014)

Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study. - Julien Niguez; Saïd Amari; Jean-Marc Faure (ETFA, 2015)

Feedback control for a class of discrete event systems with critical time. - Saïd Amari (Int. J. Control, 2015)

Modelling and temporal performances evaluation of networked control systems using (max, +) algebra. - Rabah Ammour; Saïd Amari (Int. J. Syst. Sci., 2015)

Multiparametric predictive control for a class of Discrete Event Systems. - Hakima Hamri; Redouane Kara; Saïd Amari (WODES, 2016)

Analysis of Timed Automata with Guards in dioids algebra. - Julien Niguez; Saïd Amari; Jean-Marc Faure (WODES, 2016)

Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max, +) algebra. - Wassim Mohamed Boussahel; Saïd Amari; Radouane Kara (Discret. Event Dyn. Syst., 2016)

Model predictive control of P-time event graphs. - Hakima Hamri; Radouane Kara; Saïd Amari (Int. J. Syst. Sci., 2016)

Output feedback control of discrete processes under time constraint: application to cluster tools. - Romain Jacob; Saïd Amari (Int. J. Comput. Integr. Manuf., 2017)

Modelling and temporal evaluation of networked control systems using timed automata with guards and (max, +) algebra. - Ferhat Tamssaouet; Saïd Amari (Int. J. Syst. Sci., 2018)

Control of Petri nets subject to strict temporal constraints using Max-Plus algebra. - Karima Tebani; Saïd Amari; Radouane Kara (Int. J. Syst. Sci., 2018)

A new formal method of control for Min-Plus linear systems subject to time constraints. - Nesrine Ben Afia; Said Amari; Hassani Messaoud (ICCAD, 2019)

Analysis of distributed control systems using timed automata with guards and dioid algebra. - Fatima Ait Oumeziane; Alain Ourghanlian; Saïd Amari (ETFA, 2020)

Modeling Distributed Control Systems response time: from theory to measures. - Kévin Goloze Imama; Alain Ourghanlian; Saïd Amari (ICCA, 2020)

Fault-tolerant control of energy production devices using discrete event systems formalisms. - F. Gatwaza; Lynda Seddiki; Herman Akdag; Saïd Amari (ICCAD, 2020)

Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras. - Fatima Ait Oumeziane; Redouane Kara; Saïd Amari (Int. J. Syst. Sci., 2020)

Costs analysis of stealthy attacks with bounded output synchronized Petri nets. - Rabah Ammour; Leonardo Brenner; Isabel Demongodin; Said Amari; Dimitri Lefebvre (CASE, 2021)

Observer Design for Bounded Output Synchronized Petri Nets. - Rabah Ammour; Said Amari; Leonardo Brenner; Isabel Demongodin; Dimitri Lefebvre (ECC, 2021)

Min-Plus realizable control design for partially observable timed event graphs under marking constraints. - Karima Tebani; Said Amari (Eur. J. Control, 2021)

Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra. - Sofiane Aberkane; Redouane Kara; Saïd Amari (Int. J. Syst. Sci., 2021)

Algebraic approaches for designing control laws of time-constrained networked conflicting timed event graphs. - Sofiane Aberkane; Redouane Kara; Said Amari (Eur. J. Control, 2022)

Design of control laws for timed event graphs networks subject to mutual exclusion constraints in Min-Plus algebra. - Maroua Soumatia; Said Amari (Eur. J. Control, 2022)

Switching models and control of Petri Nets with shared resources under marking constraints. - Nesrine Ben Afia; Said Amari; Hassani Messaoud (Int. J. Comput. Integr. Manuf., 2022)

Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms. - Ouail Himrane; Alain Ourghanlian; Saïd Amari (Int. J. Control, 2022)

Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems - Application to a FIFO Queue. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (IEEE Robotics Autom. Lett., 2022)

New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (CDC, 2023)

Delays Evaluation of Networked Control System Switches using Timed Coloured Petri Nets and Formal Series. - Louis Bal dit Sollier; Alain Ourghanlian; Saïd Amari (ETFA, 2023)

Construction of Model-based Diagnosis of Cyber-Attack in Cyber-Physical Systems Using Labeled Petri Nets. - Romain Thibert; Gregory Faraut; Saïd Amari (ETFA, 2023)

Feedback control laws to ensure generalized mutual exclusion constraints in a network of partially observable timed event graphs. - Jihene Rajah; Said Amari; Karima Tebani; Maher Barkallah; Mohamed Haddar (Eur. J. Control, 2023)

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 Autom. Lett., 2023)

Linear Min-Plus system control under generalized mutual exclusion constraints: application to managing the replenishment policy of a supply chain in the presence of disturbances. - Syrine Bouazza; Saïd Amari; S. Addouche (CoDIT, 2024)

Performance analysis of supply chains using discrete event systems formalisms. - Maroua Soumatia; Jihene Rajah; Saïd Amari (CoDIT, 2024)

Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process. - Syrine Bouazza; Said Amari; Hichem Hassine; Maher Barkallah; Mohamed Haddar (Int. J. Control, 2024)

Control laws synthesis for timed event graphs subject to generalised marking constraints by Min-Plus algebra: application to cluster tools. - Jihene Rajah; Karima Tebani; Saïd Amari; Maher Barkallah; Mohamed Haddar (Int. J. Control, 2024)

Control Laws for Partially Observable Min-Plus Systems Networks With Disturbances and Under Mutual Exclusion Constraints. - Syrine Bouazza; Said Amari; Hichem Hassine (IEEE Robotics Autom. Lett., 2024)

Feedback control to guarantee marking constraints in timed event graphs including disturbances: Application to disassembly systems. - Syrine Bouazza; Saïd Amari; Hichem Hassine; Maher Barkallah; Mohamed Haddar (Eur. J. Control, 2024)

Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra. - Jihene Rajah; Said Amari; Maher Barkallah; Mohamed Haddar (Inf. Sci., 2024)

An algebraic control method to guarantee generalized marking constraints for partially observable timed event graphs. - Jihene Rajah; Said Amari; Maher Barkallah; Mohamed Haddar (Discret. Event Dyn. Syst., 2024)

Modeling and modular detection of time attacks in cyber-physical systems based on timed automata with guards and dioid algebra. - Bouthayna El Bouzaidi Tiali; Said Amari (Comput. Secur., 2025)

Design of control laws to guarantee mutual exclusion constraints in a network of linear Min-Plus systems with disturbance inputs. - Syrine Bouazza; Saïd Amari; Hichem Hassine (Inf. Sci., 2025)

Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process. - Syrine Bouazza; Saïd Amari; Hichem Hassine (Int. J. Control, 2025)