Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Optimal controllers with complex order derivatives

This paper studies the optimization of complex-order algorithms for the discrete-time control of linear and nonlinear systems. The fundamentals of fractional systems and genetic algorithms are introduced. Based on these concepts, complexorder control schemes and their implementation are evaluated in the perspective of evolutionary optimization. The results demonstrate not only that complex-order derivatives constitute a valuable alternative for deriving control algorithms, but also the feasibility of the adopted optimization strategy

Discretization of complex-order differintegrals

This paper deals with the discretization of integrals and derivatives (i.e., differintegrals) of complex order. Several methods for the discretization of the operator s, where y = u+jv is a complex value, are proposed. The concept of conjugated-order differintegral is also presented. The conjugated-order operator allows the use of complexorder differintegrals while still resulting in real time responses and real transfer functions. The performance of the resulting approximations is evaluated both in the time and frequency domains.N/

Fractional - order system modeling and its applications

In order to control or operate any system in a closed-loop, it is important to know its behavior in the form of mathematical models. In the last two decades, a fractional-order model has received more attention in system identification instead of classical integer-order model transfer function. Literature shows recently that some techniques on fractional calculus and fractional-order models have been presenting valuable contributions to real-world processes and achieved better results. Such new developments have impelled research into extensions of the classical identification techniques to advanced fields of science and engineering. This article surveys the recent methods in the field and other related challenges to implement the fractional-order derivatives and miss-matching with conventional science. The comprehensive discussion on available literature would help the readers to grasp the concept of fractional-order modeling and can facilitate future investigations. One can anticipate manifesting recent advances in fractional-order modeling in this paper and unlocking more opportunities for research

Fractional Order PID Controller Tuning by Frequency Loop-Shaping: Analysis and Applications

abstract: The purpose of this dissertation is to develop a design technique for fractional PID controllers to achieve a closed loop sensitivity bandwidth approximately equal to a desired bandwidth using frequency loop shaping techniques. This dissertation analyzes the effect of the order of a fractional integrator which is used as a target on loop shaping, on stability and performance robustness. A comparison between classical PID controllers and fractional PID controllers is presented. Case studies where fractional PID controllers have an advantage over classical PID controllers are discussed. A frequency-domain loop shaping algorithm is developed, extending past results from classical PID’s that have been successful in tuning controllers for a variety of practical systems.Dissertation/ThesisDoctoral Dissertation Electrical Engineering 201

Continuous Order Identification of PHWR Models Under Step-back for the Design of Hyper-damped Power Tracking Controller with Enhanced Reactor Safety

This is the author accepted manuscript. The final version is available from Elsevier via the DOI in this record.In this paper, discrete time higher integer order linear transfer function models have been identified first for a 500 MWe Pressurized Heavy Water Reactor (PHWR) which has highly nonlinear dynamical nature. Linear discrete time models of the nonlinear nuclear reactor have been identified around eight different operating points (power reduction or step-back conditions) with least square estimator (LSE) and its four variants. From the synthetic frequency domain data of these identified discrete time models, fractional order (FO) models with sampled continuous order distribution are identified for the nuclear reactor. This enables design of continuous order Proportional-Integral-Derivative (PID) like compensators in the complex w-plane for global power tracking at a wide range of operating conditions. Modeling of the PHWR is attempted with various levels of discrete commensurate-orders and the achievable accuracies are also elucidated along with the hidden issues, regarding modeling and controller design. Credible simulation studies are presented to show the effectiveness of the proposed reactor modeling and power level controller design. The controller pushes the reactor poles in higher Riemann sheets and thus makes the closed loop system hyper-damped which ensures safer reactor operation at varying dc-gain while making the power tracking temporal response slightly sluggish; but ensuring greater safety margin.This work has been supported by Department of Science and Technology (DST), Govt. of India, under the PURSE programme