Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control 2013
DOI: 10.1145/2461328.2461380
| View full text |Cite
|
Sign up to set email alerts
|

Abstract: This paper considers the problem of motion planning for a hybrid robotic system with complex and nonlinear dynamics in a partially unknown environment given a temporal logic specification. We employ a multi-layered synergistic framework that can deal with general robot dynamics and combine it with an iterative planning strategy. Our work allows us to deal with the unknown environmental restrictions only when they are discovered and without the need to repeat the computation that is related to the temporal logi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
64
0

Year Published

2014
2014
2022
2022

Publication Types

Select...
5
2
1

Relationship

3
5

Authors

Journals

citations
Cited by 62 publications
(64 citation statements)
references
References 39 publications
0
64
0
Order By: Relevance
“…This abstraction is composed with a specification of a multi-agent task to synthesize a strategy automaton encoding the mission plan. In contrast to approaches that would require on-the-fly re-planning upon encountering a physical deadlock (Bhatia et al 2010;Maly et al 2013;Karaman and Frazzoli 2009), the approach we propose automatically generates alternative plans within the synthesized automaton. As with any reactive task, there may exist no mission plan that guarantees the task, due to the conservative requirement that a mission plan must execute under all possible environment behaviors.…”
Section: Approachmentioning
confidence: 99%
“…This abstraction is composed with a specification of a multi-agent task to synthesize a strategy automaton encoding the mission plan. In contrast to approaches that would require on-the-fly re-planning upon encountering a physical deadlock (Bhatia et al 2010;Maly et al 2013;Karaman and Frazzoli 2009), the approach we propose automatically generates alternative plans within the synthesized automaton. As with any reactive task, there may exist no mission plan that guarantees the task, due to the conservative requirement that a mission plan must execute under all possible environment behaviors.…”
Section: Approachmentioning
confidence: 99%
“…Some examples include (Cimatti et al 2015;Cavada et al 2014;Tabuada et al 2002;Maly et al 2013;Bae et al 2016;Liu and Ozay 2014;Henzinger and Otop 2014), sampling-based planners (Karaman et al 2011;Lahijanian et al 2014). Similarly, falsification of hybrid systems tries to guide the search towards the error states, that can be easily cast as a planning problem, (Plaku et al 2013;Cimatti et al 1997).…”
Section: Related Workmentioning
confidence: 99%
“…Sampling-based motion planners have been augmented to satisfy a task specification given in ltl [7,8,10,18,19]. These works are able to quickly emit a satisfying trajectory for systems with hybrid and/or complex dynamics.…”
Section: Related Workmentioning
confidence: 99%