7,734 research outputs found
On weighted time optimal control for linear hybrid automata using quantifier elimination
This paper considers the optimal control problem for linear hybrid automata. In particular, it is shown that the problem can be transformed into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier Elimination (QE) techniques are employed in order to derive quantifier free inequalities that are linear. The optimal cost is obtained using linear programming. The optimal switching times and optimal continuous control inputs are computed and used in order to derive the optimal hybrid controller. Our results areapplied to an air traffic management example
On suboptimal control design for hybrid automata using predictive control techniques
In this paper we propose an on-line design technique for the target control problem, when the system is modelled by hybrid automata. First, we compute off-line the shortest path, which has the minimum discrete cost, from an initial state to the given target set. Next, we derive a controller which successfully drives the system from the initial state to the target set while minimizing a cost function. The model predictive control (MPC) technique is used when the current state is not within a guard set, otherwise the mixed-integer predictive control (MIPC) technique is employed. An on-line, semi-explicit control algorithm is derived by combining the two techniques. Finally, as an application of the proposed control procedure, the high-speed and energy-saving control problem of the CPU processing isconsidered
Robust semi-explicit model predictive control for hybrid automata
In this paper we propose an on-line design technique for the target control problem of hybrid automata. First, we compute on-line the shortest path, which has the minimum discrete cost, from an initial state to the given target set. Next, we derive a controller which successfully drives the system from the initial state to the target set while minimizing a cost function. The (robust) model predictive control (MPC) technique is used when the current state is not within a guard set, otherwise the (robust) mixed-integer predictive control (MIPC) technique is employed. An on-line, semi-explicit control algorithm is derived by combining the two techniques and applied on a high-speed and energy-saving control problem of the CPU processing
A link density clustering algorithm based on automatically selecting density peaks for overlapping community detection
Peer reviewedPostprin
K-essence Explains a Lorentz Violation Experiment
Recently, a state of the art experiment shows evidence for Lorentz violation
in the gravitational sector. To explain this experiment, we investigate a
spontaneous Lorentz violation scenario with a generalized scalar field. We find
that when the scalar field is nonminimally coupled to gravity, the Lorentz
violation induces a deformation in the Newtonian potential along the direction
of Lorentz violation.Comment: 8 pages, the final version, discussion and references adde
e-Distance Weighted Support Vector Regression
We propose a novel support vector regression approach called e-Distance
Weighted Support Vector Regression (e-DWSVR).e-DWSVR specifically addresses two
challenging issues in support vector regression: first, the process of noisy
data; second, how to deal with the situation when the distribution of boundary
data is different from that of the overall data. The proposed e-DWSVR optimizes
the minimum margin and the mean of functional margin simultaneously to tackle
these two issues. In addition, we use both dual coordinate descent (CD) and
averaged stochastic gradient descent (ASGD) strategies to make e-DWSVR scalable
to large scale problems. We report promising results obtained by e-DWSVR in
comparison with existing methods on several benchmark datasets
Cascade Residual Learning: A Two-stage Convolutional Neural Network for Stereo Matching
Leveraging on the recent developments in convolutional neural networks
(CNNs), matching dense correspondence from a stereo pair has been cast as a
learning problem, with performance exceeding traditional approaches. However,
it remains challenging to generate high-quality disparities for the inherently
ill-posed regions. To tackle this problem, we propose a novel cascade CNN
architecture composing of two stages. The first stage advances the recently
proposed DispNet by equipping it with extra up-convolution modules, leading to
disparity images with more details. The second stage explicitly rectifies the
disparity initialized by the first stage; it couples with the first-stage and
generates residual signals across multiple scales. The summation of the outputs
from the two stages gives the final disparity. As opposed to directly learning
the disparity at the second stage, we show that residual learning provides more
effective refinement. Moreover, it also benefits the training of the overall
cascade network. Experimentation shows that our cascade residual learning
scheme provides state-of-the-art performance for matching stereo
correspondence. By the time of the submission of this paper, our method ranks
first in the KITTI 2015 stereo benchmark, surpassing the prior works by a
noteworthy margin.Comment: Accepted at ICCVW 2017. The first two authors contributed equally to
this pape
- …