Mohamed Khalgui
YOU?
Author Swipe
View article: A unified model for the fairness mechanism‐based coordinated vehicle route guidance
A unified model for the fairness mechanism‐based coordinated vehicle route guidance Open
Coordinated vehicle route guidance is recognized as an effective way to alleviate the Braess' paradox that new congestion is generated since numerous vehicles obey the same guidance from Google Maps. In conventional route games, decision‐m…
View article: Dynamic Timed Automata for Reconfigurable System Modeling and Verification
Dynamic Timed Automata for Reconfigurable System Modeling and Verification Open
Modern discrete-event systems (DESs) are often characterized by their dynamic structures enabling highly flexible behaviors that can respond in real time to volatile environments. On the other hand, timed automata (TA) are powerful tools u…
View article: Secure distributed power trading protocol for networked microgrids based on blockchain and elliptic curve cryptography
Secure distributed power trading protocol for networked microgrids based on blockchain and elliptic curve cryptography Open
The definition of an electricity trading protocol among microgrids is not an easy task to perform due to the grid's increasing requirements. In fact, a trading process must provide security and especially privacy of the buyer and seller id…
View article: Fairness concern‐based coordinated vehicle route guidance using an asymmetrical congestion game
Fairness concern‐based coordinated vehicle route guidance using an asymmetrical congestion game Open
In this paper, an asymmetrical congestion game is used to build a fairness concern‐based coordinated route guidance model for alleviating traffic congestion. Coordinated vehicle route guidance is commonly recognized as an effective way to …
View article: Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator
Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator Open
View article: New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks
New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks Open
View article: Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets Open
This work deals with the language-based opacity verification and enforcement problems in discrete event systems modeled with labeled Petri nets. Opacity is a security property that relates to privacy protection by hiding secret information…
View article: Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles Open
Due to the limitations of data transfer technologies, existing studies on urban traffic control mainly focused on isolated dimension control such as traffic signal control or vehicle route guidance to alleviate traffic congestion. However,…
View article: UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones Open
Unmanned aerial systems (UAVs) are dramatically evolving and promoting several civil applications. However, they are still prone to many security issues that threaten public safety. Security becomes even more challenging when they are conn…
View article: Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499
Modeling Methodology for Reconfigurable Distributed Systems using Transformations from GR-UML to GR-TNCES and IEC 61499 Open
View article: A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems Open
View article: On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture
On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture Open
View article: Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement
Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement Open
View article: Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL Open
View article: Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints Open
This paper deals with the scheduling of real-time periodic tasks executed on heterogeneous multicore platforms. Each processor is composed of a set of multi-speed cores with limited energy resources. A reconfigurable system is sensible to …
View article: On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment Open
View article: Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets
Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets Open
The rapidly growing use of modern computer-integrated systems involving critical assets underscores the need for developing measures to guarantee their security against malicious attacks. This paper deals with the problem of language-based…
View article: 3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints
3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints Open
View article: Non Cooperative Game Theoretic Approach for Residential Energy\n Management in Smart Grid
Non Cooperative Game Theoretic Approach for Residential Energy\n Management in Smart Grid Open
Demand side management (DSM) is one of the main functionalities of the smart\ngrid as it allows the consumer to adjust its energy consumption for an\nefficient energy management. Most of the existing DSM techniques aim at\nminimizing the e…
View article: Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid
Non Cooperative Game Theoretic Approach for Residential Energy Management in Smart Grid Open
Demand side management (DSM) is one of the main functionalities of the smart grid as it allows the consumer to adjust its energy consumption for an efficient energy management. Most of the existing DSM techniques aim at minimizing the ener…
View article: MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial Systems Open
The MAVLink is a lightweight communication protocol between Unmanned Aerial Vehicles (UAVs) and ground control stations (GCSs). It defines a set of bi-directional messages exchanged between a UAV (aka drone) and a ground station. The messa…
View article: MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial\n Systems
MAVSec: Securing the MAVLink Protocol for Ardupilot/PX4 Unmanned Aerial\n Systems Open
The MAVLink is a lightweight communication protocol between Unmanned Aerial\nVehicles (UAVs) and ground control stations (GCSs). It defines a set of\nbi-directional messages exchanged between a UAV (aka drone) and a ground\nstation. The me…
View article: Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet
Qualitative and Quantitative Risk Analysis and Safety Assessment of Unmanned Aerial Vehicles Missions over the Internet Open
In the last few years, Unmanned Aerial Vehicles (UAVs) are making a revolution as an emerging technology with many different applications in the military, civilian, and commercial fields. The advent of autonomous drones has initiated serio…
View article: Qualitative and Quantitative Risk Analysis and Safety Assessment of\n Unmanned Aerial Vehicles Missions over the Internet
Qualitative and Quantitative Risk Analysis and Safety Assessment of\n Unmanned Aerial Vehicles Missions over the Internet Open
In the last few years, Unmanned Aerial Vehicles (UAVs) are making a\nrevolution as an emerging technology with many different applications in the\nmilitary, civilian, and commercial fields. The advent of autonomous drones has\ninitiated se…
View article: Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey
Micro Air Vehicle Link (MAVlink) in a Nutshell: A Survey Open
The Micro Air Vehicle Link (MAVLink in short) is a communication protocol for unmanned systems (e.g., drones, robots). It specifies a comprehensive set of messages exchanged between unmanned systems and ground stations. This protocol is us…
View article: R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems Open
View article: Source Resizing and Improved Power Distribution for High Available Island Microgrid: <italic>A Case Study on a Tunisian Petroleum Platform</italic>
Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform Open
A microgrid is a small-scale smart network that contains distributed resources and loads and serves several technical, economic, and environmental aims. In this kind of power system, the energy generated by different sources is often colle…
View article: Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location Open
This paper deals with microgrids in an islanded location where only local generator sources are deployed. However, microgrids in isolated mode are susceptible to unplanned meteorological changes. The defy is to improve the autonomy of thes…
View article: Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems
Dynamic Reconfiguration of Intelligence for High Behaviour Adaptability of Autonomous Distributed Discrete-Event Systems Open
This paper deals with the intelligence adaptation of distributed real-time embedded control systems when scenarios of reconfiguration happen in their hardware or software level. The reconfiguration process is a composition of controllers r…
View article: Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies Open
This paper addresses the allocation of Energy Storage Systems (ESSs) in power grids by finding the optimal number of ESSs and their locations and sizes with the goal of improving reliability in contingency states. We propose a contingency-…