6 citations · 18 across the 5 of their papers we have counts for
3 papers · 1 filter
Resource-Performance Trade-off Analysis for Mobile Robot Design
Morteza Lahijanian, Maria Svorenova, Akshay A. Morye +6
The design of mobile autonomous robots is challenging due to the limited on-board resources such as processing power and energy. A promising approach is to generate intelligent sch…
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
Mária Svoreňová, Ivana Černá, Calin Belta
In this paper, we develop a provably correct optimal control strategy for a finite deterministic transition system. By assuming that penalties with known probabilities of occurrenc…
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Maria Svorenova, Jana Tumova, Jiri Barnat +1
Our goal in this paper is to plan the motion of a robot in a partitioned environment with dynamically changing, locally sensed rewards. We assume that arbitrary assumptions on the…