The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper proposes a real-time neighborhood energy management (NEM) approach that aims to manage real-time residential energy. The introduced approach considers the neighborhood energy surpluses in order to reduce peak load demand and gas emissions. First, NEM allows decreases in energy cost by optimally choosing between locally generated energy, neighborhood energy surplus, or grid supplied. Second,...
This paper deals with the modular verification of modular Petri nets. We propose a new modular structure of the state space of a given modular Petri. Such a structure associates a graph with each module of the system allowing to describe the module behaviours and some global information. Thanks to the modularity of the proposed structure, the explosion problem of the state space is attenuated. Further,...
The choice of the programming language impacts the efficiency of the application and the robustness of the code. The characteristics of Erlang as a functional programming language supported distributed real time computing allowed us to propose eDDS: an Erlang based middleware compliant to the Data Distribution Service (DDS) standard that providing a strong Quality of Service (QoS) support. When the...
High-level Petri nets are a powerful modelling language appropriate to represent massive, dynamic, and complicated systems like pipeline networks. Finding the optimal path in these networks is not an easy task, especially when we are concerned with multi-objective problems such as in the present study: minimizing path's length and maximizing valves' dynamic reliability which depends on time and conditions...
Wireless sensor network consists of a large number of low-power, short-lived, unreliable sensors. One fundamental issue in this kind of networks is the coverage problem, that reflects how well the target area is monitored by sensors. According to the coverage concept, many works have introduced nodes-scheduling methods to increase the system lifetime, as well as to maintain sufficient coverage and...
His work proposes a hierarchical Coloured Petri Nets (CPN) model for finding the most reliable path in an oil pipeline network. A path is achieved with the opening of valves along it linking the pipes and with the closing of the adjacent ones to isolate it from the rest of the pipeline network. This work has two goals: firstly to calculate the dynamic reliability of the valves engaged to open (openers)...
Nowadays Distributed Denial of Service (DDoS) attacks related to networked enterprise systems is a problem that has become much known. Many papers dealt with this type of attacks. Recently DDoS attacks that target large cyberspaces like national cyberspaces have become a hot topic. We start from an existing architecture called Saher Architecture. Saher is used to detect attacks threatening Tunisian...
A-priori access control techniques allow granting access to a set of predefined agents. In some processes, we cannot define in advance the set of authorized agents because the characteristics of the process instance determine activity assignment. A-posteriori access control allows access to many agents who claim being authorized. It implements an audit process permitting to check the behavior of the...
This paper introduces a formal specification model that covers a large class of real Flexible Manufacturing System (FMS). Using this model, a designer expresses the functional capacities of his system and the product flows. Parallel manufacturing processes, having, transformation, assembly, disassembly, test and storage operations, are considered. FMS specification is automatically transformed into...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.