Debasish Chatterjee

Learn More
In this paper we prove that a switched nonlinear system has several useful input-to-state stable (ISS)-type properties under average dwell-time switching signals if each constituent dynamical system is ISS. This extends available results for switched linear systems. We apply our result to stabilization of uncertain nonlinear systems via switching(More)
Stochastic receding horizon control with output feedback and bounded controls. HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.(More)
Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking. In this paper, we consider PCTL for noncountable-space Markov chains, and we show that there is a substantial affinity between certain of its(More)
This paper presents a general framework for analyzing stability of nonlinear switched systems, by combining the method of multiple Lyapunov functions with a suitably adapted comparison principle in the context of stability in terms of two measures. For deterministic switched systems, this leads to a unification of representative existing results and an(More)
We investigate constrained optimal control problems for linear stochastic dynamical systems evolving in discrete time. We consider minimization of an expected value cost subject to probabilistic constraints. We study the convexity of a finite-horizon optimization problem in the case where the control policies are affine functions of the disturbance input.(More)
This paper describes the swing-up and stabilization of a cart–pendulum system with a restricted cart track length and restricted control force using generalized energy control methods. Starting from a pendant position, the pendulum is swung up to the upright unstable equilibrium conÿguration using energy control principles. An " energy well " is built(More)