"P(LH11065)" . . "RIV/00216224:14330/13:00071898" . "T\u016Fmov\u00E1, Jana" . . . . "9781450315678" . "14330" . . "10.1145/2461328.2461330" . . "2013-01-01+01:00"^^ . "1"^^ . . "84525" . "[4AD1B258A52B]" . . . "control strategy synthesis; temporal logic; formal methods; least-violating planning; robot path planning"@en . . . . "Karaman, Sertac" . . "New York, NY, USA" . "RIV/00216224:14330/13:00071898!RIV14-MSM-14330___" . "Rus, Daniela" . . "Hall, Gavin" . . "Frazzoli, Emilio" . "ACM" . "Least-violating control strategy synthesis with safety rules" . "Proceedings of the 16th international conference on Hybrid systems: computation and control" . "Least-violating control strategy synthesis with safety rules" . "We consider the problem of automatic control strategy synthesis, for discrete models of robotic systems, to fulfill a task that requires reaching a goal state while obeying a given set of safety rules. In this paper, we focus on the case when the said task is not feasible without temporarily violating some of the rules. We propose an algorithm that {synthesizes} a motion which violates only lowest priority rules for the shortest amount of time. Although the proposed algorithm can be applied in a variety of control problems, throughout the paper, we motivate this problem with an autonomous car navigating in an urban environment while abiding by the rules of the road, such as %22always stay in the right lane%22 and %22do not enter the sidewalk.%22 We evaluate the algorithm on a case study with several illustrative scenarios." . . . . "10"^^ . . "Least-violating control strategy synthesis with safety rules"@en . "We consider the problem of automatic control strategy synthesis, for discrete models of robotic systems, to fulfill a task that requires reaching a goal state while obeying a given set of safety rules. In this paper, we focus on the case when the said task is not feasible without temporarily violating some of the rules. We propose an algorithm that {synthesizes} a motion which violates only lowest priority rules for the shortest amount of time. Although the proposed algorithm can be applied in a variety of control problems, throughout the paper, we motivate this problem with an autonomous car navigating in an urban environment while abiding by the rules of the road, such as %22always stay in the right lane%22 and %22do not enter the sidewalk.%22 We evaluate the algorithm on a case study with several illustrative scenarios."@en . "5"^^ . "Least-violating control strategy synthesis with safety rules"@en . "Philadelphia, PA, USA" .