Saïd Amari - Publications, H-index & Citations

Saïd Amari

Universite Paris Saclay

13H指数

110论文数

564被引数

收录论文 11

发表时间

Formal methodology for designing control laws to meet generalised marking constraints for partially controllable timed event graphs

JOURNAL OF CONTROL AND DECISION

IF1.8

2025-10-01

PREAI

Bouazza, Syrine; Amari, Said

Modular management and analysis of predictive aircraft maintenance using colored Petri net tools 基于着色Petri网工具的预测性飞机维护模块化管理与分析

PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY

IF1.8

2025-09-01

PREAI

Abbes, Sana; Hassine, Hichem; Chaari, Riadh; Amari, Said; Haddar, Mohamed

Modeling and modular detection of time attacks in cyber–physical systems based on timed automata with guards and dioid algebra 基于带守卫的时序自动机和幂幺半群代数对网络物理系统中时间攻击的建模与模块化检测

Computers & Security

IF5.4

2025-06-03

PREAI

Bouthayna El Bouzaidi Tiali; Said Amari

Anew formal approach to safe response time upper bound evaluation for distributed control systems using dioid algebra

ISA TRANSACTIONS

IF6.5

2025-01-01

PREAI

Sollier, Louis Bal dit; Ourghanlian, Alain; Amari, Said

Switching models and control of Petri Nets with shared resources under marking constraints

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING

IF4

2021-10-12

PREAI

Nesrine, Ben Afia; Said, Amari; Hassani, Messaoud

Output feedback control of discrete processes under time constraint: application to cluster tools

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING

IF4

2016-08-29

PREAI

Jacob, R.; Amari, S.

Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs 满足定时事件图时间约束的max-plus控制设计

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2012-02-01

OAAI

Amari, Said; Demongodin, Isabel; Loiseau, Jean Jacques; Martinez, Claude

Control of discrete event systems with respect to strict duration: Supervision of an industrial manufacturing plant

COMPUTERS & INDUSTRIAL ENGINEERING

IF6.5

2011-11-01

OAAI

Atto, Abdourrahmane M.; Martinez, Claude; Amari, Said

A Virtual-Queuing-Based Algorithm for Delay Evaluation in Networked Control Systems

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

IF7.2

2011-09-01

OAAI

Addad, Boussad; Amari, Said; Lesage, Jean-Jacques

Client-Server Networked Automation Systems Reactivity: Deterministic and Probabilistic Analysis

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2011-07-01

OAAI

Addad, Boussad; Amari, Said; Lesage, Jean-Jacques

Analytic Calculus of Response Time in Networked Automation Systems

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2010-10-01

OAAI

Addad, Boussad; Amari, Said; Lesage, Jean-Jacques

研究方向