Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic

In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications. We use metric interval temporal logic (MITL), a member of the temporal logic family, to represent the task specification and then we provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find a feasible motion (or path) sequence for the robot to complete the task.Comment: Full Version for ECC 201

Linear Quadratic Games with Costly Measurements

In this work we consider a stochastic linear quadratic two-player game. The state measurements are observed through a switched noiseless communication link. Each player incurs a finite cost every time the link is established to get measurements. Along with the usual control action, each player is equipped with a switching action to control the communication link. The measurements help to improve the estimate and hence reduce the quadratic cost but at the same time the cost is increased due to switching. We study the subgame perfect equilibrium control and switching strategies for the players. We show that the problem can be solved in a two-step process by solving two dynamic programming problems. The first step corresponds to solving a dynamic programming for the control strategy and the second step solves another dynamic programming for the switching strategyComment: Accepted to IEEE Conference on Decision and Control (CDC) 201

Importance of Municipal Solid Waste Management

Solid waste management is one among the fundamental and essential services provided by municipal authorities in the developed as well as developing countries to keep urban areas clean. In certain regions of our country, the free disposal facilities have reached their own capacity and even local governments are confronted with difficult decisions. Solid waste management is an integral element of modern society. There are many ways in which solid waste can be treated, and thanks to modernized practices and technological advancement, these methods are very safe and practical

Spinning Test Particle in Kalb-Ramond background

In this work we explore the geodesic deviations of spinning test particles in a string inspired Einstein-Kalb Ramond background. Such a background is known to be equivalent to a spacetime geometry with torsion. We have shown here that the antisymmetric Kalb-Ramond field has significant effect on the geodesic deviation of a spinning test particle. A search for an observational evidence of such an effect in astrophysical experiments may lead to a better undestanding of the geometry of the background spacetime.Comment: 14 pages, Latex, 5 figure

Detecting non-Markovianity via uncertainty relations

We present a formalism for detection of non-Markovianity through uncertainty relations. We show that when there is an information back-flow to the system from its environment through CP-divisibility breaking, the Choi-states corresponding to the reduced system evolution contain at least one negative eigenvalue. The consequent break down of uncertainty relations for such states can be used to witness non-Markovian dynamics. We present some relevant examples of the phenomenon for qubit channels. We further prove that square of the variance of a suitable hermitian operator can act as a non-linear witness of non-Markovianity. We finally show that non-Markovianity is necessary in order to decrease the uncertainty of the states undergoing unital dynamics for qubits. This provides another method of certifying non-Markovianity.Comment: 8 pages, 3 figure