×

Benchmarks

swMATH ID: 4612
Software Authors: Ratschan, Stefan; She, Zhikun
Description: Safety verification of hybrid systems by constraint propagation based abstraction refinement This paper deals with the problem of safety verification of non-linear hybrid systems. We start from a classical method that uses interval arithmetic to check whether trajectories can move over the boundaries in a rectangular grid. We put this method into an abstraction refinement framework and improve it by developing an additional refinement step that employs constraint propagation to add information to the abstraction without introducing new grid elements. Moreover, the resulting method allows switching conditions, initial states and unsafe states to be described by complex constraints instead of sets that correspond to grid elements. Nevertheless, the method can be easily implemented since it is based on a well-defined set of constraints, on which one can run any constraint propagation based solver. First tests of such an implementation are promising.
Homepage: http://hsolver.sourceforge.net/benchmarks/
Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; Uppaal; d/dt; YALMIP; SpaceEx; KeYmaera; SeDuMi; PPL; PRISM; MetiTarski; Coq; DISCOVERER; Kronos; REDLOG; QSDPNAL
Cited in: 25 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Safety verification of hybrid systems by constraint propagation based abstraction refinement. Zbl 1078.93508
Ratschan, Stefan; She, Zhikun
2005
all top 5

Cited by 59 Authors

5 She, Zhikun
3 Ratschan, Stefan
2 Frehse, Goran
2 Hahn, Ernst Moritz
2 Hermanns, Holger
2 Katoen, Joost-Pieter
2 Lin, Wang
2 Wu, Min
2 Xia, Bican
2 Xue, Bai
2 Yang, Zhengfeng
2 Zhan, Naijun
2 Zheng, Zhiming
1 Akbarpour, Behzad
1 Bernardeschi, Cinzia
1 Carter, Rebekah
1 Chen, Mingshuai
1 Chen, Taolue
1 Dai, Liyun
1 Dang, Thao
1 Domenici, Andrea
1 Doyen, Laurent
1 Dzetkulič, Tomáš
1 Gan, Ting
1 Geuvers, Jan Herman
1 Hartmanns, Arnd
1 Hiraishi, Kunihiko
1 Ivančić, Franjo
1 Kavraki, Lydia E.
1 Kobayashi, Koich
1 Koprowski, Adam
1 Li, Haoyang
1 Liu, Zhiming
1 Man, Ka Lok
1 Navarro-López, Eva María
1 Nedialkov, Nedialko S.
1 Pappas, George J.
1 Paulson, Lawrence Charles
1 Plaku, Erion
1 Platzer, André
1 Podelski, Andreas
1 Ramdani, Nacim
1 Reniers, Michel Adriaan
1 Rooda, Jacobus E.
1 Sankaranarayanan, Sriram
1 Schiffelers, R. R. H.
1 Synek, Dan
1 van Beek, D. A.
1 van der Weegen, Eelis
1 Vardi, Moshe Ya’akov
1 Wagner, Silke
1 Wang, Qiuye
1 Woodcock, James C. P.
1 Wu, Jinzhao
1 Zeng, Xia
1 Zeng, Zhenbing
1 Zhang, Hui
1 Zhang, Lijun
1 Zhao, Hengjun
all top 5

Cited in 11 Serials

3 Formal Methods in System Design
3 Nonlinear Analysis. Hybrid Systems
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
1 Information Processing Letters
1 SIAM Journal on Control and Optimization
1 Theoretical Computer Science
1 Numerical Algorithms
1 European Journal of Control
1 The Journal of Logic and Algebraic Programming
1 Science China. Information Sciences
all top 5

Cited in 6 Fields

17 Computer science (68-XX)
11 Systems theory; control (93-XX)
4 Numerical analysis (65-XX)
3 Operations research, mathematical programming (90-XX)
2 Dynamical systems and ergodic theory (37-XX)
1 Ordinary differential equations (34-XX)

Citations by Year