Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection

Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 17-30, Springer, 2016. [doi]

Abstract

Abstract is missing.