Ouajdi Korbaa

Learn More
– This paper presents a logical abstraction of the reachability graph of a timed Petri net using constraint programming. We apply it to the scheduling of transient inter-production states for cyclic productions in Flexible Manufacturing System. So, we propose to adapt the approach of Benasser and Yim (1999) based on the search of the accessibility by means(More)
In most cases authors are permitted to post their version of the article (e.g. in Word or Tex form) to their personal website or institutional repository. Authors requiring further information regarding Elsevier's archiving and manuscript policies are encouraged to visit: Abstract This paper concerns the domain of flexible manufacturing systems (FMS) and(More)
We are interested in the determination of the command of Flexible Manufacturing Systems (FMS) under small or medium production. We have chosen the Cyclic Behavior to reduce the complexity of the general scheduling problem. In this paper, we recall and discuss the most known cyclic scheduling heuristics. The aim is to combine their advantages and give a new(More)
Computer security is far from being guaranteed due to the scalability of computer networks, the constant evolution of risks and the presence of noisy information. Several solutions were proposed to ensure the integrity, confidentiality and availability of resources, including intrusion detection systems (IDS). The main objective of the current work is first(More)