桑卡拉纳拉亚南，斯里拉姆 利用理想不动点自动生成混合系统的不变量。 （英语） Zbl 1360.34082号 2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).MSC公司：34立方厘米 13N10型 34A38型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 构造混合系统的不变量。 （英语） Zbl 1133.68365号 形式方法系统。设计。 32，第1号，25-55（2008）.MSC公司：65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人，《形式方法系统》。设计。32，编号1，25-55（2008；Zbl 1133.68365） 全文： 内政部