{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T09:40:09Z","timestamp":1748770809327,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319293561"},{"type":"electronic","value":"9783319293578"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29357-8_45","type":"book-chapter","created":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T16:24:57Z","timestamp":1454516697000},"page":"511-522","source":"Crossref","is-referenced-by-count":7,"title":["Robot System Design Procedure Based on a Formal Specification"],"prefix":"10.1007","author":[{"given":"Cezary","family":"Zieli\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksym","family":"Figat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,4]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Kaisler, S.: Software Paradigms. Wiley Interscience (2005)","DOI":"10.1002\/0471703567"},{"key":"45_CR2","unstructured":"Fowler, M.: Domain Specific Languages, 1st edn. Addison-Wesley Professional (2010)"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Nordmann, A., Hochgeschwender, N., Wrede, S.: A survey on domain-specific languages in robotics. In: Brugali, D., Broenink, J., Kroeger, T., MacDonald, B. (eds.) Simulation, Modeling, and Programming for Autonomous Robots. Lecture Notes in Computer Science, vol. 8810, pp. 195\u2013206. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-11900-7_17"},{"key":"45_CR4","unstructured":"Bischoff, R., Guhl, T., Prassler, E., Nowak, W., Kraetzschmar, G., Bruyninckx, H., Soetens, P., Haegele, M., Pott, A., Breedveld, P., Broenink, J., Brugali, D., Tomatis, N.: Brics\u2014best practice in robotics. In: Robotics (ISR), 2010 41st International Symposium on and 2010 6th German Conference on Robotics (ROBOTIK), pp. 1\u20138 (2010)"},{"key":"45_CR5","unstructured":"Trojanek, P.: Model-driven engineering approach to design and implementation of robot control system. In: 2nd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob\u201911), arXiv preprint arXiv:1302.5085 (Sept 2011)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Fleury, S., Herrb, M., Chatila, R.: Genom: a tool for the specification and the implementation of operating modules in a distributed robot architecture. In: Proceedings of the 1997 IEEE\/RSJ International Conference on Intelligent Robots and Systems. IROS \u201997, vol. 2, pp. 842\u2013849 (1997)","DOI":"10.1109\/IROS.1997.655108"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: Robotml, a domain-specific language to design, simulate and deploy robotic applications. In: Simulation, Modeling, and Programming for Autonomous Robots, pp. 149\u2013160. Springer (2012)","DOI":"10.1007\/978-3-642-34327-8_16"},{"key":"45_CR8","unstructured":"Ringert, J.O., Rumpe, B., Wortmann, A.: Montiarcautomaton: modeling architecture and behavior of robotic systems. In: In Workshops and Tutorials Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA), 6\u201310 May 2013"},{"key":"45_CR9","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.rcim.2014.07.004","volume":"33","author":"Maj Stenmark","year":"2015","unstructured":"Stenmark, M., Malec, J.: Knowledge-based instruction of manipulation tasks for industrial robotics. Robot. Comput.-Integr. Manuf. 33, 56\u201367 (2015). Special Issue on Knowledge Driven Robotics and Manufacturing","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Stenmark, M., Nugues, P.: Natural language programming of industrial robots. In: 2013 44th International Symposium on Robotics (ISR), pp. 1\u20135 (2013)","DOI":"10.1109\/ISR.2013.6695630"},{"key":"45_CR11","first-page":"189","volume-title":"Advances in Intelligent Systems and Computing","author":"Maj Stenmark","year":"2015","unstructured":"Stenmark, M., Malec, J., Stolt, A.: From high-level task description to executable robot code. In: Proceedings of the 7th IEEE International Conference Intelligent Systems IS\u20192014, pp. 189\u2013202 (2014)"},{"key":"45_CR12","unstructured":"Ringert, J.O., Roth, A., Rumpe, B., Wortmann, A.: Code generator composition for model-driven engineering of robotics component and connector systems. In: Proceedings of the1st International Workshop on Model-Driven Robot Software Engineering (MORSE 2014) (2014)"},{"key":"45_CR13","unstructured":"Kapoor, C., Tesar, D.: A reusable operational software architecture for advanced robotics. In: 12th CSIM-IFToMM Symposium on Theory and Practice of Robots and Manips (1998)"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Batory, D.: A tutorial on feature oriented programming and product-lines. In: Proceedings of the 25th International Conference on Software Engineering. ICSE \u201903, pp. 753\u2013754. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201271"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Jung, E., Kapoor, C., Batory, D.: Automatic code generation for actuator interfacing from a declarative specification. In: 2005 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2005), pp. 2839\u20132844 (2005)","DOI":"10.1109\/IROS.2005.1545465"},{"key":"45_CR16","first-page":"107","volume":"3","author":"RA Brooks","year":"1991","unstructured":"Brooks, R.A.: Intelligence without reason. Artif. Intell.: Crit. Concepts 3, 107\u2013163 (1991)","journal-title":"Artif. Intell.: Crit. Concepts"},{"issue":"1","key":"45_CR17","first-page":"15","volume":"58","author":"C Zieli\u0144ski","year":"2010","unstructured":"Zieli\u0144ski, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Polish Acad. Sci.\u2014Tech. Sci. 58(1), 15\u201328 (2010)","journal-title":"Bull. Polish Acad. Sci.\u2014Tech. Sci."},{"issue":"3\u20134","key":"45_CR18","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/s10846-013-9883-x","volume":"77","author":"T Kornuta","year":"2015","unstructured":"Kornuta, T., Zieli\u0144ski, C.: Robot control system design exemplified by multi-camera visual servoing. J. Intell. Robot. Syst. 77(3\u20134), 499\u2013524 (2015)","journal-title":"J. Intell. Robot. Syst."},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Zieli\u0144ski, C., Kornuta, T., Winiarski, T.: A systematic method of designing control systems for service and field robots. In: 19-th IEEE International Conference on Methods and Models in Automation and Robotics, MMAR\u20192014, pp. 1\u201314. IEEE","DOI":"10.1109\/MMAR.2014.6957317"},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Zieli\u0144ski, C., Kornuta, T.: An object-based robot ontology. In: Advances in Intelligent Systems and Computing (AISC), vol. 323, pp. 3\u201314. Springer (2015)","DOI":"10.1007\/978-3-319-11310-4_1"},{"key":"45_CR21","doi-asserted-by":"crossref","unstructured":"Kornuta, T., Winiarski, T., Zieli\u0144ski, C.: Specification of abstract robot skills in terms of control system behaviours. In: Szewczyk, R., Zieli\u0144ski, C., Kaliczy\u0144ska, M. (eds.) Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Advances in Intelligent Systems and Computing (AISC), vol. 351, pp. 139\u2013152. Springer (2015)","DOI":"10.1007\/978-3-319-15847-1_14"},{"key":"45_CR22","doi-asserted-by":"crossref","unstructured":"Trojanek, P., Kornuta, T., Zieli\u0144ski, C.: Design of asynchronously stimulated robot behaviours. In: Koz\u0142owski, K. (ed.) 9th Workshop on Robot Motion and Control (RoMoCo), vol. 129\u2013134 (2013)","DOI":"10.1109\/RoMoCo.2013.6614597"},{"issue":"3","key":"45_CR23","first-page":"667","volume":"63","author":"M Janiak","year":"2015","unstructured":"Janiak, M., Zieli\u0144ski, C.: Control system architecture for the investigation of motion control algorithms on an example of the mobile platform rex. Bull. Polish Acad. Sci.\u2014Tech. Sci. 63(3), 667\u2013678 (2015)","journal-title":"Bull. Polish Acad. Sci.\u2014Tech. Sci."},{"key":"45_CR24","doi-asserted-by":"crossref","unstructured":"Szlenk, M., Zieli\u0144ski, C., Figat, M., Kornuta, T.: Reconfigurable agent architecture for robots utilising cloud computing. In: Szewczyk, R., Zieli\u0144ski, C., Kaliczy\u0144ska, M. (eds.) Progress in Automation, Robotics and Measuring Techniques. Vol. 2 Robotics. Advances in Intelligent Systems and Computing (AISC), vol. 351, pp. 253\u2013264. Springer (2015)","DOI":"10.1007\/978-3-319-15847-1_25"}],"container-title":["Advances in Intelligent Systems and Computing","Challenges in Automation, Robotics and Measurement Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29357-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T09:00:19Z","timestamp":1748768419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29357-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319293561","9783319293578"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29357-8_45","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}