HSolver swMATH ID: 7419 Software Authors: Stefan Ratschan; Zhikun She; Tomáš Dzetkulič Description: HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors. It can handle non-linear ordinary differential equations, but is not optimized for simpler continuous dynamics. Homepage: http://hsolver.sourceforge.net/ Related Software: RSOLVER; Benchmarks; HyTech; PHAVer; SpaceEx; Sostools; d/dt; QEPCAD; Uppaal; KeYmaera; Kronos; Breach; Ariadne; PPL; MetiTarski; HySAT; z3; Flow*; S-TaLiRo; HybridSal Cited in: 43 Publications all top 5 Cited by 90 Authors 5 She, Zhikun 4 Ratschan, Stefan 3 Bresolin, Davide 3 Collins, Peter J. 3 Geretti, Luca 3 Villa, Tiziano 3 Xia, Bican 3 Zhan, Naijun 3 Zheng, Zhiming 2 Akbarpour, Behzad 2 Bauer, Kerstin 2 Duggirala, Parasara Sridhar 2 Dzetkulič, Tomáš 2 Fränzle, Martin 2 Frehse, Goran 2 Gentilini, Raffaella 2 Hahn, Ernst Moritz 2 Hermanns, Holger 2 Katoen, Joost-Pieter 2 Nedialkov, Nedialko S. 2 Paulson, Lawrence Charles 2 Ramdani, Nacim 2 Schneider, Klaus 2 Xue, Bai 2 Zhao, Hengjun 1 Basagiannis, Stylianos 1 Benvenuti, Luca 1 Bernardeschi, Cinzia 1 Campagna, Dario 1 Carter, Rebekah 1 Chen, Mingshuai 1 Chen, Taolue 1 Dai, Liyun 1 Damm, Werner 1 Dang, Thao 1 Domenici, Andrea 1 Doyen, Laurent 1 Eggers, Andreas 1 Ferrari, Alberto 1 Fiorini, Paolo 1 Gan, Ting 1 Geuvers, Jan Herman 1 Giantamidis, Georgios 1 Goldsztejn, Alexandre 1 Goyal, Manish 1 Hartmanns, Arnd 1 Hiraishi, Kunihiko 1 Ivančić, Franjo 1 Kavraki, Lydia E. 1 Kobayashi, Koich 1 Koprowski, Adam 1 Kouramas, Kostas 1 Lanotte, Ruggero 1 Li, Haoyang 1 Lin, Wang 1 Liu, Zhiming 1 Man, Ka Lok 1 Mitra, Sayan 1 Muradore, Riccardo 1 Navarro-López, Eva María 1 Pappas, George J. 1 Piazza, Carla 1 Plaku, Erion 1 Platzer, André 1 Podelski, Andreas 1 Prabhakar, Pavithra 1 Quesel, Jan-David 1 Reniers, Michel Adriaan 1 Rooda, Jacobus E. 1 Sankaranarayanan, Sriram 1 Schiffelers, R. R. H. 1 Smaus, Jan-Georg 1 Subramani, Krishnan 1 Synek, Dan 1 Tini, Simone 1 Tsachouridis, Vassilios A. 1 van Beek, D. A. 1 van der Weegen, Eelis 1 Vardi, Moshe Ya’akov 1 Viswanathan, Mahesh 1 Wagner, Silke 1 Wang, Qiuye 1 Wang, Shuling 1 Woodcock, James C. P. 1 Wu, Jinzhao 1 Xiao, Rong 1 Yang, Zhengfeng 1 Zeng, Xia 1 Zhang, Hui 1 Zhang, Lijun all top 5 Cited in 15 Serials 4 Formal Methods in System Design 4 Nonlinear Analysis. Hybrid Systems 2 Automatica 2 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 1 Information Processing Letters 1 Information and Computation 1 Journal of Automated Reasoning 1 Numerical Algorithms 1 International Journal of Robust and Nonlinear Control 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 The Journal of Logic and Algebraic Programming 1 Numerical Algebra, Control and Optimization all top 5 Cited in 11 Fields 32 Computer science (68-XX) 21 Systems theory; control (93-XX) 5 Numerical analysis (65-XX) 5 Operations research, mathematical programming (90-XX) 3 Ordinary differential equations (34-XX) 2 Mathematical logic and foundations (03-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year