Output details
11 - Computer Science and Informatics
Aston University
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
<10> Best paper at CPSNA 2013. Zeno behaviour frequently arises in modelling and simulation of mechanical systems in industry. Zeno behaviour cannot generally be detected reliably and is difficult to avoid. Existing simulation tools break down in its presence. This is the first paper showing how to compute tight rigorous enclosures on the evolution of some mechanical hybrid systems past their first Zeno point. When implemented in mainstream tools, our method may lead to significant savings in manufacturing industry. The work is partially sponsored by NG-Test FFI Vinnova project (£2M) which has significant involvement of major Swedish car manufacturers.