Integrated motion planning and control under metric interval temporal logic specifications

QC 20191017
This paper proposes an approach that combines motion planning and hybrid feedback control design in order to find and follow trajectories fulfilling a given complex mission involving time constraints. We use Metric Interval Temporal Logic (MITL) as a rich and rigorous formalism to specify such missions. The solution builds on three main steps: (i) using sampling-based motion planning methods and the untimed version of the mission specification in the form of Zone automaton, we find a sequence of waypoints in the workspace; (ii) based on the clock zones from the satisfying run on the Zone automaton, we compute time-stamps at which these waypoints should be reached; and (iii) to control the system to connect two waypoints in the desired time, we design a low-level feedback controller leveraging Time-varying Control Barrier Functions. Illustrative simulation results are included.

Lindemann, LarsKTH,Reglerteknik,Decision and Control Systems(Swepub:kth)u1gj4gpp (författare)
Dimarogonas, Dimos V.KTH,Reglerteknik,Decision and Control Systems(Swepub:kth)u1zrhfkn (författare)
Tumova, JanaKTH,Robotik, perception och lärande, RPL(Swepub:kth)u19qofjk (författare)
KTHRobotik, perception och lärande, RPL (creator_code:org_t)

Ingår i:2019 18th European Control Conference, ECC 2019: Institute of Electrical and Electronics Engineers (IEEE), s. 2042-20499783907144008

Av författaren/redakt...: Barbosa, Fernand ...; Lindemann, Lars; Dimarogonas, Dim ...; Tumova, Jana

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.