Publications
-
Security Implementation and Verification in Smart Buildings
The homes are dangerous environments like outside since it contains risks affect on the life of the inhabitant (humidity, temperature, noise, light, etc.), especially with the increase of the attention on smart homes and buildings in the previous few years where studies focused on the IoT domain exclude partially these risks. Smart homes/buildings are equipped […]
-
On the development of a thermal comfort control for classroom conditioned by split-type systems
Thermal comfort conditions may vary substantially within an air-conditioned room equipped by split-type systems. In this work, the comfort conditions in a classroom were evaluated experimentally based on the PMV index, according to ISO 7730 Standard that defines the thermal satisfaction in occupied environments. The experiment was carried out at three different supply airflows (high, […]
-
Model Predictive Control-based Thermal Comfort and Energy Optimization
Model Predictive Control-based Thermal Comfort and Energy Optimization
-
A Meta Language for Cyber-Physical Systems and Threats: Application on autonomous vehicle
One of the main challenges in the development process of secure systems is how to detect as early as possible the system’s vulnerabilities and weaknesses, and also how to quantify the severity of attacks through them. In this paper, we rely on the concept of attack surfaces to implement a secure cyber physical system in […]
-
Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams
SysML activity diagram is a standard modeling language for complex systems. It supports systems’ composition by providing the operator ‘call behavior’. In general, the verification of systems modeled with those diagram inherit the limitations of the developed built-in tools, especially the case of model checking. To address this shortcoming, we propose a compositional verification framework […]
-
A Smart Living Framework: Towards Analyzing Security in Smart Rooms
Indoor environments play a main role on people living, work, social life, and health. Especially, recent statistics show that people who are often most susceptible to the adverse health effects tend to spend more time indoors. To overcome these issues, modern rooms are well equipped with di erent kind of connected objects (IoT) in order […]
-
Réalité augmentée dans un contexte industriel
Résumé L’essor des technologies numériques, associé à la digitalisation des process industriels et aux évolutions de l’industrie 4.0, permettent l’introduction et l’usage d’interface homme/machine s’appuyant sur la réalité augmentée pour assister les acteurs métiers dans un contexte industriel. Dans ce contexte, cet article traite des différents usages de la réalité augmentée et de leur maturité, […]
-
A Proposal for a Methodology of Technical Creativity mixing TRIZ and Additive Manufacturing
The industry has quickly realized the importance of bringing creativity into product design. The industrial context requires robust and efficient methods and tools to access untapped sources of ideas. Furthermore, Additive Manufacturing (AM) offers a large potential of creativity for product design. This potential is particularly significant at the level of Intermediate Objects. Previous works […]
-
Evolution within the maturity concept of BIM
Many construction companies in France are rather shy today to the adoption of BIM because the process is not sufficiently understood. Companies therefore need effective support to ensure their transition in digital. The success of this transformation is strongly related to the level of maturity of the companies in the deployment of BIM. It is […]
-
Single quay crane and multiple yard trucks scheduling problem with integration of reach-stacker cranes at port of Tripoli-Lebanon
This paper addresses the scheduling problem in port of Tripoli-Lebanon for a single quay crane with multiple yard trucks, all containers that will be unloaded from the vessel are in the same bay. The objective is to reduce the completion time of all containers from the vessel to their store location, we used a mixed […]
-
Fractal modeling of Cyber physical production system using multi-agent systems
This paper proposes a modeling based multi-agent system to simulate a production workshop considered as a CyberPhysical System (CPS). A Cyber-Physical Production System (CPPS) is a fundamental component of Industry 4.0, which strongly influences how workshops make production and how the entire supply chain is designed, managed and supervised. Indeed, the use of systems combining […]
-
Deployment of Fog Computing Platform for Cyber Physical Production System Based on Docker Technology
Industry 4.0 is the most recent industrial revolution that is based on data collection, exchange, and analysis, in order to improve the productivity of manufacturing systems. Thus, Fog computing is an emerging technology, which enables to process data close to its source and will be responsible for decentralized decision-making, interoperability, data analytics, information security, real […]
Chargement en cours…
Erreur : tout le contenu a été chargé.