Search

Many safety-critical systems, such as autonomous vehicles and service robots, must achieve high-level task specifications with performance guarantees. Much recent progress toward this goal has been made through an automatic controller synthesis from temporal logic specifications. Existing approaches, however, have been limited to relatively short and simple specifications. Furthermore, existing methods either consider some prior discretization of the state space, deal only with a convex fragment of temporal logic, or are not provably complete. We propose a scalable, provably complete algorithm that synthesizes continuous trajectories to satisfy nonconvex temporal logic over reals (RTL) specifications. We separate discrete task planning and continuous motion planning on-the-fly and harness highly efficient Boolean satisfiability and linear programming solvers to find dynamically feasible trajectories that satisfy nonconvex RTL specifications for high-dimensional systems. The proposed design algorithms are proven sound and complete, and simulation results demonstrate our approach's scalability. [ABSTRACT FROM AUTHOR]

This article presents a computational framework to efficiently generate feasible and safe trajectories for multiple autonomous vehicle operations. We formulate the optimal motion planning problem as a continuous-time optimal control problem, and approximate its solutions in a discretized setting using Bernstein polynomials. The latter possess convenient properties that allow to efficiently compute and enforce constraints along the vehicles’ trajectories, such as maximum speed and angular rates, minimum distance between trajectories and between the vehicles and known obstacles, etc. Thus, the proposed method is particularly suitable for generating trajectories in real-time for safe operations in complex environments and multiple vehicle missions. We show, using a rigorous mathematical framework, that the solution to the discretized optimal motion planning problem converges to that of the continuous-time one. The advantages of the proposed method are investigated through numerical examples. [ABSTRACT FROM AUTHOR]

This technical note addresses a tradeoff in the tree based trajectory optimization algorithms for open-loop optimal control problem of rigid body system. In this technical note, linear prediction based uniform state sampling method (LPUSS), which relaxes the tradeoff between solutions' quality and computational efficiency, is proposed on the basis of the local linearity of motion equations. LPUSS has a lower calculation order than randomized kinodynamic planning (RKP) and rapid semi-optimal motion planning (RASMO). In the validation using multi degree-of-freedom (DOF) under actuated manipulator models, the solutions' quality and the computational efficiency of LPUSS were better than those of RKP and RASMO. LPUSS finished the optimization for the 6 DOF model within 40 minutes. This was the world's first success of the optimization of the swing up motion of a 6 DOF under actuated manipulator model. [ABSTRACT FROM PUBLISHER]

An important area of cyber-physical systems research is the development of smart ground transportation systems due to their potentially significant impact on safety, the economy, and the environment. We propose an approach based on model predictive control (MPC) for the development of provably collision free autonomous ground transportation systems, and present an autonomous intersection management framework. The MPC approach enables a vehicle to generate its own motion locally in time based on an optimization framework, incorporating constraints based on the states of other vehicles in the neighborhood, the speed limit of a road, the maximum values of acceleration and deceleration, etc. Safety and liveness of the traffic are however system-wide properties, not merely neighborhood properties, and the challenge is to augment this distributed optimization with coordination rules that guarantee overall system-wide safety as well as liveness of the traffic. We design two vehicle-to-vehicle (V2V) coordination rules, along with a vehicle-to-infrastructure rule, and establish the system-wide safety and liveness of the autonomous traffic based on each vehicle's MPC motion planner, operating in conjunction with an algorithm that orders vehicles according to their runtime properties. We also conduct a comparative simulation study of the throughput performance at an intersection of the above approach against another popular algorithm, the All-Way STOP. [ABSTRACT FROM AUTHOR]