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

Zhikun She

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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

Topics: Hybrid Dynamical Systems; Nonlinear Signals and Systems; Real-Time Systems Control

In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, 251-261, 2011 , Noordwijkerhout, Netherlands

Author: Zhikun She

Affiliation: Beihang University, China

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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, SciTePress, 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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - She, Z.
PY - 2011
SP - 251
EP - 261
DO - 10.5220/0003446502510261
PB - SciTePress