TERMINATION ANALYSIS OF SAFETY VERIFICATION FOR NON-LINEAR ROBUST HYBRID SYSTEMS

Zhikun She

2011

Abstract

Safety verification of hybrid systems is in general undecidable. Due to practical applications, it is sufficient to only consider robustly safe hybrid systems in which a slight perturbation is guaranteed to result in the same desired safety property. In this paper, we provide a constraint based abstraction refinement for safety verification of nonlinear hybrid systems and prove that this refinement procedure will terminate for robustly safe nonlinear hybrid systems.

Paper Citation

in Harvard Style

She Z. (2011). TERMINATION ANALYSIS OF SAFETY VERIFICATION FOR NON-LINEAR ROBUST HYBRID SYSTEMS . In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8425-74-4, pages 251-261. DOI: 10.5220/0003446502510261

in Bibtex Style

@conference{icinco11,
author={Zhikun She},
title={TERMINATION ANALYSIS OF SAFETY VERIFICATION FOR NON-LINEAR ROBUST HYBRID SYSTEMS},
booktitle={Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2011},
pages={251-261},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003446502510261},
isbn={978-989-8425-74-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - TERMINATION ANALYSIS OF SAFETY VERIFICATION FOR NON-LINEAR ROBUST HYBRID SYSTEMS
SN - 978-989-8425-74-4
AU - She Z.
PY - 2011
SP - 251
EP - 261
DO - 10.5220/0003446502510261