Amira Chouchane

According to our database, Amira Chouchane authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Fault-prognosability, K-step prognosis and K-step predictive diagnosis in partially observed petri nets by means of algebraic techniques.

Amira Chouchane, Mohamed Ghazel

Autom., 2024

A High Parallelization Method for Automated Formal Verification of Deep Neural Networks.

Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models.

Amira Chouchane, Mohamed Ghazel

Proceedings of the 10th International Conference on Control, 2024

2023

<i>K</i>-diagnosability analysis of bounded and unbounded Petri nets using linear optimization.

Amira Chouchane, Mohamed Ghazel, Abderraouf Boussif

Autom., 2023

2022

Diagnosis on a sliding window for partially observable Petri nets.

Amira Chouchane, Philippe Declerck

Kybernetika, 2022

2021

Analytical redundancy relationship generation on a progressive horizon for fault diagnosis of a labelled Petri net.

Amira Chouchane

IMA J. Math. Control. Inf., 2021

2017

A strategy for estimation in timed Petri nets.

Philippe Declerck, Amira Chouchane, Patrice Bonhomme

Proceedings of the 4th International Conference on Control, 2017