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.
The extension of a solution to a hybrid system beyond its Zeno time is a simple exercise in modeling. However, assuring that the extended system is well-posed in a certain sense, in particular, that the extension of a solution depends reasonably on initial, pre-Zeno, conditions, has not been addressed. In this paper it is shown that these results hold for hybrid systems that exhibit Zeno behavior...
Area integral invariant (AII) is a functional obtained by performing integral operations on the closed planar contour of a shape via the convolution with disc kernels. This shape descriptor is insensitive to noise and robust with respect to occlusions. AII intrinsically introduces the notion of scale using the size of kernel radius. However how to select an optimal scale remains unresolved. In this...
Speed Up Robust Features SURF is one of the most popular and efficient methods used for image registration task. In order to achieve a correct registration, a good matching of feature point is required. However in the case of multimodal images, the high and non-linear intensity changes between different modalities led to many outliers (mismatching of detected points) and consequently a fail in the...
Neighborhood Covering Reduction extracts rules for classification through formulating the covering of data space with neighborhoods. The neighborhoods of covering are constructed based on distance measure and strictly constrained to be homogeneous. However, this strategy over focuses on boundary samples and thus makes the neighborhood covering model sensitive to noise. To tackle this problem, we construct...
A Cover song is a rendition of a previously recorded piece of music, cover song identification is about automatically recognizing a song as perceptually the same as another performance of the same song even thought it was played in a different place, perhaps by other musicians each with their own musical instruments. It is a challenging problem of great interest in audio-signal processing, renditions...
Time Petri nets (TPNs) (Merlin 1974) are a classical extension of Petri nets with timing constraints attached to transitions, for which most verification problems are undecidable. We consider TPNs under a strong semantics with multiple enabling of transitions. We focus on a structural subclass of unbounded TPNs, where the underlying untimed net is free choice, and show that it enjoys nice properties...
This paper presents the applications of a Nonlinear Model Predictive Controller (NMPC), this nonlinear controller uses the Nonlinear Extended Prediction Self-Adaptive Controller (NEPSAC), furthermore uses the Generalized Model Predictive Control (GPC) and PID to the control of a Dryer Plant of Cocoa Beans. It shows characteristics of the plant, and it realized the identification for know their dynamic...
This paper discusses ‘InLoc’, an accurate and a robust positioning and tracking system using commercial mobile devices, with an integrated feature of route finding for the user from a source to the desired destination. The system exploits easily available building floor maps in raster form, with an easy conversion to vector model, eliminating the need of specially designed vector maps, thereby making...
We introduce a new framework for Equivalence Checking (EC) of Boolean circuits based on a general technique called Logic Relaxation (LoR). LoR is meant for checking if a propositional formula G has only “good” satisfying assignments specified by a design property. The essence of LoR is to relax G into a formula Grlx and compute a set S that contains all assignments that satisfy Grlx but do not satisfy...
Feature learning from unlabeled times series data is an important component in data analysis. Shaplets are discriminative sub-sequence of time series that can best predict target variable. Therefore, shaplets discovery is very important for analysis of time-series. Recently, based on optimization model, a novel approach has been proposed to learning shaplets. To make shaplets learning model more robust,...
This study presents a single parameter self-tuning fuzzy fractional order PIλ (STFFOPIλ) controller for second order uncertain dynamical system. A method for the self-tuning of fractional order controller (FOC) using fuzzy logic is introduced. Fuzzy auto-tune technique adjusts on-line integral order (λ) of STFFOPIλ controller to meet that system have different control parameters under different error...
This paper addresses the problem of robust control for a class of nonlinear dynamical systems in the continuous time domain. We deal with nonlinear models described by differential algebraic equations (DAEs) in the presence of bounded uncertainties. The full model of the control system under consideration is completed by linear sampling-type outputs. Main contribution of present manuscript is the...
Applications based on groups of self-organized mobile robots and — more generically — agents are becoming pervasive in communication, monitoring, traffic and transportation systems. Their advantage is the possibility of providing services without the existence of a previously defined infrastructure and with a high degree of autonomy. On the other hand, physical agents, in general, are prone to failures,...
This paper proposes a novel shadow removal technique for cooperative projection system based-on spatio-temporal prediction. In our previous work, we proposed a distributed feedback algorithm, which is implementable in cooperative projection environments subject to data transfer constraints between components. A weakness of this scheme is that the compensation is conducted in each pixel independently...
Changes in social networks may reflect an underlying significant events or behaviors within an organization. Detecting these changes effectively and efficiently could have the potential to enable the early warning, and faster response to both positive and negative organizational activities. In this paper, we use a genetic algorithm based back propagation (GABP) neural network model to quantitatively...
Since Cyber Physical Systems (CPS) are widely used inmany safety-critical domains these days, critical propertiessuch as robustness and resilience are required for such systems. To increase the robustness and the resilience of CPS, various sensor fusion techniques have been studied [1], [2],[3], [4]. These fusion techniques are based on certain sensormodels, which broadly fall into two categories:...
Frailty is an increasingly common geriatric condition that results in an increased risk of adverse health outcomes such as falls. The most widely-used means of detecting frailty is the Fried phenotype, which includes several objective measures such as grip strength and gait velocity. One method of screening for falls is to measure balance, which can be done by a range of techniques including the assessment...
This paper considers the problem of robust estimation and constrained model predictive control (MPC). The paper deals with a discrete linear time-invariant system affected by additive bounded disturbances, whose states are measurable, but not directly accessible. In order to improve the control performance, a state estimator is desirable. The design problem of an observer based on zonotopes to estimate...
The paper presents a cooperative scheme for controlling arbitrary formations of low speed experimental UAVs based on a distributed LQR design methodology. Each UAV acts as an independent agent in the formation and its dynamics are described by a 6-DOF (degrees of freedom) nonlinear model. This is linearized for control design purposes around an operating point corresponding to straight flight conditions...
Single sensor camera captures scenes using a color filter array, such that each pixel samples only one of the three primary colors. A process called color demosaicking (CDM) is used to produce full color image. In this paper, we present a new variational model for high quality CDM. The robust data term is measured by Z1-norm to repress the heavy tailed artifacts. The regularization term is measured...
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.