利用障碍函数给出混杂包含系统前向不变性与收缩性的充分条件
最优化与控制
2022-02-24 v4
摘要
本文研究由混杂包含建模的混杂系统的集合不变性与收缩性，使用障碍函数进行分析。在引入多重障碍函数概念后，我们考察了在保证具有解非唯一且解提前终止的混杂系统之闭集的不同前向不变性与收缩性概念时，最紧的可能充分条件。更确切地说，我们考虑集合的前向（预）不变性（保证解停留在集合中）以及（预）收缩性（进一步要求到达集合边界的解（连续或离散地）向其内部演化）。我们的前向不变性与收缩性条件涉及基于多重障碍函数的无穷小条件。算例说明了所得结果。关键词：前向不变性，收缩性，障碍函数，混杂动力系统。
引用
@article{arxiv.1908.03980,
title = {Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions},
author = {Mohamed Maghenem and Ricardo G. Sanfelice},
journal= {arXiv preprint arXiv:1908.03980},
year = {2022}
}
备注
Technical report accompanying the paper entitled: Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions, submitted to Automatica, 2019