Author:
Wolff Eric M.,Murray Richard M.
Publisher
Springer International Publishing
Reference29 articles.
1. Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971–984 (2000)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Belta, C., Habets, L.C.G.J.M.: Controlling of a class of nonlinear systems on rectangles. IEEE Trans. Autom. Control 51, 1749–1759 (2006)
4. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407–427 (1999)
5. Betts, J.T.: Practical Methods for Optimal Control and Estimation Using Nonlinear Programming, 2nd edition. SIAM (2000)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献