@收款{zbMATH07120163，作者={Berger，Guillaume O.和Jungers，Rapha，标题={海报摘要：计算非线性系统双曲不变集的{形式}方法。}，BookTitle={第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克省，加拿大，2019年4月16日至18日}，国际标准图书编号={978-1-4503-6282-5}，页码={260--261}，年份={2019}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3302504.3313350}，关键词={68Q45,68Q60,93C30}，zbMATH={7120163}}