Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

The theory of timed automata

R. Alur and D. L. Dill · 1991

Earlier work this paper cites.

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho · 1992

Earlier work this paper cites.

The theory of hybrid automata

T. A. Henzinger · 1996

Earlier work this paper cites.

Analysis of hybrid systems: An ounce of realism can save an infinity of states

M. Fränzle · 1999

Earlier work this paper cites.

Robust undecidability of timed and hybrid systems

T. A. Henzinger and J.-F. Raskin · 2000

Earlier work this paper cites.

Computable Analysis: An Introduction

K. Weihrauch · 2000

Earlier work this paper cites.

Verifying industrial hybrid systems with mathsat

G. Audemard, M. Bozzano, A. Cimatti, and R. Sebastiani · 2005

Earlier work this paper cites.

Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques

L. Granvilliers and F. Benhamou · 2006

Earlier work this paper cites.

Constraint-based approach for analysis of hybrid systems

S. Gulwani and A. Tiwari · 2008

Earlier work this paper cites.

Analysis of hybrid systems using hysat

C. Herde, A. Eggers, M. Fränzle, and T. Teige · 2008

Cited alongside, same era.

Epsilon-tubes and generalized skorokhod metrics for hybrid paths spaces

J. M. Davoren · 2009

Cited alongside, same era.

Verifying tolerant systems using polynomial approximations

P. Prabhakar, V. Vladimerou, M. Viswanathan, and G. E. Dullerud · 2009

Cited alongside, same era.

The opensmt solver

R. Bruttomesso, E. Pek, N. Sharygina, and A. Tsitovich · 2010

Cited alongside, same era.

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

M. Fränzle, T. Teige, and A. Eggers · 2010

Cited alongside, same era.

Safety verification of non-linear hybrid systems is quasi-semidecidable

S. Ratschan · 2010

Cited alongside, same era.

Taylor model flowpipe construction for non-linear hybrid systems

X. Chen, E. Ábrahám, and S. Sankaranarayanan · 2012

Later among the works it cites.

A quantifier-free SMT encoding of non-linear hybrid automata

A. Cimatti, S. Mover, and S. Tonetta · 2012

Later among the works it cites.

Delta-complete decision procedures for satisfiability over the reals

S. Gao, J. Avigad, and E. M. Clarke · 2012

Later among the works it cites.

Delta-decidability over the reals

S. Gao, J. Avigad, and E. M. Clarke · 2012

Later among the works it cites.

Computing bounded reach sets from sampled simulation traces

Z. Huang and S. Mitra · 2012

Later among the works it cites.

dreal: An smt solver for nonlinear theories over the reals

S. Gao, S. Kong, and E. M. Clarke · 2013

Later among the works it cites.