This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power consumption in indoor public places. The pro...
详细信息
This paper proposes a smart video surveillance system with real-time moving object (primarily human) detection and identification for solving the problem of excessive power consumption in indoor public places. The proposed detection system is able to handle several known constraints such as changing illumination conditions, occlusion, clutter or even irrelevant extraneous motion. It keeps track of the number of humans in the vicinity and takes measures to gradually increase or decrease the luminosity depending on the number of people within its sight.
Discrete Event System Specification (DEVS) has been widely used to describe hierarchical models of discrete systems. DEVS has also been used successfully to model with Real-Time constraints. In this paper, we introduc...
详细信息
Discrete Event System Specification (DEVS) has been widely used to describe hierarchical models of discrete systems. DEVS has also been used successfully to model with Real-Time constraints. In this paper, we introduce a methodology to verify Real-Time DEVS models, and describe the methodology by using a case study of a DEVS model of an elevator system. Our methodology applies recent advances in theoretical model checking to DEVS models. The methodology also handles the cases where theoretical approach is not feasible to cross the gap between abstract Timed Automata models and the complexity of the DEVS Real-time implementation by empirical software engineering methods. The case study is a system composed of an elevator along an elevator controller, and we show how the methodology can be applied to a real case like this one in order to improve the quality of such real-time applications.
A variety of problems arising in communication networks, computer networks, automated manufacturing plants, etc. can be described by min-max-plus system models. Output feedback stabilization for the nonlinear, non-aut...
详细信息
An electronic nose system had been developed by using 16 quartz resonator sensitive membranes-basic resonance frequencies 20 MHz as a sensor, and analyzed the measurement data through various neural network as a patte...
详细信息
A new algorithm based on Modified Particle Swarm Optimization (MPSO) which follows a local gradient of the chemical concentration within a plume and follow direction of the wind velocity is investigated. Moreover, the...
详细信息
Techniques for optimal control of hybrid systems have to consider the complex interaction of continuous and discrete dynamics and are required to limit the computational complexity arising from the corresponding searc...
详细信息
Techniques for optimal control of hybrid systems have to consider the complex interaction of continuous and discrete dynamics and are required to limit the computational complexity arising from the corresponding search spaces. This contribution proposes an approach to computing hybrid optimal control trajectories based on an iterative model-abstraction and refinement scheme. The hybrid automaton is mapped to an abstract representation which is enriched by cost information gained from graph. Candidate solutions are computed on the abstract level and are mapped back to the level of the hybrid model, where they are validated. A refinement step guides the search for (sub-) optimal hybrid control trajectories. The proposed approach is implemented for the optimization of the start-up procedure for a chemical reactor.
The paper contributes to factor analysis of relational data. We study the problem of decomposition of object-attribute matrices with grades, i.e. matrices whose entries contain degrees to which objects have attributes...
详细信息
We present a new design method for robust low-delay coding of auto-regressive (AR) sources for transmission across erasure channels. The method is based on Linear Predictive Coding (LPC) with Kalman estimation at the ...
详细信息
The COSMO-SkyMed mission offers a unique opportunity to obtain radar images useful for flood mapping, being characterized by high revisit time, thanks to the four satellites that form its constellation. To study the p...
详细信息
A hierarchical Nonlinear Model Predictive control (NMPC) scheme with guaranteed Input-to-State-practical-Stability (ISpS) is proposed. The controller is formed by an Integral Sliding Mode (ISM) controller and a NMPC o...
详细信息
A hierarchical Nonlinear Model Predictive control (NMPC) scheme with guaranteed Input-to-State-practical-Stability (ISpS) is proposed. The controller is formed by an Integral Sliding Mode (ISM) controller and a NMPC one. The ISM, relying on the knowledge of the nominal continuous-time model of the system and of the piecewise constant control signal generated by the NMPC produces a control action aimed at reducing the difference between the dynamics of the nominal closed-loop system and the actual evolution of the state. The NMPC in this way can be designed based on a system with reduced uncertainty. In order to prove the stability of the overall control scheme, some general Regional ISpS results for continuous-time systems are proven.
暂无评论