Computing invariants of hybrid system using quantifier elimination

@article{Wang2010ComputingIO,
  title={Computing invariants of hybrid system using quantifier elimination},
  author={Yongquan Wang and Zhiqing Shao and Zhongqin Bi},
  journal={The 3rd International Conference on Information Sciences and Interaction Sciences},
  year={2010},
  pages={407-410}
}
This paper presents a new approach to generate inequalities invariants of hybrid system based on template and quantifier elimination. The main idea is to introduce a candidate parametric invariant as template and then reduce the verification condition into a quantifier elimination problem. The challenge is to deal with the continuous consecution condition… CONTINUE READING