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; KeYmaera; Sostools; d/dt; QEPCAD; Uppaal; PPL; MetiTarski; Kronos; Flow*; Breach; Ariadne; HySAT; PENLAB; TRICE; PENBMI Cited in: 46 Documents all top 5 Cited by 97 Authors 5 She, Zhikun 4 Ratschan, Stefan 4 Zhan, Naijun 3 Bresolin, Davide 3 Collins, Peter J. 3 Geretti, Luca 3 Katoen, Joost-Pieter 3 Villa, Tiziano 3 Xia, Bican 3 Xue, Bai 3 Zheng, Zhiming 2 Akbarpour, Behzad 2 Bauer, Kerstin 2 Chen, Mingshuai 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 Nedialkov, Nedialko S. 2 Paulson, Lawrence Charles 2 Platzer, André 2 Ramdani, Nacim 2 Schneider, Klaus 2 Wang, Qiuye 2 Zhao, Hengjun 1 Ábrahám, Erika 1 Basagiannis, Stylianos 1 Benvenuti, Luca 1 Bernardeschi, Cinzia 1 Campagna, Dario 1 Carter, Rebekah 1 Chen, Taolue 1 Dai, Liyun 1 Damm, Werner 1 Dang, Thao 1 Domenici, Andrea 1 Doyen, Laurent 1 Ebert, Tristan 1 Eggers, Andreas 1 Ferrari, Alberto 1 Fiorini, Paolo 1 Gallicchio, James 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 Mitsch, Stefan 1 Muradore, Riccardo 1 Navarro-López, Eva María 1 Pappas, George J. 1 Piazza, Carla 1 Plaku, Erion 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 Schupp, Stefan 1 Smaus, Jan-Georg 1 Subramani, Krishnan 1 Synek, Dan 1 Tan, Yong Kiam 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, Shuling 1 Woodcock, James C. P. 1 Wu, Jinzhao 1 Wu, Min 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 3 Information and Computation 2 Automatica 2 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Formal Aspects of Computing 1 Information Processing Letters 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 35 Computer science (68-XX) 22 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