@文章{zbMATH06938475，作者={Ratschan，Stefan}，标题={安全和屏障证书的逆向定理}，FJournal={IEEE自动控制事务处理}，日志={IEEE Trans.Autom.Control}，ISSN={0018-9286}，体积={63}，数字={8}，页码={2628--2632}，年份={2018年}，语言={英语}，DOI={10.1109/TAC.2018.2792325}，关键词={93B35,93C10,68Q60}，zbMATH={6938475}，Zbl={1423.93107}}