Bertrand et al. introduced a model of parameterised systems, where each agent is represented by finite state system, and studied the following control problem: for any number agents, does there exist controller able to bring all agents target state? They showed that problem decidable EXPTIME-complete in adversarial setting, posed as an open stochastic Markov decision process. In this paper, we ...

Abstract A swimmer embedded on an inertialess fluid must perform a non-reciprocal motion to swim forward. The archetypal demonstration of this unique motion-constraint was introduced by Purcell with the so-called “scallop theorem”. Scallop here is minimal mathematical model composed two arms connected via hinge whose periodic (of opening and closing its arms) not sufficient achieve net displace...

Large uniaxial strain drives a sequence of topological phase transitions in the quasi-one-dimensional superconductor TaSe3, paving way for reversible control surface spin currents.