Sufficient Conditions for Robust Probabilistic Reach-Avoid-Stay Specifications using Stochastic Lyapunov-Barrier Functions.
Yiming MengJun LiuPublished in: ACC (2022)
Keyphrases
- sufficient conditions
- asymptotic stability
- exponential stability
- robust stability
- terms of linear matrix inequalities
- lyapunov krasovskii functional
- linear matrix inequality
- delayed neural networks
- delay dependent
- lyapunov function
- equilibrium point
- stability criterion
- linear systems
- fixed point
- efficiently computable
- optimal policy
- hopfield neural network
- linear complementarity problem
- genetic algorithm