Author:
Borrelli Francesco,Keviczky Tamás,Balas Gary J.,Stewart Greg,Fregene Kingsley,Godbole Datta
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Antsaklis, P.: A brief introduction to the theory and applications of hybrid systems. Proc. IEEE, Special Issue on Hybrid Systems: Theory and Applications 88, 879–886 (2000)
2. Branicky, M., Borkar, V., Mitter, S.: A unified framework for hybrid control: model and optimal control theory. IEEE Trans. Automatic Control 43, 31–45 (1998)
3. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35, 407–427 (1999)
4. Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica 35, 349–370 (1999)
5. Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91, 986–1001 (2003)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献