108 citations · 1.6k across the 73 of their papers we have counts for
4 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…
Pinning of fermionic occupation numbers: Higher spatial dimensions and spin
Felix Tennie, Vlatko Vedral, Christian Schilling
The role of the generalized Pauli constraints (GPCs) in higher spatial dimensions and by incorporating spin degrees of freedom is systematically explored for a system of interactin…
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)…
Pinning of Fermionic Occupation Numbers: General Concepts and One Dimension
Felix Tennie, Daniel Ebler, Vlatko Vedral +1
Analytical evidence for the physical relevance of generalized Pauli constraints (GPCs) has recently been provided in [PRL 110, 040404]: Natural occupation numbers $\vecλ\equiv (λ_i…