Maly, Matthew R.Lahijanian, MortezaKavraki, Lydia E.Kress-Gazit, HadasVardi, Moshe Y.2013-04-172014-04-182013Maly, Matthew R., Lahijanian, Morteza, Kavraki, Lydia E., et al.. "Iterative Temporal Motion Planning for Hybrid Systems in Partially Unknown Environments." <i>ACM International Conference on Hybrid Systems: Computation and Control,</i> (2013) ACM: http://dx.doi.org/10.1145/2461328.2461380.https://hdl.handle.net/1911/70941This 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 logic specification. In addition, we define a metric for satisfaction of a specification. We use this metric to plan a trajectory that satisfies the specification as closely as possible in cases in which the discovered constraint in the environment renders the specification unsatisfiable. We demonstrate the efficacy of our framework on a simulation of a hybrid second-order car-like robot moving in an office environment with unknown obstacles. The results show that our framework is successful in generating a trajectory whose satisfaction measure of the specification is optimal. They also show that, when new obstacles are discovered, the reinitialization of our framework is computationally inexpensive.engArticle is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.Journal articlemotion planningtemporal logicformal synthesishttp://dx.doi.org/10.1145/2461328.2461380