27,065 research outputs found
Recommended from our members
Chippe : a system for constraint driven behavioral synthesis
This report describes the Chippe system, gives some background previous work and describes several sample design runs of the system. Also presented are the sources of the design tradeoffs used by Chippe, and overview of the internal design model, and experiences using the system
Space-Time Sampling for Network Observability
Designing sparse sampling strategies is one of the important components in
having resilient estimation and control in networked systems as they make
network design problems more cost-effective due to their reduced sampling
requirements and less fragile to where and when samples are collected. It is
shown that under what conditions taking coarse samples from a network will
contain the same amount of information as a more finer set of samples. Our goal
is to estimate initial condition of linear time-invariant networks using a set
of noisy measurements. The observability condition is reformulated as the frame
condition, where one can easily trace location and time stamps of each sample.
We compare estimation quality of various sampling strategies using estimation
measures, which depend on spectrum of the corresponding frame operators. Using
properties of the minimal polynomial of the state matrix, deterministic and
randomized methods are suggested to construct observability frames. Intrinsic
tradeoffs assert that collecting samples from fewer subsystems dictates taking
more samples (in average) per subsystem. Three scalable algorithms are
developed to generate sparse space-time sampling strategies with explicit error
bounds.Comment: Submitted to IEEE TAC (Revised Version
System analysis and integration studies for a 15-micron horizon radiance measurement experiment
Systems analysis and integration studies for 15-micron horizon radiance measurement experimen
The Folklore of Sorting Algorithms
The objective of this paper is to review the folklore knowledge seen in research work devoted on synthesis, optimization, and effectiveness of various sorting algorithms. We will examine sorting algorithms in the folklore lines and try to discover the tradeoffs between folklore and theorems. Finally, the folklore knowledge on complexity values of the sorting algorithms will be considered, verified and subsequently converged in to theorems
Analytical and simulator study of advanced transport
An analytic methodology, based on the optimal-control pilot model, was demonstrated for assessing longitidunal-axis handling qualities of transport aircraft in final approach. Calibration of the methodology is largely in terms of closed-loop performance requirements, rather than specific vehicle response characteristics, and is based on a combination of published criteria, pilot preferences, physical limitations, and engineering judgment. Six longitudinal-axis approach configurations were studied covering a range of handling qualities problems, including the presence of flexible aircraft modes. The analytical procedure was used to obtain predictions of Cooper-Harper ratings, a solar quadratic performance index, and rms excursions of important system variables
Experimental L-band SST satellite communications/surveillance terminal study. Volume 1 - Study summary
Study of design for experimental L band supersonic transport communications/surveillance termina
Controllability Metrics, Limitations and Algorithms for Complex Networks
This paper studies the problem of controlling complex networks, that is, the
joint problem of selecting a set of control nodes and of designing a control
input to steer a network to a target state. For this problem (i) we propose a
metric to quantify the difficulty of the control problem as a function of the
required control energy, (ii) we derive bounds based on the system dynamics
(network topology and weights) to characterize the tradeoff between the control
energy and the number of control nodes, and (iii) we propose an open-loop
control strategy with performance guarantees. In our strategy we select control
nodes by relying on network partitioning, and we design the control input by
leveraging optimal and distributed control techniques. Our findings show
several control limitations and properties. For instance, for Schur stable and
symmetric networks: (i) if the number of control nodes is constant, then the
control energy increases exponentially with the number of network nodes, (ii)
if the number of control nodes is a fixed fraction of the network nodes, then
certain networks can be controlled with constant energy independently of the
network dimension, and (iii) clustered networks may be easier to control
because, for sufficiently many control nodes, the control energy depends only
on the controllability properties of the clusters and on their coupling
strength. We validate our results with examples from power networks, social
networks, and epidemics spreading
- …