43,763 research outputs found

    Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants

    Get PDF
    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

    Full text link
    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

    Full text link
    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
    • …
    corecore