97 citations · 198 across the 9 of their papers we have counts for
3 papers · 1 filter
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz +1
PDDL+ planning has its semantics rooted in hybrid automata (HA) and recent work has shown that it can be modeled as a network of HAs. Addressing the complexity of nonlinear PDDL+ p…
Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Arup Deka, Ezio Bartocci +3
We propose two parallel state-space exploration algorithms for hybrid systems with the goal of enhancing performance on multi-core shared memory systems. The first is an adaption o…
Invariant Clusters for Hybrid Systems
Hui Kong, Sergiy Bogomolov, Christian Schilling +2
In this paper, we propose an approach to automatically compute invariant clusters for semialgebraic hybrid systems. An invariant cluster for an ordinary differential equation (ODE)…