Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması
Proje Grubu: EEEAG Sayfa Sayısı: 51 Proje No: 109E032 Proje Bitiş Tarihi: 01.03.2013 Metin Dili: Türkçe İndeks Tarihi: 29-07-2022
Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması
Öz: -
Anahtar Kelime: Erişim Türü: Erişime Açık
- Ahmadi, M. and Buehler, M. (2006). Controlled passive dynamic running experiments with the arlmonopod ii. IEEE Transactions on Robotics, 22(5):974–986.
- Blum, A. L. and Furst, M. L. (1997). Fast planning through planning graph analysis. Artificial Intelligence, 90(1-2):281 – 300.
- Burridge, R. R., Rizzi, A. A., and Koditschek, D. E. (1999). Sequential composition of dynamically dexterous robot behaviors. International Journal of Robotics Research, 18(6):534–555.
- Cham, J. G., Bailey, S. A., Clark, J. E., Full, R. J., and Cutkosky, M. R. (2002). Fast and robust: Hexapedal robots via shape deposition manufacturing. International Journal of Robotics Research, 21(10):869–882.
- Chaudhuri, K. and Pfenning, F. (2005). Focusing the inverse method for linear logic. Technical report, Carnegie Mellon University.
- Conner, D., Choset, H., and Rizzi, A. (2009). Flow-through policies for hybrid controller synthesis applied to fully actuated systems. Robotics, IEEE Transactions on, 25(1):136 –146.
- Cruse, H., Kindermann, T., Schumm, M., Dean, J., and Schmitz, J. (1998). Walknet - a biologically inspired network to control six-legged walking. Neural Networks, 11(7-8):1435–1447.
- Fainekos, G. E., Kress-Gazit, H., and Pappas, G. J. (2005). Temporal logic motion planning for mobile robots. In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pages 2032–2037.
- Fikes, R. E. and Nilsson, N. J. (1971). STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208.
- Geyer, H., Seyfarth, A., and Blickhan, R. (2005). Spring-mass running: simple approximate solution and application to gait stability. Journal of Theoretical Biology, 232(3):315–328.
- Girard, J.-Y. (1995). Linear logic: its syntax and semantics. In Proceedings of the workshop on Advances in linear logic, pages 1–42. Cambridge University Press.
- Gregorio, P., Ahmadi, M., and Buehler, M. (1997). Design, control, and energetics of an electrically actuated legged robot. Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 27(4):626–634.
- Guckenheimer, J. and P., H. (2002). Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer.
- Holmes, P., Full, R., Koditschek, D., and Guckenheimer, J. (2006). The dynamics of legged locomotion: Models, analyses, and challenges. SIAM Review, 48(2):207–304.
- Klir, G. and Yuan, B. (1995). Fuzzy sets and fuzzy logic: theory and applications. Prentice-Hall Inc.
- Lamport, L. (1994). The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872–923.
- Luenberger, D. G. (1979). Introduction to dynamic systems: theory, models, and applications. John Wiley and Sons, New York, NY.
- Miller, D., Nadathur, G., Pfenning, F., and Scedrov, A. (1991). Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125–157.
- Newell, A. (1982). Knowledge level. Artificial Intelligence, 18(1):87–127.
- Nilsson, N. J. (1984). Shakey the robot. Technical Report 323, SRI AI Center. Pfenning, F. (1999). Lecture notes on automated theorem proving. Technical report, Carnegie Mellon University.
- Pfenning, F. (2002). Lecture notes on linear logic. Technical report, Carnegie Mellon University.
- Playter, R., Buehler, M., and Raibert, M. (2006). BigDog. In Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series, volume 6230 of Presented at the Society of PhotoOptical Instrumentation Engineers (SPIE) Conference.
- Raibert, M. (1987). Running with symmetry. International Journal of Robotics Research, 5(4):3–19.
- Russel, S. and Norvig, P. (1995). Artificial Intelligence: A Modern Approach. Prentice Hall.
- Saffiotti, A. (1997). The uses of fuzzy logic in autonomous robot navigation. Soft Computing - A Fusion of Foundations, 1(4).
- Saranli, U. (2002). Dynamic Locomotion with a Hexapod Robot. PhD thesis, The University of Michigan, Ann Arbor, MI.
- Saranli, U., Buehler, M., and Koditschek, D. E. (2001). RHex: A simple and highly mobile robot. International Journal of Robotics Research, 20(7):616–631.
- Sato, A. (2004). A planar hopping robot with one actuator: Design, simulation, and experimental results. Master’s thesis, McGill University.
- Schwind, W. J. (1998). Spring Loaded Inverted Pendulum Running: A Plant Model. Phd, University of Michigan.
- Slaney, J. and Thiebaux, S. (2001). Blocks world revisited. Artificial Intelligence, 125(1-2):119–153.
- Smith, D. E., Frank, J., and Jonsson, A. K. (2000). Bridging the gap between planning and scheduling. Knowledge Engineering Review, 15(1):47–83.
- Volpe, R., Nesnas, I., Estlin, T., Mutz, D., Petras, R., and Das, H. (2001). The CLARAty architecture for robotic autonomy. In IEEE Proceedings of the Aerospace Conference, volume 1, pages 121–132, Big Sky, MT.
- Zeglin, G. (1999). The Bow Leg Hopping Robot. Doctoral thesis in robotics, Carnegie Mellon University. CMU-RI-TR-99-33.
- Zeglin, G. and Brown, B. (1998). Control of a bow leg hopping robot. In Proceedings of the IEEE International Conference On Robotics and Automation, pages 793–8, Leuven, Belgium.
| APA | SARANLI U, MORGÜL Ö (2013). Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. , 1 - 51. |
| Chicago | SARANLI Uluç,MORGÜL Ömer Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. (2013): 1 - 51. |
| MLA | SARANLI Uluç,MORGÜL Ömer Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. , 2013, ss.1 - 51. |
| AMA | SARANLI U,MORGÜL Ö Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. . 2013; 1 - 51. |
| Vancouver | SARANLI U,MORGÜL Ö Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. . 2013; 1 - 51. |
| IEEE | SARANLI U,MORGÜL Ö "Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması." , ss.1 - 51, 2013. |
| ISNAD | SARANLI, Uluç - MORGÜL, Ömer. "Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması". (2013), 1-51. |
| APA | SARANLI U, MORGÜL Ö (2013). Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. , 1 - 51. |
| Chicago | SARANLI Uluç,MORGÜL Ömer Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. (2013): 1 - 51. |
| MLA | SARANLI Uluç,MORGÜL Ömer Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. , 2013, ss.1 - 51. |
| AMA | SARANLI U,MORGÜL Ö Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. . 2013; 1 - 51. |
| Vancouver | SARANLI U,MORGÜL Ö Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması. . 2013; 1 - 51. |
| IEEE | SARANLI U,MORGÜL Ö "Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması." , ss.1 - 51, 2013. |
| ISNAD | SARANLI, Uluç - MORGÜL, Ömer. "Doğrusal mantık uslamlamasının sürekli kısıtlar varlığında kullanımı ile dinamik robotlarda otonom davranış progralaması". (2013), 1-51. |
