Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference22 articles.
1. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000
2. A Lyapunov approach to incremental stability properties;Angeli;IEEE Transactions on Automatic Control,2002
3. Games for synthesis of controllers with partial observation;Arnold;Theoretical Computer Science,2003
4. Effective synthesis of switching controllers for linear systems;Asarin;Proceedings of the IEEE,2000
5. Dynamic programming and optimal control;Bertsekas,2000
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献