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.
Provides an abstract for each of the keynote presentations and a brief professional biography of each presenter. The complete presentations were not made available for publication as part of the conference proceedings.
Modular verification approaches have recently gained attention to enable cost efficient handling of changes in safety critical embedded systems. First results in this field are based on formal languages and iterative change processes to analyze the neighboring design elements of the change and thereby determine the effects of the change and possible inconsistencies. The alternative, being mostly applied...
The performance of image classification usually depends on the quality of labelled datasets to be used as training samples. In the context of remote sensing, the acquisition of ground-truth data can be a difficult and expensive task because it depends on the comprehensive surveys over the area of interest while the labelling task must be performed by experienced professionals. On the other hand, algorithms...
This work presents a color feature selection for white smoke detection in a day light. This scenario was chosen since this work was applied to environmental conditions. Firstly, a manual segmentation of real world images is made such a way to define the colors associated with the white smoke. A set of 1,106,340 samples was defined. Secondly, a set of 29 features created from several color models were...
In this paper, a systematic approach is proposed to convert fuzzy models into rough models. In certain phases of fuzzy model processing, specific procedures are necessary, such as fuzzification or defuzzification. Rough models make up a class of models based on rules which do not require either process for the involved variables. This characteristic proves to be beneficial in real time applications...
The Extreme Learning Machine (ELM) is a recent training method for feedforward neural networks. Its main advantage is a faster and simpler training procedure when it is compared with traditional global search optimization method. It is achieved by using a least square solution for the output layer and random initialization for hidden layer. In this way only one solution is attained. In this sense,...
This paper presents the ways of constructing routing algorithms in mechanical transport systems based on knowledge. It is assumed that the experts observing system behavior applies his experience by designating subsystems with a specific behavior. To create routing tables, a model of fuzzy temporal hypergraph was used. We consider fixed and dynamic routing, given modifications of Dijkstra's algorithm...
Smart and green cities are hot topics in current research because people are becoming more conscious about their impact on the environment and the sustainability of their cities as the population increases. Many researchers are searching for mechanisms that can reduce power consumption and pollution in the city environment. This paper addresses the issue of public lighting and how it can be improved...
Model-based approaches are very often used for diagnosis in production systems. And since the manual creation of behavior models is a tough task, many learning algorithms have been constructed for the automatic model identification. Most of them are tested and evaluated on artificial datasets on personal computers only. However, the implementation on cyber-physical production systems puts additional...
This work presents a performance analysis of the Extreme Learning Machine (ELM) compared to the Support Vector Machine (SVM) and K-Nearest Neighbor (K-NN) classifiers for automatic diagnosis of machine conditions. Tests were performed using 5,314 real examples extracted from electrical submersible pumps. The vibration signal extraction was executed in laboratory and the samples were labeled by experts...
Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitative temporal reasoning to answer about decidability and to find feasible schedules. In this paper we present an alternative technique based on model-checking approach that uses only qualitative temporal reasoning...
The manufacturing control system must immediately react to a variation in product, process specification, fault occurrence, changes in the resources functional capabilities, and other operational factors. Besides, to gain competitive advantage, distributed productive systems must work in cooperation with each other. To effectively integrate these heterogeneous envi-ronments, this paper proposes a...
This paper addresses the distributed execution of Input-Output Place Transition Petri nets (IOPT-nets) models through a network of distributed controllers by providing platform independent modules for communication. Each controller is associated with an IOPT-net sub-model and a set of static communication modules characterized dynamically by the communication meta-model. The sub-models use communication...
. In order to address the challenges of greener energy generation, new techniques need to be developed both to generate electricity with lower emissions and to optimize energy distribution and consumption. Smart grid techniques have been developed specifically to tackle this latter challenge. This paper aims to contribute in improving the efficiency of energy use within a single household by modeling...
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.