996 research outputs found
Supervisory control theory applied to swarm robotics
Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation matches the specification, because the system’s control code is typically generated manually. Also, there is cultural resistance to apply formal methods; they may be perceived as an additional step that does not add value to the final product. To address these problems, we propose supervisory control theory for the domain of swarm robotics. The advantages of supervisory control theory, and its associated tools, are a reduction in the amount of ad hoc development, the automatic generation of control code from modelled specifications, proofs of properties over generated control code, and the reusability of formally designed controllers between different robotic platforms. These advantages are demonstrated in four case studies using the e-puck and Kilobot robot platforms. Experiments with up to 600 physical robots are reported, which show that supervisory control theory can be used to formally develop state-of-the-art solutions to a range of problems in swarm robotics
Anomalous Charge Dynamics in the Superconducting State of Underdoped Cuprates
We present fermi liquid expressions for the low temperature behavior of the
superfluid stiffness, explain why they differ from those suggested recently by
Lee and Wen, and discuss their applicability to data on high-
superconductors. We find that a consistent description requires a strong,
doping dependent anisotropy, which affects states near the zone corners much
more strongly than those near the zone diagonals
OpenSwarm: an event-driven embedded operating system for miniature robots
This paper presents OpenSwarm, a lightweight easy-to-use open-source operating system. To our knowledge, it is the first operating system designed for and deployed on miniature robots. OpenSwarm operates directly on a robot’s microcontroller. It has a memory footprint of 1 kB RAM and 12 kB ROM. OpenSwarm enables a robot to execute multiple processes simultaneously. It provides a hybrid kernel that natively supports preemptive and cooperative scheduling, making it suitable for both computationally intensive and swiftly responsive robotics tasks. OpenSwarm provides hardware abstractions to rapidly develop and test platformindependent code. We show how OpenSwarm can be used to solve a canonical problem in swarm robotics—clustering a collection of dispersed objects. We report experiments, conducted with five e-puck mobile robots, that show that an OpenSwarm implementation performs as good as a hardware-near implementation. The primary goal of OpenSwarm is to make robots with severely constrained hardware more accessible, which may help such systems to be deployed in real-world applications
Supervisory control theory applied to swarm robotics
Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation matches the specification, because the system?s control code is typically generated manually. Also, there is cultural resistance to apply formal methods; they may be perceived as an additional step that does not add value to the final product. To address these problems, we propose supervisory control theory for the domain of swarm robotics. The advantages of supervisory control theory, and its associated tools, are a reduction in the amount of ad hoc development, the automatic generation of control code from modelled specifications, proofs of properties over generated control code, and the reusability of formally designed controllers between different robotic platforms. These advantages are demonstrated in four case studies using the e-puck and Kilobot robot platforms. Experiments with up to 600 physical robots are reported, which show that supervisory control theory can be used to formally develop state-of-the-art solutions to a range of problems in swarm robotics
Domain walls between gauge theories
Noncommutative U(N) gauge theories at different N may be often thought of as
different sectors of a single theory: the U(1) theory possesses a sequence of
vacua labeled by an integer parameter N, and the theory in the vicinity of the
N-th vacuum coincides with the U(N) noncommutative gauge theory. We construct
noncommutative domain walls on fuzzy cylinder, separating vacua with different
gauge theories. These domain walls are solutions of BPS equations in gauge
theory with an extra term stabilizing the radius of the cylinder. We study
properties of the domain walls using adjoint scalar and fundamental fermion
fields as probes. We show that the regions on different sides of the wall are
not disjoint even in the low energy regime -- there are modes penetrating from
one region to the other. We find that the wall supports a chiral fermion zero
mode. Also, we study non-BPS solution representing a wall and an antiwall, and
show that this solution is unstable. We suggest that the domain walls emerge as
solutions of matrix model in large class of pp-wave backgrounds with
inhomogeneous field strength. In the M-theory language, the domain walls have
an interpretation of a stack of branes of fingerstall shape inserted into a
stack of cylindrical branes.Comment: Final version; minor corrections; to appear in Nucl.Phys.
Family Unification with SO(10)
Unification based on the group SO(10)^3 \times S_3 is studied. Each family
has its own SO(10) group, and the S_3 permutes the three families and SO(10)
factors. This is the maximal local symmetry for the known fermions. Family
unification is achieved in the sense that all known fermions are in a single
irreducible multiplet of the symmetry. The symmetry suppresses SUSY flavor
changing effects by making all squarks and sleptons degenerate in the symmetry
limit. Doublet-triplet splitting can arise simply, and non-trivial structure of
the quark and lepton masses emerges from the gauge symmetry, including the
"doubly lopsided" form.Comment: 11 pages, references adde
Relativistic Description of Exclusive Deuteron Breakup Reactions
The exclusive deuteron break-up reaction is analyzed within a covariant
approach based on the Bethe-Salpeter equation with realistic meson-exchange
interaction. Relativistic effects in the cross section, tensor analyzing power
and polarization transfer are investigated in explicit form. Results of
numerical calculations are presented for kinematical conditions in forthcoming
p + D reactions at COSY.Comment: 10 LaTeX pages, 4 eps-figure
On topological properties of vacuum defects in lattice Yang-Mills theories
We study correlations between low-lying modes of the overlap Dirac operator
and vacuum defects, center vortices and three-dimensional volumes, in lattice
SU(2) gluodynamics. The low-lying modes are apparently sensitive to topological
properties of the underlying gluon field configurations while the vacuum
defects are crucial for the confinement. We find distinct positive correlation
in both cases. In case of vortices the correlation is stronger
Form factors of the exotic baryons with isospin I=5/2
The electromagnetic form factors of the exotic baryons are calculated in the
framework of the relativistic quark model at small and intermediate momentum
transfer. The charge radii of the E+++ baryons are determined.Comment: 12pages, 2 figure
Anomaly freedom in Seiberg-Witten noncommutative gauge theories
We show that noncommutative gauge theories with arbitrary compact gauge group
defined by means of the Seiberg-Witten map have the same one-loop anomalies as
their commutative counterparts. This is done in two steps. By explicitly
calculating the \epsilon^{\m_1\m_2\m_3\m_4} part of the renormalized
effective action, we first find the would-be one-loop anomaly of the theory to
all orders in the noncommutativity parameter \theta^{\m\n}. And secondly we
isolate in the would-be anomaly radiative corrections which are not BRS
trivial. This gives as the only true anomaly occurring in the theory the
standard Bardeen anomaly of commutative spacetime, which is set to zero by the
usual anomaly cancellation condition.Comment: LaTeX 2e, no macros, no figures, 32 A4 page
- …