-
1
-
-
78651468813
-
The robotics API: An object-oriented framework for modeling industrial robotics applications
-
IEEE Computer Society Press, Los Alamitos
-
Angerer, A., Hoffmann, A., Schierl, A., Vistein, M., Reif, W.: The Robotics API: An object-oriented framework for modeling industrial robotics applications. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), Taipeh, Taiwan. IEEE Computer Society Press, Los Alamitos (2010)
-
(2010)
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010) Taipeh Taiwan
-
-
Angerer, A.1
Hoffmann, A.2
Schierl, A.3
Vistein, M.4
Reif, W.5
-
2
-
-
79957467565
-
Robotic manufacturing cells
-
Nof, S. (ed.), ch.35, John Wiley & Sons, Hoboken
-
Black, J.T., Musunur, L.P.: Robotic manufacturing cells. In: Nof, S. (ed.) Handbook of Industrial Robotics, ch.35, pp. 697-716. John Wiley & Sons, Hoboken (1999)
-
(1999)
Handbook of Industrial Robotics
, pp. 697-716
-
-
Black, J.T.1
Musunur, L.P.2
-
3
-
-
77956428712
-
Organic computing - Addressing complexity by controlled selforganization
-
IEEE Computer Society Press, Los Alamitos
-
Branke, J., Mnif, M., Müller-Schloer, C., Prothmann, H., Richter, U., Rochner, F., Schmeck, H.: Organic Computing - Addressing complexity by controlled selforganization. In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus, pp. 185-191. IEEE Computer Society Press, Los Alamitos (2006)
-
(2006)
Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus
, pp. 185-191
-
-
Branke, J.1
Mnif, M.2
Müller-Schloer, C.3
Prothmann, H.4
Richter, U.5
Rochner, F.6
Schmeck, H.7
-
4
-
-
34047265323
-
Constraint-based task specification and estimation for sensor-based robot systems in the presence of geometric uncertainty
-
DOI 10.1177/027836490707809107
-
De Schutter, J., De Laet, T., Rutgeerts, J., Decŕe, W., Smits, R., Aertbelïen, E., Claes, K., Bruyninckx, H.: Constraint-based task specification and estimation for sensor-based robot systems in the presence of geometric uncertainty. Int. J. Rob. Res. 26(5), 433-455 (2007), doi:http://dx.doi.org/10.1177/027836490707809107 (Pubitemid 46550035)
-
(2007)
International Journal of Robotics Research
, vol.26
, Issue.5
, pp. 433-455
-
-
De Schutter, J.1
De Laet, T.2
Rutgeerts, J.3
Decre, W.4
Smits, R.5
Aertbelien, E.6
Claes, K.7
Bruyninckx, H.8
-
5
-
-
21244465128
-
Executing assembly tasks specified by manipulation primitive nets
-
DOI 10.1163/156855305323383811, Compliant Motion: Modeling, Planning and Control
-
Finkemeyer, B., Kröger, T., Wahl, F.M.: Executing assembly tasks specified by manipulation primitive nets. Advanced Robotics 19(5), 591-611 (2005) (Pubitemid 40893194)
-
(2005)
Advanced Robotics
, vol.19
, Issue.5
, pp. 591-611
-
-
Finkemeyer, B.1
Kroger, T.2
Wahl, F.M.3
-
6
-
-
0037236308
-
The dawning of the autonomic computing era
-
Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal 42(1), 5-18 (2003)
-
(2003)
IBM Systems Journal
, vol.42
, Issue.1
, pp. 5-18
-
-
Ganek, A.G.1
Corbi, T.A.2
-
7
-
-
0003722376
-
-
Addison-Wesley Professional, Reading
-
Goldberg, D.E.: Genetic Algorithms in Search, Optimization, and Machine Learning, 1st edn. Addison-Wesley Professional, Reading (1989)
-
(1989)
Genetic Algorithms in Search, Optimization, and Machine Learning, 1st Edn
-
-
Goldberg, D.E.1
-
8
-
-
57949107594
-
A specification and construction paradigm for organic computing systems
-
Venice, Italy, IEEE Computer Society Press, Los Alamitos
-
Güdemann, M., Nafz, F., Ortmeier, F., Seebach, H., Reif, W.: A specification and construction paradigm for organic computing systems. In: Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), Venice, Italy, pp. 233-242. IEEE Computer Society Press, Los Alamitos (2008)
-
(2008)
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008)
, pp. 233-242
-
-
Güdemann, M.1
Nafz, F.2
Ortmeier, F.3
Seebach, H.4
Reif, W.5
-
9
-
-
77956422483
-
Safety and dependability analysis of self-adaptive systems
-
IEEE CS Press, Los Alamitos
-
Güdemann, M., Ortmeier, F., Reif,W.: Safety and dependability analysis of self-adaptive systems. In: Proceedings of ISoLA 2006. IEEE CS Press, Los Alamitos (2006)
-
(2006)
Proceedings of ISoLA 2006
-
-
Güdemann, M.1
Ortmeier, F.2
Reif, W.3
-
10
-
-
78649657229
-
Industrial robotics
-
Siciliano, B., Khatib, O. (eds.) Springer, ch.42, Springer, Heidelberg
-
Hägele, M., Nilsson, K., Pires, J.N.: Industrial robotics. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, ch.42, pp. 963-986. Springer, Heidelberg (2008)
-
(2008)
Handbook of Robotics
, pp. 963-986
-
-
Hägele, M.1
Nilsson, K.2
Pires, J.N.3
-
11
-
-
79957452187
-
Industrial robot automation
-
Hägele, M., Skordas, T., Sagert, S., Bischoff, R., Brog°ardh, T., Dresselhaus, M.: Industrial robot automation. White paper, European Robotics Network (2005)
-
(2005)
White Paper, European Robotics Network
-
-
Hägele, M.1
Skordas, T.2
Sagert, S.3
Bischoff, R.4
Brogardh, T.5
Dresselhaus, M.6
-
12
-
-
76249087321
-
Hiding real-time: A new approach for the software development of industrial robots
-
IEEE Computer Society Press, St. Louis
-
Hoffmann, A., Angerer, A., Ortmeier, F., Vistein, M., Reif, W.: Hiding real-time: A new approach for the software development of industrial robots. In: Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2009), pp. 2108-2113. IEEE Computer Society Press, St. Louis (2009)
-
(2009)
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2009
, pp. 2108-2113
-
-
Hoffmann, A.1
Angerer, A.2
Ortmeier, F.3
Vistein, M.4
Reif, W.5
-
13
-
-
78649674898
-
Towards object-oriented software development for industrial robots
-
INSTICC Press Funchal
-
Hoffmann, A., Angerer, A., Schierl, A., Vistein, M., Reif, W.: Towards object-oriented software development for industrial robots. In: Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010). INSTICC Press, Funchal (2010)
-
(2010)
Proceedings of the 7th International Conference on Informatics in Control Automation and Robotics (ICINCO 2010)
-
-
Hoffmann, A.1
Angerer, A.2
Schierl, A.3
Vistein, M.4
Reif, W.5
-
14
-
-
79957498602
-
Prototyping plant control software with microsoft robotics studio
-
IEEE Computer Society Press, Los Alamitos
-
Hoffmann, A., Nafz, F., Ortmeier, F., Schierl, A., Reif,W.: Prototyping plant control software with microsoft robotics studio. In: Proceedings of the Third InternationalWorkshop on "Software Development and Integration in Robotics" (SDIR-III). IEEE Computer Society Press, Los Alamitos (2008)
-
(2008)
Proceedings of the Third InternationalWorkshop on "software Development and Integration in Robotics" (SDIR-III)
-
-
Hoffmann, A.1
Nafz, F.2
Ortmeier, F.3
Schierl, A.4
Reif, W.5
-
15
-
-
0037253062
-
The vision of autonomic computing
-
Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41-50 (2003)
-
(2003)
Computer
, vol.36
, Issue.1
, pp. 41-50
-
-
Kephart, J.1
Chess, D.2
-
16
-
-
0019583561
-
Compliance and force control for computer-controlled manipulators
-
Mason, M.: Compliance and force control for computer-controlled manipulators. IEEE Transactions on Systems, Man, and Cybernetics 11(6), 418-432 (1981) (Pubitemid 11524002)
-
(1981)
IEEE Transactions on Systems, Man and Cybernetics
, vol.SMC-11
, Issue.6
, pp. 418-432
-
-
Mason Matthew, T.1
-
17
-
-
0036535815
-
Trends and perspectives in flexible and reconfigurable manufacturing systems
-
DOI 10.1023/A:1014536330551
-
Mehrabi, M., Ulsoy, A., Koren, Y., Heytler, P.: Trends and perspectives in flexible and reconfigurable manufacturing systems. Journal of Intelligent Manufacturing 13(2), 135-146 (2002) (Pubitemid 34325675)
-
(2002)
Journal of Intelligent Manufacturing
, vol.13
, Issue.2
, pp. 135-146
-
-
Mehrabi, M.G.1
Ulsoy, A.G.2
Koren, Y.3
Heytler, P.4
-
20
-
-
34247605481
-
Organic Computing
-
Müller-Schloer, C., von der Malsburg, C., Würtz, R.P.: Organic computing. Informatik Spektrum 27(4), 332-336 (2004) (Pubitemid 39130653)
-
(2004)
Informatik Spektrum
, vol.27
, Issue.4
, pp. 332-336
-
-
Muller-Schloer, C.1
Von Der Malsburg, C.2
Wurtz, R.P.3
-
21
-
-
70349904920
-
A generic software framework for role-based organic computing systems
-
Nafz, F., Ortmeier, F., Seebach, H., Steghöfer, J.P., Reif, W.: A generic software framework for role-based organic computing systems. In: Proc. Intl. Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp. 96-105 (2009)
-
(2009)
Proc. Intl. Workshop on Software Engineering for Adaptive and Self-Managing Systems
, pp. 96-105
-
-
Nafz, F.1
Ortmeier, F.2
Seebach, H.3
Steghöfer, J.P.4
Reif, W.5
-
22
-
-
71049190955
-
A universal selforganization mechanism for role-based organic computing systems
-
Gonźalez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009, Springer, Heidelberg
-
Nafz, F., Ortmeier, F., Seebach, H., Steghöfer, J.-P., Reif, W.: A universal selforganization mechanism for role-based organic computing systems. In: Gonźalez Nieto, J., Reif, W., Wang, G., Indulska, J. (eds.) ATC 2009. LNCS, vol. 5586, pp. 17-31. Springer, Heidelberg (2009), http://dx.doi.org/10. 1007/978-3-642-02704-8-3
-
(2009)
LNCS
, vol.5586
, pp. 17-31
-
-
Nafz, F.1
Ortmeier, F.2
Seebach, H.3
Steghöfer, J.-P.4
Reif, W.5
-
23
-
-
78649962921
-
A formal framework for compositional verification of organic computing systems
-
Nafz, F., Seebach, H., Steghöfer, J.P., Bäumler, S., Reif, W.: A Formal Framework for Compositional Verification of Organic Computing Systems. In: Proceedings of the seventh International Conference on Autonomic and Trusted Computing, ATC-2010 (2010)
-
(2010)
Proceedings of the Seventh International Conference on Autonomic and Trusted Computing, ATC-2010
-
-
Nafz, F.1
Seebach, H.2
Steghöfer, J.P.3
Bäumler, S.4
Reif, W.5
-
24
-
-
0033706998
-
An overview of dexterous manipulation
-
IEEE Computer Society Press, San Francisco
-
Okamura, A., Smaby, N., Cutkosky, M.: An overview of dexterous manipulation. In: Proceedings of the 2000 IEEE International Conference on Robotics and Automation (ICRA 2000), pp. 255-262. IEEE Computer Society Press, San Francisco (2000)
-
(2000)
Proceedings of the 2000 IEEE International Conference on Robotics and Automation (ICRA 2000)
, pp. 255-262
-
-
Okamura, A.1
Smaby, N.2
Cutkosky, M.3
-
26
-
-
79957468592
-
New challenges for industrial robotic cell programming
-
Pires, J.N.: New challenges for industrial robotic cell programming. Industrial Robot 36(1) (2009)
-
(2009)
Industrial Robot
, vol.36
, Issue.1
-
-
Pires, J.N.1
-
27
-
-
33646543143
-
Jadex: A bdi reasoning engine
-
Bordini, R., Dastani,M., Dix, G., Seghrouchni, A.E.F. (eds.), Springer, Heidelberg, Book chapter
-
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Bordini, R., Dastani,M., Dix, G., Seghrouchni, A.E.F. (eds.)Multi-Agent Programming, pp. 149- 174. Springer, Heidelberg (2005); Book chapter
-
(2005)
Multi-Agent Programming
, pp. 149-174
-
-
Pokahr, A.1
Braubach, L.2
Lamersdorf, W.3
-
28
-
-
84874272738
-
Towards a generic observer/controller architecture for organic computing
-
Richter, U., Mnif, M., Branke, J., Müller-Schloer, C., Schmeck, H.: Towards a generic observer/controller architecture for organic computing. In: GI Jahrestagung, vol. (1), pp. 112-119 (2006)
-
(2006)
GI Jahrestagung
, vol.1
, pp. 112-119
-
-
Richter, U.1
Mnif, M.2
Branke, J.3
Müller-Schloer, C.4
Schmeck, H.5
-
29
-
-
36949019389
-
Self-organization in manufacturing operations
-
DOI 10.1145/1323688.1323698
-
Schild, K., Bussmann, S.: Self-organization in manufacturing operations. Commun. ACM 50(12), 74-79 (2007), http://doi.acm.org/10.1145/1323688.1323698 (Pubitemid 350243137)
-
(2007)
Communications of the ACM
, vol.50
, Issue.12
, pp. 74-79
-
-
Schild, K.1
Bussmann, S.2
-
30
-
-
79952055524
-
A software engineering guideline for self-organizing resource-flow systems
-
IEEE Computer Society Press, Los Alamitos
-
Seebach, H., Nafz, F., Steghöfer, J.P., Reif, W.: A software engineering guideline for self-organizing resource-flow systems. In: Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), Budapest, Hungary. IEEE Computer Society Press, Los Alamitos (2010)
-
(2010)
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010) Budapest Hungary
-
-
Seebach, H.1
Nafz, F.2
Steghöfer, J.P.3
Reif, W.4
-
31
-
-
79952049470
-
Design and construction of organic computing systems
-
Singapore, IEEE Computer Society Press, Los Alamitos
-
Seebach, H., Ortmeier, F., Reif, W.: Design and construction of organic computing systems. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, pp. 4215-4221. IEEE Computer Society Press, Los Alamitos (2007)
-
(2007)
Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2007)
, pp. 4215-4221
-
-
Seebach, H.1
Ortmeier, F.2
Reif, W.3
-
32
-
-
67650509310
-
ITASC: A tool for multi-sensor integration in robot manipulation
-
Seoul, Korea, IEEE Computer Society Press, Los Alamitos
-
Smits, R., De Laet, T., Claes, K., Bruyninckx, H., De Schutter, J.: iTASC: A tool for multi-sensor integration in robot manipulation. In: Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, pp. 426-433. IEEE Computer Society Press, Los Alamitos (2008)
-
(2008)
Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008)
, pp. 426-433
-
-
Smits, R.1
De Laet, T.2
Claes, K.3
Bruyninckx, H.4
De Schutter, J.5
-
33
-
-
79961157692
-
Design and simulation of a wave-like self-organization strategy for resource-flow systems
-
(accepted)
-
Sudeikat, J., Steghöfer, J.P., Seebach, H., Renz, W., Preisler, T., Salchow, P., Reif, W.: Design and simulation of a wave-like self-organization strategy for resource-flow systems. In: 4th InternationalWorkshop onMulti-Agent Systems and Simulation (MAS&S) (2010) (accepted)
-
(2010)
4th InternationalWorkshop OnMulti-Agent Systems and Simulation (MAS&S)
-
-
Sudeikat, J.1
Steghöfer, J.P.2
Seebach, H.3
Renz, W.4
Preisler, T.5
Salchow, P.6
Reif, W.7
-
34
-
-
0344464967
-
Error-tolerant execution of complex robot tasks based on skill primitives
-
Taipei, Taiwan, IEEE Computer Society Press, Los Alamitos
-
Thomas, U., Finkemeyer, B., Kröger, T.,Wahl, F.M.: Error-tolerant execution of complex robot tasks based on skill primitives. In: Proceedings of the 2003 IEEE International Conference on Robotics and Automation (ICRA 2003), Taipei, Taiwan, pp. 3069-3075. IEEE Computer Society Press, Los Alamitos (2003)
-
(2003)
Proceedings of the 2003 IEEE International Conference on Robotics and Automation (ICRA 2003)
, pp. 3069-3075
-
-
Thomas, U.1
Finkemeyer, B.2
Kröger, T.3
Wahl, F.M.4
-
35
-
-
37149013755
-
Kodkod: A relational model finder
-
Tools and Algorithms for the Construction and Analysis of Systems - 13th International Conference, TACAS 2007. Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007
-
Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632-647. Springer, Heidelberg (2007), http://dx.doi.org/10.1007/978-3-540-71209-1-49 (Pubitemid 350259325)
-
(2007)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.LNCS 4424
, pp. 632-647
-
-
Torlak, E.1
Jackson, D.2
-
37
-
-
0004269078
-
-
U.S. Nuclear Regulatory Commission, Washington, DC
-
Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U.S. Nuclear Regulatory Commission, Washington, DC (1981)
-
(1981)
Fault Tree Handbook
-
-
Vesely, W.E.1
Goldberg, F.F.2
Roberts, N.H.3
Haasl, D.F.4
-
38
-
-
78149440972
-
Interfacing industrial robots using realtime primitives
-
Hong Kong China. IEEE Computer Society Press, Los Alamitos
-
Vistein, M., Angerer, A., Hoffmann, A., Schierl, A., Reif, W.: Interfacing industrial robots using realtime primitives. In: Proceedings of the 2010 International Conference on Automation and Logistics (ICAL 2010), Hong Kong, China. IEEE Computer Society Press, Los Alamitos (2010)
-
(2010)
Proceedings of the 2010 International Conference on Automation and Logistics (ICAL 2010)
-
-
Vistein, M.1
Angerer, A.2
Hoffmann, A.3
Schierl, A.4
Reif, W.5
-
40
-
-
77950418329
-
A multi-agent-supported, product-based production control
-
Christchurch, New Zealand, IEEE Computer Society Press, Los Alamitos
-
Zaeh, M., Ostgathe, M.: A multi-agent-supported, product-based production control. In: Proceedings of the 7th IEEE International Conference on Control and Automation, Christchurch, New Zealand, pp. 2376-2383. IEEE Computer Society Press, Los Alamitos (2009)
-
(2009)
Proceedings of the 7th IEEE International Conference on Control and Automation
, pp. 2376-2383
-
-
Zaeh, M.1
Ostgathe, M.2
|