An algorithmic framework is developed for automatic deployment of car-like robots based on Linear Temporal Logic (LTL) formulae over a set of regions of interest in the environment. The environment and the regions of ...
详细信息
An algorithmic framework is developed for automatic deployment of car-like robots based on Linear Temporal Logic (LTL) formulae over a set of regions of interest in the environment. The environment and the regions of interest are a priori known, and the robot has non-negligible size and restricted steering capabilities. The approach relies on constructing a probabilistic finite-state abstraction of the car-like robot and on finding a trajectory (run) in this abstraction such that the probability of satisfying the LTL formula is maximized. The feasibility of our approach is supported by simulations under Matlab environment.
A search is presented for direct chargino production based on a disappearing-track signature using 20.3 fb−1 of proton-proton collisions at s=8 TeV collected with the ATLAS experiment at the LHC. In anomaly-mediated...
详细信息
A search is presented for direct chargino production based on a disappearing-track signature using 20.3 fb−1 of proton-proton collisions at s=8 TeV collected with the ATLAS experiment at the LHC. In anomaly-mediated supersymmetry breaking (AMSB) models, the lightest chargino is nearly mass degenerate with the lightest neutralino and its lifetime is long enough to be detected in the tracking detectors by identifying decays that result in tracks with no associated hits in the outer region of the tracking system. Some models with supersymmetry also predict charginos with a significant lifetime. This analysis attains sensitivity for charginos with a lifetime between 0.1 and 10 ns, and significantly surpasses the reach of the LEP experiments. No significant excess above the background expectation is observed for candidate tracks with large transverse momentum, and constraints on chargino properties are obtained. In the AMSB scenarios, a chargino mass below 270 GeV is excluded at 95% confidence level.
A search is presented for microscopic black holes in a like-sign dimuon final state in proton–proton collisions at s=8 TeV. The data were collected with the ATLAS detector at the Large Hadron Collider in 2012 and co...
详细信息
A search is presented for microscopic black holes in a like-sign dimuon final state in proton–proton collisions at s=8 TeV. The data were collected with the ATLAS detector at the Large Hadron Collider in 2012 and correspond to an integrated luminosity of 20.3 fb−1. Using a high track multiplicity requirement, 0.6±0.2 background events from Standard Model processes are predicted and none observed. This result is interpreted in the context of low-scale gravity models and 95% C.L. lower limits on microscopic black hole masses are set for different model assumptions.
A search has been performed for photons originating in the decay of a neutral long-lived particle, exploiting the capabilities of the ATLAS electromagnetic calorimeter to make precise measurements of the flight direct...
详细信息
A search has been performed for photons originating in the decay of a neutral long-lived particle, exploiting the capabilities of the ATLAS electromagnetic calorimeter to make precise measurements of the flight direction of photons, as well as the calorimeter’s excellent time resolution. The search has been made in the diphoton plus missing transverse energy final state, using the full data sample of 4.8 fb−1 of 7 TeV proton-proton collisions collected in 2011 with the ATLAS detector at the LHC. No excess is observed above the background expected from Standard Model processes. The results are used to set exclusion limits in the context of gauge mediated supersymmetry breaking models, with the lightest neutralino being the next-to-lightest supersymmetric particle and decaying with a lifetime in excess of 0.25 ns into a photon and a gravitino.
An updated search is performed for gluino, top squark, or bottom squark R-hadrons that have come to rest within the ATLAS calorimeter, and decay at some later time to hadronic jets and a neutralino, using 5.0 and 22.9...
详细信息
An updated search is performed for gluino, top squark, or bottom squark R-hadrons that have come to rest within the ATLAS calorimeter, and decay at some later time to hadronic jets and a neutralino, using 5.0 and 22.9 fb−1 of pp collisions at 7 and 8 TeV, respectively. Candidate decay events are triggered in selected empty bunch crossings of the LHC in order to remove pp collision backgrounds. Selections based on jet shape and muon system activity are applied to discriminate signal events from cosmic ray and beam-halo muon backgrounds. In the absence of an excess of events, improved limits are set on gluino, stop, and sbottom masses for different decays, lifetimes, and neutralino masses. With a neutralino of mass 100 GeV, the analysis excludes gluinos with mass below 832 GeV (with an expected lower limit of 731 GeV), for a gluino lifetime between 10 μs and 1000 s in the generic R-hadron model with equal branching ratios for decays to qq¯χ˜0 and gχ˜0. Under the same assumptions for the neutralino mass and squark lifetime, top squarks and bottom squarks in the Regge R-hadron model are excluded with masses below 379 and 344 GeV, respectively.
This paper presents the results obtained by visual predictive control laws in real-time visual servoing architectures. A key role when designing a stable image based control law is played by the visual features, and t...
详细信息
This paper presents the results obtained by visual predictive control laws in real-time visual servoing architectures. A key role when designing a stable image based control law is played by the visual features, and thus both points and image moments were considered and their performance revealed. A 6 d.o.f manipulator robot with an eye-in-configuration is used to design a visual servoing architecture and realtime implementation using Matlab is described. The results of different experiments for planar static objects are presented and discussed. For establishing the performance of visual predictive control laws a comparison with classical image based control laws is conducted.
Text passwords are commonly used for user authentication in the web. There is lately a strong interest for case studies on the password habits of populations with different cultures and/or languages. In this paper, we...
详细信息
The Association for the Advancement of Artificial Intelligence presented the 2011 Spring Symposium Series Monday through Wednesday, March 21-23, 2011, at Stanford University. This report summarizes the eight symposia....
In this paper authors present a new open source SNMP manager application called SETH. This application includes the following major attributes over existing management tools: MIB file parsing capabilities, automatic d...
详细信息
In this paper authors present a new open source SNMP manager application called SETH. This application includes the following major attributes over existing management tools: MIB file parsing capabilities, automatic discovery of network topology and variable up to real-time probing frequency of network equipment in order to extract useful statistical information regarding network conditions. Network information is acquired from network devices using real-time SNMP probes close to agent systems clock granularity. Then re-configurable network metrics are calculated and visualized. Additionally, SNMP trap or notification messages send by routers, indicating cases of network emergencies, are also recorded. Graphical visualization of metric values, network correlation functions and support for all SNMP protocol versions is also provided by the tool.
We consider the design of a robust ℋ ∞ filter for sampled-data systems whose measurements are sampled at uncertain and nonuniform sampling instants. A discrete-time, fixed-structure filter is considered. The resulti...
详细信息
We consider the design of a robust ℋ ∞ filter for sampled-data systems whose measurements are sampled at uncertain and nonuniform sampling instants. A discrete-time, fixed-structure filter is considered. The resulting error system is time-varying, which makes the filter design difficult. A procedure is presented to design the filter so that the error system remains asymptotically stable for all possible variations of the sampling period with an ℋ ∞ performance level. The effectiveness of the proposed method is demonstrated through numerical examples.
暂无评论