Author:
Abate Alessandro,Bessa Iury,Cattaruzza Dario,Cordeiro Lucas,David Cristina,Kesseli Pascal,Kroening Daniel,Polgreen Elizabeth
Publisher
Springer International Publishing
Reference34 articles.
1. Control tutorials for MATLAB and SIMULINK. http://ctms.engin.umich.edu/
2. Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L.C., David, C., Kesseli, P., Kroening, D.: Sound and automated synthesis of digital stabilizing controllers for continuous plants. In: Hybrid Systems: Computation and Control (HSCC), pp. 197–206. ACM (2017)
3. Anta, A., Majumdar, R., Saha, I., Tabuada, P.: Automatic verification of control system implementations. In: EMSOFT, pp. 9–18 (2010)
4. Prentice Hall Information and System Sciences Series;K Åström,1997
5. Bessa, I., Ismail, H., Palhares, R., Cordeiro, L., Filho, J.E.C.: Formal non-fragile stability verification of digital control systems with uncertainty. IEEE Trans. Comput. 66(3), 545–552 (2017)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献