SwePub - sökning: onr:"swepub:oai:DiVA.org:kth-2...

Numrering	Referens	Omslagsbild	Hitta
1.	Barbosa, Fernando S., et al. (författare) Integrated motion planning and control under metric interval temporal logic specifications 2019 Ingår i: 2019 18th European Control Conference, ECC 2019. - : Institute of Electrical and Electronics Engineers (IEEE). - 9783907144008 ; , s. 2042-2049 Konferensbidrag (refereegranskat)abstract 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.

Barbosa, Fernando S., et al. (författare)
Integrated motion planning and control under metric interval temporal logic specifications
2019
Ingår i: 2019 18th European Control Conference, ECC 2019. - : Institute of Electrical and Electronics Engineers (IEEE). - 9783907144008 ; , s. 2042-2049
Konferensbidrag (refereegranskat)abstract
- 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.

Träfflista för sökning "onr:"swepub:oai:DiVA.org:kth-262641" "