An official website of the United States government
Symbolic planning techniques rely on abstract information about a continuous system to design a discrete planner to satisfy desired high‐level objectives. However, applying the generated discrete commands of the discrete planner to the original system may face several challenges, including real‐time implementation, preserving the properties of high‐level objectives in the continuous domain, and issues such as discontinuity in control signals that may physically harm the system. To address these issues and challenges, the authors proposed a novel hybrid control structure for systems with non‐linear multi‐affine dynamics over rectangular partitions. In the proposed framework, a discrete planner can be separately designed to achieve high‐level specifications. Then, the proposed hybrid controller generates jumpless continuous control signals to drive the system over the partitioned space executing the discrete commands of the planner. The hybrid controller generates continuous signals in real‐time while respecting the dynamics of the system and preserving the desired objectives of the high‐level plan. The design process is described in detail and the existence and uniqueness of the proposed solution are investigated. Finally, several case studies are provided to verify the effectiveness of the developed technique.
more »
« less
Task and Motion Planning
Task and motion planning operates in a combined discrete and continuous space to find a sequence of high-level, discrete actions and corresponding low-level, continuous paths to go from an initial state to a goal state.
more »
« less
- Award ID(s):
- 1849348
- PAR ID:
- 10208412
- Editor(s):
- Ang, Marcelo H.; Khatib, Oussama; Siciliano, Bruno; Kavraki, Lydia E
- Date Published:
- Journal Name:
- Springer Encyclopedia of Robotics
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
As communication technologies develop, an au- tonomous vehicle will receive information not only from its own sensing system but also from infrastructures and other vehicles through communication. This paper discusses how to exploit a sequence of future information that is shared among autonomous vehicles, including the planned positions, the velocities and the lane numbers. A hybrid system model is constructed, and a control policy is designed to utilize shared sequence information for making navigation decisions. For the high-level discrete state transitions, the shared information is used to determine when to change lane, if lane changing will bring reward for the autonomous vehicle and there exists a feasible continuous state controller. For the low-level continuous state space controller generation, the shared information can relax the safety interval constraints in the existing model predictive control method. In the system level, the information sharing can increase the traffic flow and improve driving comfort. We demonstrate the advantages of information sharing in control and navigation in simulation.more » « less
-
The problem of planning for a robot that operates in environments containing a large number of objects, taking actions to move itself through the world as well as to change the state of the objects, is known as task and motion planning (TAMP). TAMP problems contain elements of discrete task planning, discrete–continuous mathematical programming, and continuous motion planning and thus cannot be effectively addressed by any of these fields directly. In this article, we define a class of TAMP problems and survey algorithms for solving them, characterizing the solution methods in terms of their strategies for solving the continuous-space subproblems and their techniques for integrating the discrete and continuous components of the search.more » « less
-
Abstract We propose an architecture of quantum-error-correction-based quantum repeaters that combines techniques used in discrete- and continuous-variable quantum information. Specifically, we propose to encode the transmitted qubits in a concatenated code consisting of two levels. On the first level we use a continuous-variable GKP code encoding the qubit in a single bosonic mode. On the second level we use a small discrete-variable code. Such an architecture has two important features. Firstly, errors on each of the two levels are corrected in repeaters of two different types. This enables for achieving performance needed in practical scenarios with a reduced cost with respect to an architecture for which all repeaters are the same. Secondly, the use of continuous-variable GKP code on the lower level generates additional analog information which enhances the error-correcting capabilities of the second-level code such that long-distance communication becomes possible with encodings consisting of only four or seven optical modes.more » « less
-
Abstract The goal of the paper is to introduce a new set of tools for the study of discrete and continuous$$\beta $$ -corners processes. In the continuous setting, our work provides a multi-level extension of the loop equations (also called Schwinger–Dyson equations) for$$\beta $$ -log gases obtained by Borot and Guionnet in (Commun. Math. Phys. 317, 447–483, 2013). In the discrete setting, our work provides a multi-level extension of the loop equations (also called Nekrasov equations) for discrete$$\beta $$ -ensembles obtained by Borodin, Gorin and Guionnet in (Publications mathématiques de l’IHÉS 125, 1–78, 2017).more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1007/978-3-642-41610-1_176-1
