113 citations · 317 across the 70 of their papers we have counts for
4 papers · 1 filter
On Recurrent Reachability for Continuous Linear Dynamical Systems
Ventsislav Chonev, Joel Ouaknine, James Worrell
The continuous evolution of a wide variety of systems, including continuous-time Markov chains and linear hybrid automata, can be described in terms of linear differential equation…
On the Polytope Escape Problem for Continuous Linear Dynamical Systems
Joël Ouaknine, João Sousa-Pinto, James Worrell
The Polyhedral Escape Problem for continuous linear dynamical systems consists of deciding, given an affine function and a convex pol…
On the Skolem Problem for Continuous Linear Dynamical Systems
Ventsislav Chonev, Joel Ouaknine, James Worrell
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental re…
Proving the Herman-Protocol Conjecture
Maria Bruna, Radu Grigore, Stefan Kiefer +2
Herman's self-stabilisation algorithm, introduced 25 years ago, is a well-studied synchronous randomised protocol for enabling a ring of processes collectively holding any odd…