Aravind Acharya

Learn More
Affine transformations have proven to be powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multidimensional affine function can represent a long and complex sequence of simpler transformations. Existing affine transformation frameworks such as the Pluto algorithm, which include a cost function for(More)
Affine transformations have proven to be very powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multi-dimensional affine function can represent a long and complex sequence of simpler transformations. Existing affine transformation frameworks like the Pluto algorithm, that include a cost function for(More)
The self-tuning regulators form an important sub-class of adaptive controllers. This paper introduces a novel scheme for designing a fractional order self-tuning regulator. Original designs for all the sub-modules of the self-tuning regulator are proposed. The particle swarm optimization algorithm is utilized for online identification of the parameters of(More)
The Lattice-Boltzmann method (LBM), a promising new particle-based simulation technique for complex and multiscale fluid flows, has seen tremendous adoption in recent years in computational fluid dynamics. Even with a state-of-the-art LBM solver such as Palabos, a user has to still manually write the program using library-supplied primitives. We propose an(More)
The paper presents a novel and efficient method of regular geometric shape detection from gray scale images. Artificial ant based methods have not been used much in the field of image processing. This paper demonstrates how artificial ants can be used effectively to extract regular geometric shapes from images. We propose here ant regeneration and(More)
Particle swarm optimization (PSO) is extensively used for real parameter optimization in diverse fields of study. This paper describes an application of PSO to the problem of designing a fractional-order proportional-integral-derivative (PI<sup>lambda</sup>D<sup>delta</sup>) controller whose parameters comprise proportionality constant, integral constant,(More)
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two semi decision techniques towards this, both of which return a formula that encodes the set of reachable states of the system that satisfy a given(More)
We present an efficient parallel implementation of the Spacetime Discontinuous Galerkin method for hyperbolic problems. In particular, we are interested in parallel implementations of direct element-by-element or patch-by-patch solution techniques that are possible on spacetime meshes that conform to an appropriate causality cone constraint [1]. We consider(More)
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counter systems. We first focus on checking liveness properties only, and propose two semi decision techniques for these properties. Both these techniques return a formula that encodes(More)
The paper presents a novel concept of improving the convergence speed and solution quality of particle swarm optimization algorithm by Lyapunov modeling of fitness function. Most of the fitness functions that appear in practice can be transformed into positive definite function by using some minor transformations and shifting the coordinates system in the(More)
  • 1