• DOI:10.1109/TCAD.2020.3012859
Corpus ID: 146808568

Reachability Analysis of Linear Hybrid Systems via Block Decomposition

@article{Bogomolov2020ReachabilityAO,
  title={Reachability Analysis of Linear Hybrid Systems via Block Decomposition},
  author={Sergiy Bogomolov and Marcelo Forets and Goran Frehse and Kostiantyn Potomkin and C. Schilling},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year={2020},
  volume={39},
  pages={4018-4029}
}

Sergiy Bogomolov, Marcelo Forets, +2 authors C. Schilling

Published 2020

Computer Science, Mathematics

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Reachability analysis works by iteratively applying continuous and discrete post operators to compute states reachable according to continuous and discrete dynamics, respectively. In this article, we enhance both of these operators and make sure that most of the involved computations are performed in low-dimensional… CONTINUE READING

View on IEEE

arxiv.org

Save to Library

Create Alert

Cite

Launch Research Feed