Output details
11 - Computer Science and Informatics
Aston University
Output title
Enclosing the behavior of a hybrid system up to and beyond a Zeno point
Type
E - Conference contribution
Name of conference/published proceedings
2013 IEEE 1st international conference on cyber-physical systems, networks, and applications (CPSNA)
Volume number
-
Issue number
-
First page of article
120
ISSN of proceedings
-
Year of publication
2013
Number of additional authors
4
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Computer Science Research Group
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
