Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Correct-by-Construction Approach for Self-Evolvable Robots   The paper presents a new formal way of modeling and designing reconfigurable
robots, in which case the robots are allowed to reconfigure not only
structurally but also functionally. We call such kind of robots
"self-evolvable", which have the potential to be more flexible to be used in a
wider range of tasks, in a wider range of environments, and with a wider range
of users. To accommodate such a concept, i.e., allowing a self-evovable robot
to be configured and reconfigured, we present a series of formal constructs,
e.g., structural reconfigurable grammar and functional reconfigurable grammar.
Furthermore, we present a correct-by-construction strategy, which, given the
description of a workspace, the formula specifying a task, and a set of
available modules, is capable of constructing during the design phase a robot
that is guaranteed to perform the task satisfactorily. We use a planar
multi-link manipulator as an example throughout the paper to demonstrate the
proposed modeling and designing procedures.

24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
37
The categories of this paper are: supr-con
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex