Input-output-to-state stability for discrete-time systems
Automatica (Journal of IFAC)
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
On decentralized stabilization of discrete-time nonlinear systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
On integration of event-based estimation and robust MPC in a feedback loop
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Brief paper: Set-valued Lyapunov functions for difference inclusions
Automatica (Journal of IFAC)
Stabilization of polytopic delay difference inclusions via the Razumikhin approach
Automatica (Journal of IFAC)
Lyapunov Methods for Time-Invariant Delay Difference Inclusions
SIAM Journal on Control and Optimization
Hybrid control lyapunov functions for the stabilization of hybridsystems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Automatica (Journal of IFAC)
| Hi-index | 0.02 |
We consider stability with respect to two measures of a difference inclusion, i.e., of a discrete-time dynamical system with the push-forward map being set-valued. We demonstrate that robust stability is equivalent to the existence of a smooth Lyapunov function and that, in fact, a continuous Lyapunov function implies robust stability. We also present a sufficient condition for robust stability that is independent of a Lyapunov function. Toward this end, we develop several new results on the behavior of solutions of difference inclusions. In addition, we provide a novel result for generating a smooth function from one that is merely upper semicontinuous.