44,620 research outputs found
Distributed Active-Camera Control Architecture Based on Multi-Agent Systems
Proceedings of: 10th Conference on Practical Applications of Agents and Multi-Agent Systems, Salamanca (Spain), 28-30 March 2012 (PAAMS`12)In this contribution a Multi-Agent System architecture is proposed to deal with the management of spatially distributed heterogeneous nets of sensors, specially is described the problem of Pan-Tilt-Zoom or active cameras. The design of surveillance multi-sensor systems implies undertaking to solve two related problems: data fusion and coordinated sensor-task management. Generally, proposed architectures for the coordinated operation of multiple sensors are based on centralization of management decisions at the fusion center. However, the existence of intelligent sensors capable of taking decisions brings the possibility of conceiving alternative decentralized architectures. This problem could be approached by means of a Multi-Agent System (MAS). In specific, this paper proposes a MAS architecture for automatically control sensors in video surveillance environments.This work was supported in part by Projects CICYT TIN2008-06742-C02-02/TSI, CICYT
TEC2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/ TIC-1485) and DPS2008-
07029-C02-02.Publicad
Cognitive visual tracking and camera control
Cognitive visual tracking is the process of observing and understanding the behaviour of a moving person. This paper presents an efficient solution to extract, in real-time, high-level information from an observed scene, and generate the most appropriate commands for a set of pan-tilt-zoom (PTZ) cameras in a surveillance scenario. Such a high-level feedback control loop, which is the main novelty of our work, will serve to reduce uncertainties in the observed scene and to maximize the amount of information extracted from it. It is implemented with a distributed camera system using SQL tables as virtual communication channels, and Situation Graph Trees for knowledge representation, inference and high-level camera control. A set of experiments in a surveillance scenario show the effectiveness of our approach and its potential for real applications of cognitive vision
A short curriculum of the robotics and technology of computer lab
Our research Lab is directed by Prof. Anton Civit. It is an interdisciplinary group of 23
researchers that carry out their teaching and researching labor at the Escuela
Politécnica Superior (Higher Polytechnic School) and the Escuela de Ingeniería
Informática (Computer Engineering School). The main research fields are: a)
Industrial and mobile Robotics, b) Neuro-inspired processing using electronic spikes,
c) Embedded and real-time systems, d) Parallel and massive processing computer
architecture, d) Information Technologies for rehabilitation, handicapped and elder
people, e) Web accessibility and usability
In this paper, the Lab history is presented and its main publications and research
projects over the last few years are summarized.Nuestro grupo de investigación está liderado por el profesor Civit. Somos un grupo
multidisciplinar de 23 investigadores que realizan su labor docente e investigadora
en la Escuela Politécnica Superior y en Escuela de Ingeniería Informática. Las
principales líneas de investigaciones son: a) Robótica industrial y móvil. b)
Procesamiento neuro-inspirado basado en pulsos electrónicos. c) Sistemas
empotrados y de tiempo real. d) Arquitecturas paralelas y de procesamiento masivo.
e) Tecnología de la información aplicada a la discapacidad, rehabilitación y a las
personas mayores. f) Usabilidad y accesibilidad Web.
En este artículo se reseña la historia del grupo y se resumen las principales
publicaciones y proyectos que ha conseguido en los últimos años
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
Self-adaptation is a promising approach to manage the complexity of modern
software systems. A self-adaptive system is able to adapt autonomously to
internal dynamics and changing conditions in the environment to achieve
particular quality goals. Our particular interest is in decentralized
self-adaptive systems, in which central control of adaptation is not an option.
One important challenge in self-adaptive systems, in particular those with
decentralized control of adaptation, is to provide guarantees about the
intended runtime qualities. In this paper, we present a case study in which we
use model checking to verify behavioral properties of a decentralized
self-adaptive system. Concretely, we contribute with a formalized architecture
model of a decentralized traffic monitoring system and prove a number of
self-adaptation properties for flexibility and robustness. To model the main
processes in the system we use timed automata, and for the specification of the
required properties we use timed computation tree logic. We use the Uppaal tool
to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432
- …