Funder
Air Force Research Laboratory
National Science Foundation
Air Force Office of Scientific Research
Subject
Computer Science Applications,Analysis,Control and Systems Engineering
Reference34 articles.
1. Linear time logic control of discrete-time linear systems;Tabuada;IEEE Trans. Automat. Control,2006
2. A fully automated framework for control of linear systems from temporal logic specifications;Kloetzer;IEEE Trans. Automat. Control,2008
3. LTLC: Linear temporal logic for control;Kwon;Hybrid Syst.: Comput. Control,2008
4. The temporal logic of programs;Pnueli,1977
5. The temporal logic of reactive and concurrent systems;Pnueli;Springer,1992
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献