Publisher
Springer International Publishing
Reference17 articles.
1. Aubin, J.P.: Viability Theory. Birkhäuser, Boston (1991)
2. Craig, J.J.: Introduction to Robotics: Mechanics and Control, 3rd edn. Pearson Prentice Hall, New Jersey (2005)
3. Ding, J., Gillula, J.H., Huang, H., Vitus, M.P., Zhang, W., Tomlin, C.J.: Hybrid systems in robotics. IEEE Robot. Autom. Mag. 18(3), 33–43 (2011). doi:
10.1109/MRA.2011.942113
4. Kerber, F., van der Schaft, A.: Compositional analysis for linear control systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 21–30. ACM, New York (2010). doi:
10.1145/1755952.1755957
5. Leveson, N., Turner, C.: An investigation of the Therac-25 accidents. Computer 26(7), 18–41 (1993). doi:
10.1109/MC.1993.274940