## 7.1.1 Problem Formulation

The formulation is designed to allow the tools and concepts learned so far to be applied directly. Let denote the time interval, which may be bounded or unbounded. If is bounded, then , in which 0 is the initial time and is the final time. If is unbounded, then . An initial time other than 0 could alternatively be defined without difficulty, but this will not be done here.

Let the state space be defined as , in which is the usual C-space of the robot, as defined in Chapter 4. A state is represented as , to indicate the configuration and time components of the state vector. The planning will occur directly in , and in many ways it can be treated as any C-space seen to far, but there is one critical difference: Time marches forward. Imagine a path that travels through . If it first reaches a state , and then later some state , some traveling backward through time is required! There is no mathematical problem with allowing such time travel, but it is not realistic for most applications. Therefore, paths in are forced to follow a constraint that they must move forward in time.

Now consider making the following time-varying versions of the items used in Formulation 4.1 for motion planning.

Formulation 7..1 (The Time-Varying Motion Planning Problem)
1. A world in which either or . This is the same as in Formulation 4.1.
2. A time interval that is either bounded to yield for some final time, , or unbounded to yield .
3. A semi-algebraic, time-varying obstacle region for every . It is assumed that the obstacle region is a finite collection of rigid bodies that undergoes continuous, time-dependent rigid-body transformations.
4. The robot (or , , for a linkage) and configuration space definitions are the same as in Formulation 4.1.
5. The state space is the Cartesian product and a state is denoted as to denote the configuration and time components. See Figure 7.1. The obstacle region, , in the state space is defined as (7.1)

and . For a given , slices of and are obtained. These are denoted as and , respectively, in which (assuming is one body) (7.2)

and .

6. A state is designated as the initial state, with the constraint that for some . In other words, at the initial time the robot cannot be in collision.
7. A subset is designated as the goal region. A typical definition is to pick some and let , which means that the goal is stationary for all time.
8. A complete algorithm must compute a continuous, time-monotonic path, , such that and , or correctly report that such a path does not exist. To be time-monotonic implies that for any such that , we have , in which and . Example 7..1 (Piecewise-Linear Obstacle Motion)   Figure 7.1 shows an example of a convex, polygonal robot that translates in . There is a single, convex, polygonal obstacle . The two of these together yield a convex, polygonal C-space obstacle, , which is shown for times , , and . The obstacle moves with a piecewise-linear motion model, which means that transformations applied to are a piecewise-linear function of time. For example, let be a fixed point on the obstacle. To be a linear motion model, this point must transform as for some constants . To be piecewise-linear, it may change to a different linear motion at a finite number of critical times. Between these critical times, the motion must remain linear. There are two critical times in the example. If is polygonal, and a piecewise-linear motion model is used, then is polyhedral, as depicted in Figure 7.1. A stationary goal is also shown, which appears as a line that is parallel to the -axis. In the general formulation, there are no additional constraints on the path, , which means that the robot motion model allows infinite acceleration and unbounded speed. The robot velocity may change instantaneously, but the path through must always be continuous. These issues did not arise in Chapter 4 because there was no need to mention time. Now it becomes necessary.7.1

Steven M LaValle 2012-04-20
{"ft_lang_label":"__label__en","ft_lang_prob":0.91065276,"math_prob":0.97910583,"size":4066,"snap":"2019-13-2019-22","text_gpt3_token_len":1007,"char_repetition_ratio":0.10905958,"word_repetition_ratio":0.011299435,"special_character_ratio":0.22479095,"punctuation_ratio":0.14476885,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9925147,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162],"im_url_duplicate_count":[null,4,null,null,null,4,null,2,null,null,null,null,null,null,null,4,null,null,null,null,null,4,null,null,null,null,null,null,null,null,null,2,null,2,null,null,null,null,null,null,null,null,null,4,null,4,null,2,null,null,null,2,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,4,null,null,null,4,null,null,null,null,null,null,null,2,null,6,null,null,null,null,null,null,null,6,null,2,null,null,null,2,null,2,null,6,null,2,null,2,null,4,null,2,null,2,null,2,null,6,null,2,null,4,null,4,null,2,null,2,null,2,null,2,null,null,null,null,null,null,null,6,null,8,null,8,null,2,null,null,null,10,null,2,null,2,null,6,null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-03-21T14:41:52Z\",\"WARC-Record-ID\":\"<urn:uuid:6138746c-a7d0-45b4-b159-7355ae456f59>\",\"Content-Length\":\"21691\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8c641f7e-1989-4667-8293-76d7fbd54ceb>\",\"WARC-Concurrent-To\":\"<urn:uuid:4a620ea0-f07e-4b9a-9a7e-a997007bdfce>\",\"WARC-IP-Address\":\"192.17.58.220\",\"WARC-Target-URI\":\"http://planning.cs.uiuc.edu/node312.html\",\"WARC-Payload-Digest\":\"sha1:XVXPNPQ7DS4PPXZJ3MHSAQL6P64OU47I\",\"WARC-Block-Digest\":\"sha1:7U63D7VXV3U22RHOFHEGCBSJYMC3PWFB\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-13/CC-MAIN-2019-13_segments_1552912202525.25_warc_CC-MAIN-20190321132523-20190321154523-00078.warc.gz\"}"}