5 citations · 9 across the 4 of their papers we have counts for
4 papers
Computer-Assisted Verification of Four Interval Arithmetic Operators
Daisuke Ishii, Tomohito Yabu
Interval arithmetic libraries provide the four elementary arithmetic operators for operand intervals bounded by floating-point numbers. Actual implementations need to make a large…
Declarative Semantics of the Hybrid Constraint Language HydLa
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation o…
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
Daisuke Ishii, Alexandre Goldsztejn
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis t…
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura
We present a scalable parallel solver for numerical constraint satisfaction problems (NCSPs). Our parallelization scheme consists of homogeneous worker solvers, each of which runs…