Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Maria Svorenova"'
Autor:
Akshay A. Morye, Marta Kwiatkowska, Dushyant Rao, Morteza Lahijanian, Paul Newman, Brian Yeomans, Maria Svorenova, Ingmar Posner, Hadas Kress-Gazit
Publikováno v:
IEEE Robotics and Automation Letters. 3(3)
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 schedules that reduce the resource consumption while maintaining best per
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e2b67d79108bad275d84e7912f3457e
http://ora.ox.ac.uk/objects/uuid:
http://ora.ox.ac.uk/objects/uuid:
Publikováno v:
IEEE Transactions on Automatic Control. 60:1528-1541
We consider an optimal control problem for a weighted deterministic transition system required to satisfy a constraint expressed as a linear temporal logic (LTL) formula over its labels. By assuming that the executions of the system incur time-varyin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb9ebbe49bec6cd3db74446009e6dfce
https://doi.org/10.1109/tac.2014.2381451
https://doi.org/10.1109/tac.2014.2381451
Publikováno v:
ACC
Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and communication. W
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bdedc2838b3cea5294fd4d793cbec2be
http://ora.ox.ac.uk/objects/uuid:d1c7cc6a-9368-48a5-9c3c-7ccd14189a54
http://ora.ox.ac.uk/objects/uuid:d1c7cc6a-9368-48a5-9c3c-7ccd14189a54
Publikováno v:
CDC
In this paper, we focus on formal synthesis of control policies for finite Markov decision processes with non-negative real-valued costs. We develop an algorithm to automatically generate a policy that guarantees the satisfaction of a correctness spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb09fb63ba117dba72b8049c0525933c
https://doi.org/10.1109/cdc.2013.6760491
https://doi.org/10.1109/cdc.2013.6760491
Publikováno v:
ACC
Scopus-Elsevier
Scopus-Elsevier
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 occurrence and dynamics can be sensed locally at the states of the system, we d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::416033bdd856e01ce6d57cc6c7f20eda
https://doi.org/10.1109/acc.2013.6580517
https://doi.org/10.1109/acc.2013.6580517
Publikováno v:
CDC
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 reward dynamics can be given. The robot aims to accomplish a high-leve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::252ca7dc19165d2c3ee41a7ca5a0d003
https://doi.org/10.1109/cdc.2012.6426041
https://doi.org/10.1109/cdc.2012.6426041