Abstract: We consider the following problem: given a linear system and a linear temporal logic (LTL) formula over a set of linear predicates in its state variables, find a feedback control law with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results