---
res:
  bibo_abstract:
  - Despite researchers’ efforts in the last couple of decades, reachability analysis
    is still a challenging problem even for linear hybrid systems. Among the existing
    approaches, the most practical ones are mainly based on bounded-time reachable
    set over-approximations. For the purpose of unbounded-time analysis, one important
    strategy is to abstract the original system and find an invariant for the abstraction.
    In this paper, we propose an approach to constructing a new kind of abstraction
    called conic abstraction for affine hybrid systems, and to computing reachable
    sets based on this abstraction. The essential feature of a conic abstraction is
    that it partitions the state space of a system into a set of convex polyhedral
    cones which is derived from a uniform conic partition of the derivative space.
    Such a set of polyhedral cones is able to cut all trajectories of the system into
    almost straight segments so that every segment of a reach pipe in a polyhedral
    cone tends to be straight as well, and hence can be over-approximated tightly
    by polyhedra using similar techniques as HyTech or PHAVer. In particular, for
    diagonalizable affine systems, our approach can guarantee to find an invariant
    for unbounded reachable sets, which is beyond the capability of bounded-time reachability
    analysis tools. We implemented the approach in a tool and experiments on benchmarks
    show that our approach is more powerful than SpaceEx and PHAVer in dealing with
    diagonalizable systems.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Sergiy
      foaf_name: Bogomolov, Sergiy
      foaf_surname: Bogomolov
      foaf_workInfoHomepage: http://www.librecat.org/personId=369D9A44-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-0686-0365
  - foaf_Person:
      foaf_givenName: Mirco
      foaf_name: Giacobbe, Mirco
      foaf_surname: Giacobbe
      foaf_workInfoHomepage: http://www.librecat.org/personId=3444EA5E-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-8180-0904
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Hui
      foaf_name: Kong, Hui
      foaf_surname: Kong
      foaf_workInfoHomepage: http://www.librecat.org/personId=3BDE25AA-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-3066-6941
  bibo_doi: 10.1007/978-3-319-65765-3_7
  bibo_volume: '10419 '
  dct_date: 2017^xs_gYear
  dct_identifier:
  - UT:000611678300007
  dct_isPartOf:
  - http://id.crossref.org/issn/978-331965764-6
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Conic abstractions for hybrid systems@
...