×

dReach

swMATH ID: 20164
Software Authors: S. Kong, S. Gao, W. Chen, E. M. Clarke
Description: dReach:(δ)-reachability analysis for hybrid systems. dReach is a bounded reachability analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first-order formulas over real numbers, which are solved by delta-decision procedures in the SMT solver dReach. In this way, dReach is able to handle a wide range of highly nonlinear hybrid systems. It has scaled well on various realistic models from biomedical and robotics applications.
Homepage: http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_15
Related Software: SpaceEx; Flow*; KeYmaera; HyTech; PHAVer; dReal; S-TaLiRo; KeYmaera X; ModelPlex; Bellerophon; z3; Sostools; MetiTarski; CalCS; StateFlow; HySAT; Haskell; HYST; Breach; C2e2
Referenced in: 22 Publications
all top 5

Referenced by 80 Authors

2 Dreossi, Tommaso
2 Figueiredo, Daniel Ratton
2 Mitsch, Stefan
2 Platzer, André
2 Sogokon, Andrew
1 Abhishek, Aakash
1 Ahrendt, Wolfgang
1 Althoff, Matthias
1 Bak, Stanley
1 Bansal, Somil
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Bogomolov, Sergiy
1 Bohrer, Brandon
1 Chaves, Madalena
1 Chen, Mingshuai
1 Chen, Mo
1 Cimatti, Alessandro
1 Cleaveland, Rance
1 Colombo, Christian
1 Cordwell, Katherine
1 Dai, Liyun
1 Dang, Thao
1 Duracz, Adam
1 Falcone, Yliès
1 Farjudian, Amin
1 Fenton, Flavio H.
1 Francalanza, Adrian
1 Fulton, Nathan
1 Gan, Ting
1 Goncharov, Sergeĭ Savost’yanovich
1 Griggio, Alberto
1 Grosu, Radu
1 Herbert, Sylvia L.
1 Irfan, Ahmed
1 Islam, Md. Ariful
1 Jackson, Paul B.
1 Jeannin, Jean-Baptiste
1 Johnson, Taylor T.
1 Jones, Paul L.
1 Krstić, Srđan
1 Li, Yinan
1 Lin, Wang
1 Liu, Jun
1 Lourenço, João M.
1 Mancini, Toni
1 Mari, Federico
1 Martins, Manuel António
1 Massini, Annalisa
1 Melatti, Igor
1 Moggi, Eugenio
1 Murillo, Kelly Patricia
1 Navarro-López, Eva María
1 Neves, Renato
1 Nickovic, Dejan
1 O’Toole, M. D.
1 Pace, Gordon J.
1 Piazza, Carla
1 Proença, José
1 Rocha, Eugénio Miguel Alexandre
1 Roveri, Marco
1 Rufino, José
1 Sánchez, César
1 Sandler, Andrei
1 Schneider, Gerardo
1 Sebastiani, Roberto
1 Signoles, Julien
1 Smolka, Scott A.
1 Sood, Harry
1 Taha, Walid
1 Tan, Yong Kiam
1 Tomlin, Claire J.
1 Traytel, Dmitry
1 Tronci, Enrico
1 Tveretina, Olga
1 Vashishtha, Mahesh S.
1 Weiss, Alexander
1 Xia, Bican
1 Yang, Zhengfeng
1 Zhan, Naijun

Referencing Publications by Year