43,763 research outputs found
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants
Modern control is implemented with digital microcontrollers, embedded within
a dynamical plant that represents physical components. We present a new
algorithm based on counter-example guided inductive synthesis that automates
the design of digital controllers that are correct by construction. The
synthesis result is sound with respect to the complete range of approximations,
including time discretization, quantization effects, and finite-precision
arithmetic and its rounding errors. We have implemented our new algorithm in a
tool called DSSynth, and are able to automatically generate stable controllers
for a set of intricate plant models taken from the literature within minutes.Comment: 10 page
Open circle maps: Small hole asymptotics
We consider escape from chaotic maps through a subset of phase space, the
hole. Escape rates are known to be locally constant functions of the hole
position and size. In spite of this, for the doubling map we can extend the
current best result for small holes, a linear dependence on hole size h, to
include a smooth h^2 ln h term and explicit fractal terms to h^2 and higher
orders, confirmed by numerical simulations. For more general hole locations the
asymptotic form depends on a dynamical Diophantine condition using periodic
orbits ordered by stability.Comment: This version has a new section investigating different hole
locations. Now 9 pages, 3 figure
Optimum Weight Selection Based LQR Formulation for the Design of Fractional Order PI{\lambda}D{\mu} Controllers to Handle a Class of Fractional Order Systems
A weighted summation of Integral of Time Multiplied Absolute Error (ITAE) and
Integral of Squared Controller Output (ISCO) minimization based time domain
optimal tuning of fractional-order (FO) PID or PI{\lambda}D{\mu} controller is
proposed in this paper with a Linear Quadratic Regulator (LQR) based technique
that minimizes the change in trajectories of the state variables and the
control signal. A class of fractional order systems having single non-integer
order element which show highly sluggish and oscillatory open loop responses
have been tuned with an LQR based FOPID controller. The proposed controller
design methodology is compared with the existing time domain optimal tuning
techniques with respect to change in the trajectory of state variables,
tracking performance for change in set-point, magnitude of control signal and
also the capability of load disturbance suppression. A real coded genetic
algorithm (GA) has been used for the optimal choice of weighting matrices while
designing the quadratic regulator by minimizing the time domain integral
performance index. Credible simulation studies have been presented to justify
the proposition.Comment: 6 pages, 5 figure
- …