Sökning: "Christopher Sprague"

Hittade 1 avhandling innehållade orden Christopher Sprague.

1. 1. Efficient and Trustworthy Artificial Intelligence for Critical Robotic Systems

   Författare :Christopher Sprague; Petter Ögren; John Folkesson; Ivan Stenius; Todor Stoyanov; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; behaviour trees; hybrid dynamical systems; formal guarantees; optimal control; machine learning; autonomy; Datalogi; Computer Science;

   Sammanfattning : Critical robotic systems are systems whose functioning is critical to both ensuring the accomplishment of a given mission and preventing the endangerment of life and the surrounding environment. These critical aspects can be formally captured by convergence, in the sense that the system's state goes to a desired region of the statespace, and safety, in the sense that the system's state avoids unsafe regions of the statespace. LÄS MER