Search Results for author:
Found 1 papers, 0 papers with code
A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems
We show that the proposed algorithm is sound for full LTL specifications, and robustly complete for specifications recognizable by deterministic B\"uchi automata (DBA), the latter in the sense that control strategies can be found whenever the given specification can be satisfied with additional bounded disturbances.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
