Author:
Fang Jie,Zhang Zetian,Cowlagi Raghvendra V.
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference33 articles.
1. Formal methods for discrete-time dynamical systems;Belta,2017
2. Chen, Y., Ding, X. C., & Belta, C. (2011). Synthesis of distributed control and communication schemes from global LTL specifications. In 2011 50th IEEE conference on decision and control and european control conference (pp. 2718–2723).
3. Consensus-Based decentralized auctions for robust task allocation;Choi;IEEE Transactions on Robotics,2009
4. Route guidance for satisfying temporal logic specifications on aircraft motion;Cowlagi;Journal of Guidance, Control, and Dynamics,2017
5. Manipulating LTL formulas using spot 1.0;Duret-Lutz,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献