Bounded linear logic: a modular approach to polynomial-time computability

Relativization is one of the most fundamental concepts in complexity theory, which explains the difficulty of resolving major open problems. In this paper, we propose a weaker notion of relativization called bounded relativization. For a complexity ...

For linear systems with bounded actuators, a continuous family of controllers is designed which avoids control saturation for a given worst case disturbance. The control law acts as a scheduling scheme which, at each time, based on the closed-loop ...

Abstract: The tracking control of linear differential inclusions with stochastic disturbance is considered. The feedback law is constructed by the convex hull Lyapunov function. The design objective is to make the error system uniformly ultimately ...