loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Author: Zhikun She

Affiliation: Beihang University, China

ISBN: 978-989-8425-74-4

ISSN: 2184-2809

Keyword(s): Robust hybrid systems, Abstraction refinement, Reachability constraints, Termination analysis.

Related Ontology Subjects/Areas/Topics: Hybrid Dynamical Systems ; Informatics in Control, Automation and Robotics ; Nonlinear Signals and Systems ; Real-Time Systems Control ; Signal Processing, Sensors, Systems Modeling and Control

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.231.220.225

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 2: ICINCO, ISBN 978-989-8425-74-4, ISSN 2184-2809, pages 251-261. DOI: 10.5220/0003446502510261

@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 2: ICINCO,},
year={2011},
pages={251-261},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003446502510261},
isbn={978-989-8425-74-4},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: 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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.