Tightened reachability constraints for the verification of linear hybrid systems
type: Item
instance of: scholarly article
title: Tightened reachability constraints for the verification of linear hybrid systems
zbMATH Open document ID: 1163.93006
author: Zhikun She
author: Zhiming Zheng
published in: Nonlinear Analysis. Hybrid Systems
publication date: 2009-06-24T00:00:00Z
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 93B60
zbMATH DE Number: 5569648
zbMATH Keywords: hybrid systems
zbMATH Keywords: safety verification
zbMATH Keywords: reachability constraints
describes a project that uses: HSolver
describes a project that uses: RSOLVER
describes a project that uses: Benchmarks
MaRDI profile type: Publication
full work available at URL: j.nahs.2008.09.013
OpenAlex ID: W2041656005
cites work: Constraints for Continuous Reachability in the Verification of Hybrid Systems
cites work: Hybrid Systems: Computation and Control
cites work: Q4418865
cites work: Q4552457
cites work: Constraint propagation with interval labels
cites work: Applying interval arithmetic to real, integer, and boolean constraints
cites work: Q4413057
cites work: Efficient solving of quantified inequality constraints over the real numbers
cites work: Validated solutions of initial value problems for ordinary differential equations
DOI: 10.1016/J.NAHS.2008.09.013
description: scientific article; zbMATH DE number 5569648