Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon

详细信息    查看全文

• 关键词：Numerical simulation ; Hybrid automaton ; Sequence transformations
• 刊名：Lecture Notes in Computer Science
• 出版年：2017
• 出版时间：2017
• 年：2017
• 卷：10152
• 期：1
• 页码：52-62
• 丛书名：Numerical Software Verification
• ISBN：978-3-319-54292-8
• 卷排序：10152

文摘

We propose a numerical analysis of sequences of points of interest associated to the dynamics of hybrid systems. These sequences are made of instants of switching mode or instants when a particular quantity vanishes. This analysis allows one to discover instant of accumulation points, a.k.a. Zeno phenomenon. Some examples are given to show the potential of this approach.