Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1139241, author = {Tůmová, Jana and Reyes Castro, Luis and Karaman, Sertac and Frazzoli, Emilio and Rus, Daniela}, address = {New York, (NY, USA)}, booktitle = {Proceedings of the American Control Conference}, doi = {http://dx.doi.org/10.1109/ACC.2013.6579837}, keywords = {formal methods; robotics; linear temporal logic; control strategy synthesis}, howpublished = {paměťový nosič}, language = {eng}, location = {New York, (NY, USA)}, isbn = {978-1-4799-0177-7}, pages = {200-205}, publisher = {IEEE}, title = {Minimum-violation LTL Planning with Conflicting Specifications}, year = {2013} }
TY - JOUR ID - 1139241 AU - Tůmová, Jana - Reyes Castro, Luis - Karaman, Sertac - Frazzoli, Emilio - Rus, Daniela PY - 2013 TI - Minimum-violation LTL Planning with Conflicting Specifications PB - IEEE CY - New York, (NY, USA) SN - 9781479901777 KW - formal methods KW - robotics KW - linear temporal logic KW - control strategy synthesis N2 - We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as "Vehicle x must eventually visit a target region and then return to a base," "Regions A and B must be periodically surveyed," or " None of the vehicles can enter an unsafe region." We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different parts of the mission. Formally, we consider the missions given in the form of linear temporal logic formulas, each of which is assigned a reward that is earned when the formula is satisfied. Leveraging ideas from the automata-based model checking, we propose an algorithm for finding an optimal control strategy that maximizes the sum of rewards earned if this control strategy is applied. We demonstrate the proposed algorithm on an illustrative case study. ER -
TŮMOVÁ, Jana, Luis REYES CASTRO, Sertac KARAMAN, Emilio FRAZZOLI and Daniela RUS. Minimum-violation LTL Planning with Conflicting Specifications. In \textit{Proceedings of the American Control Conference}. New York, (NY, USA): IEEE, 2013, p.~200-205. ISBN~978-1-4799-0177-7. Available from: https://dx.doi.org/10.1109/ACC.2013.6579837.
|