O
Olfa Mosbahi
Researcher at Carthage University
Publications - 95
Citations - 1217
Olfa Mosbahi is an academic researcher from Carthage University. The author has contributed to research in topics: Control reconfiguration & Model checking. The author has an hindex of 14, co-authored 95 publications receiving 1140 citations. Previous affiliations of Olfa Mosbahi include Martin Luther University of Halle-Wittenberg & Institut national des sciences appliquées.
Papers
More filters
Journal ArticleDOI
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
TL;DR: A novel and computationally efficient method to design optimal control places, and an iteration approach that only computes the reachability graph of a plant Petri net model once in order to obtain a maximally permissive liveness-enforcing supervisor for an FMS.
Journal ArticleDOI
Reconfigurable Coordination of Distributed Discrete Event Control Systems
TL;DR: A virtual coordinator together with a communication protocol between it and subsystems is developed in order to achieve two aims: to coordinate subsystems with an optimal coordination solution using judgement matrices while multiple subsystems require global reconfigurations and to reduce exchanged messages between the coordinator and these subsystems.
Journal ArticleDOI
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks
TL;DR: An intelligent agent is developed, which provides four solutions to reconfigure the system at runtime and modifies their temporal parameters dynamically, in order to feasibly serve the probabilistic tasks and reduce the system's power consumption.
Journal ArticleDOI
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems
TL;DR: A new formalism, called Reconfigurable Timed Net Condition/Event Systems (TNCES) (R-T NCES), is proposed for the optimal functional and temporal specification of RDECS, which is defined by a behavior module and a control module.
Journal ArticleDOI
RWiN: New Methodology for the Development of Reconfigurable WSN
TL;DR: A new design methodology named RWiN of an RWSN is proposed using unified modeling language (UML) to analyze, construct, develop, and verify easily RWSN architectures that adapt dynamically their behaviors to their environment under different properties.