CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
The explicit solution of the filtering problem with exponential criteria for a general Gaussian signal is obtained through an approach which is based on a conditional Cameron-Mart...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- We consider arbitrarily many interconnected integral Input-to-State Stable (iISS) systems in an arbitrary interconnection topology and provide an (i)ISS comparison princ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper addresses the state estimation problem of nonlinear systems. We formulate the problem using a minimum energy estimator (MEE) approach and propose an entropy penalized sc...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
RTSS
1990
IEEE
13 years 11 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...