Search results for " computer science applications"
showing 10 items of 103 documents
Vibration control for adjacent structures using local state information
2014
In this paper, a novel strategy for structural vibration control of multi-structure systems is presented. This strategy pays particular attention to mitigating negative interstructure interactions. Moreover, it is based on recent advances in static output–feedback control, which make possible the efficient computation of decentralized velocity-feedback controllers by solving a single-step optimization problem with Linear Matrix Inequality constraints. To illustrate the main ideas, a local velocity-feedback energy-to-peak controller is designed for the seismic protection of a two-building system. This controller is remarkably effective and extremely simple. Moreover, it can also be implement…
Hybrid Procedure for Automated Detection of Cracking with 3D Pavement Data
2016
Pavement cracks are considered a major indicator of pavement performance. Because traditional manual crack surveys are dangerous, time consuming, and expensive, technologies have been developed to collect high-speed pavement images, and numerous algorithms have been proposed to detect cracks on pavement surface. The latest PaveVision3D Ultra system (3D Ultra) has been implemented to achieve 30-kHz three-dimensional (3D) scanning rate for 1-mm resolution pavement surface data at highway speed up to 100 km/h (60 mi/h). This paper presents the application of a hybrid procedure for automated crack detection on 3D pavement data collected using 3D Ultra. The procedure combines three different me…
Data-driven design of robust fault detection system for wind turbines
2014
Abstract In this paper, a robust data-driven fault detection approach is proposed with application to a wind turbine benchmark. The main challenges of the wind turbine fault detection lie in its nonlinearity, unknown disturbances as well as significant measurement noise. To overcome these difficulties, a data-driven fault detection scheme is proposed with robust residual generators directly constructed from available process data. A performance index and an optimization criterion are proposed to achieve the robustness of the residual signals related to the disturbances. For the residual evaluation, a proper evaluation approach as well as a suitable decision logic is given to make a correct …
A robust fault detection design for uncertain Takagi-Sugeno models with unknown inputs and time-varying delays
2013
Abstract This paper investigates the problem of robust fault detection system design for a class of uncertain Takagi–Sugeno (T–S) models. The system under consideration is subject to unknown input and time-varying delay. The fault detection system is designed such that the unknown input is thoroughly decoupled from residual signals generated by the fault detection system. Furthermore, the residual signals show the maximum possible sensitivity to the faults and the minimum possible sensitivity to the external disturbances. The model matching approach is utilized to tackle the effects of parametric uncertainties in the model of the system. The design procedure is presented in terms of Linear …
A structured filter for Markovian switching systems
2014
In this work, a new methodology for the structuring of multiple model estimation schemas is developed. The proposed filter is applied to the estimation and detection of active mode in dynamic systems. The discrete-time Markovian switching systems represented by several linear models, associated with a particular operating mode, are studied. Therefore, the main idea of this work is the subdivision of the models set to some subsets in order to improve the detection and estimation performances. Each subset is associated with sub-estimators based on models of the subset. In order to compute the global estimate and subset probabilities, a global estimator is proposed. Theoretical developments ba…
Visibly pushdown modular games,
2014
Games on recursive game graphs can be used to reason about the control flow of sequential programs with recursion. In games over recursive game graphs, the most natural notion of strategy is the modular strategy, i.e., a strategy that is local to a module and is oblivious to previous module invocations, and thus does not depend on the context of invocation. In this work, we study for the first time modular strategies with respect to winning conditions that can be expressed by a pushdown automaton. We show that such games are undecidable in general, and become decidable for visibly pushdown automata specifications. Our solution relies on a reduction to modular games with finite-state automat…
Gesture recognition using low-cost devices: Techniques, applications, perspectives
2016
Negli ultimi anni abbiamo assistito ad una grande diffusione dei cosiddetti “Kinect-like devices”, ovvero dispositivi basati su un insieme di sensori a basso costo, che consentono di ottenere un’immagine di profondità della scena ripresa. L’alta accessibilità di questi dispositivi, principalmente in termini di costi, ne ha facilitato la diffusione nell’ambito del riconoscimento dei gesti in numerose applicazioni, sia commerciali che di ricerca. In questo articolo saranno inizialmente illustrati i principi generali su cui si fondano le principali tecniche utilizzate per riconoscere i gesti, sfruttando i dati ottenibili dai dispositivi “Kinect-like”. Successivamente, saranno presentati alcuni…
LOFT - A large observatory for x-ray timing
2010
The high time resolution observations of the X-ray sky hold the key to a number of diagnostics of fundamental physics, some of which are unaccessible to other types of investigations, such as those based on imaging and spectroscopy. Revealing strong gravitational field effects, measuring the mass and spin of black holes and the equation of state of ultradense matter are among the goals of such observations. At present prospects for future, non-focused X-ray timing experiments following the exciting age of RXTE/PCA are uncertain. Technological limitations are unavoidably faced in the conception and development of experiments with effective area of several square meters, as needed in order to…
Assessing Peer Review by Gauging the Fate of Rejected Manuscripts: the case of the Journal of Artificial Societies and Social Simulation
2017
This paper investigates the fate of manuscripts that were rejected from JASSS-The Journal of Artificial Societies and Social Simulation, the flagship journal of social simulation. We tracked 456 manuscripts that were rejected from 1997 to 2011 and traced their subsequent publication as journal articles, conference papers or working papers. We compared the impact factor of the publishing journal and the citations of those manuscripts that were eventually published against the yearly impact factor of JASSS and the number of citations achieved by the JASSS mean and top cited articles. Only 10% of the rejected manuscripts were eventually published in a journal that was indexed in the Web of Sci…
Robust H∞ filtering for networked control systems with markovian jumps and packet dropouts
2014
Published version of an article in the journal: Modeling, Identification and Control. Also available from the publisher at: http://dx.doi.org/10.4173/mic.2014.3.3 Open Access This paper deals with the H∞ filtering problem for uncertain networked control systems. In the study, network-induced delays, limited communication capacity due to signal quantization and packet dropout are all taken into consideration. The finite distributed delays with probability of occurrence in a random way is introduced in the network.The packet dropout is described by a Bernoulli process. The system is modeled as Markovian jumps system with partially known transition probabilities. A full-order filter is designe…