Reachability Analysis of Linear Hybrid Systems via Block Decomposition

  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},
  • 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
    1 Citations

    Figures, Tables, and Topics from this paper

    Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
    • PDF


    Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
    • 13
    • PDF
    Reachability Analysis of Hybrid Systems Using Support Functions
    • 142
    • PDF
    Decomposed Reachability Analysis for Nonlinear Systems
    • 43
    • PDF
    Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis
    • 8
    • PDF
    Parallel reachability analysis of hybrid systems in XSpeed
    • 9
    • PDF
    Efficient reachability analysis for linear systems using support functions
    • 92
    • PDF
    Avoiding geometric intersection operations in reachability analysis of hybrid systems
    • 44
    • PDF
    Path-oriented bounded reachability analysis of composed linear hybrid systems
    • L. Bu, X. Li
    • Computer Science
    • International Journal on Software Tools for Technology Transfer
    • 2010
    • 10
    SpaceEx: Scalable Verification of Hybrid Systems
    • 777
    • Highly Influential
    • PDF