Amir Abdellatif
Papers
1
Total Citations
11
H-Index
1
About
Amir Abdellatif is a researcher whose work sits at the intersection of discrete event systems, formal methods, and optimization. His primary research focus is on the modeling, analysis, and estimation of Petri nets—a powerful mathematical tool for representing complex, concurrent systems. Abdellatif’s most significant contribution is the development of the GRASP Inspired Method (GMIM), a novel approach for estimating the Minimum Initial Marking (MIM) of Labeled Petri Nets. This work, published in 2020 and cited 11 times, addresses a fundamental challenge: given only a sequence of observable labels, how can one determine the minimal initial state of a system? By adapting the Greedy Randomized Adaptive Search Procedure (GRASP)—a metaheuristic typically used for combinatorial optimization—Abdellatif provides an efficient, scalable solution to a problem that is often computationally intractable. His method has direct implications for system diagnosis, fault detection, and the reverse engineering of cyber-physical systems. Abdellatif’s research is notable for bridging theoretical rigor with practical algorithmic design, offering tools that are both provably sound and applicable to real-world industrial systems.
Research Focus
Key Achievements
Top Papers
- 1