A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

By Marius Kloetzer, Calin A. Belta. IEEE Transactions on Automatic Control, 2008

568 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace (2015, methodology): “The algorithm is demonstrated with simulated and physical robots in the lab.”
Receding Horizon Temporal Logic Planning (2012, background): “For example, a continuous-time, time-invariant model was considered in [9], [10] and [11] for special cases of fully actuated , kinematic”
Temporal-Logic-Based Reactive Mission and Motion Planning (2009, methodology): “This work was supported in part by the National Science Foundation under Grant EHS 0311123, in part by the National Science Foundation under Grant ITR 0324977, and in part by the Army Research Office under Grant MURI DAAD 19-02-01-0383.”