Author:
Giusti Andrea,Nainer Carlo
Publisher
Springer International Publishing
Reference13 articles.
1. Althoff, M., Giusti, A., Liu, S.B., Pereira, A.: Effortless creation of safe robots from modules through self-programming and self-verification. Sci. Robot. 4(31), eaaw1924 (2019)
2. Althoff, M., Grebenyuk, D.: Implementation of interval arithmetic in CORA 2016. In: Proceedings of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 91–105 (2016)
3. Brogårdh, T.: Robot control overview: an industrial perspective. MIC—Model. Identif. Control 30(3), 167 (2009)
4. De Luca, A., Ferrajoli, L.: A modified Newton-Euler method for dynamic computations in robot fault detection and control. In: Proceedings of the IEEE International Conference on Robotics and Automation, pp. 3359–3364 (2009)
5. Giusti, A., Althoff, M.: Efficient computation of interval-arithmetic-based robust controllers for rigid robots. In: 2017 1st IEEE International Conference on Robotic Computing (IRC), pp. 129–135 (2017)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献