R5-COP dokumentumok és publikációk

Közlemények és bemutató anyagok

Szórólapok és projekt áttekintés

Projekt szórólap	Projekt poszter	ARTEMIS Book of Projects

Sajtóközlemények

• Kiváló eredmények átkonfigurálható, kooperatív robotok fejlesztése és ellenőrzése terén
• Átkonfigurálható, kooperatív robotok fejlesztésében vesznek részt a BME kutatói

Megjelenések

• R5-COP Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems.
  In: ARTEMIS Book of Projects, Volume 3, pp 60-66, ARTEMIS Joint Undertaking, June 2014. 
  https://artemis-ia.eu/publication/download/1064-artemis-book-of-projects-vol-3.pdf
• Robots on the rise - One year into the R5-COP project.
  In: ARTEMIS News, ARTEMIS Industry Associaton, 2015. 
  https://artemis-ia.eu/news/robots-on-the-rise-one-year-into-the-r5-cop-project.html
• Kooperatív robotokat fejleszt a VIK MIT.
  Hírek, BME VIK MIT (in Hungarian)
  https://www.vik.bme.hu/hir/910-kooperativ-robotokat-fejleszt-a-vik-mit
• Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems.
  In: The Parliament Magazine, Issue #423, pp 40-41, November 16, 2015,
  https://www.theparliamentmagazine.eu/articles/magazines/issue-423-16-november-2015
• Lots of visibility at ICT2015.
  In: ARTEMIS Newsletter, Nov 03, 2015
  https://artemis-ia.eu/news/lots-of-visability-at-ict2015.html
• ARTEMIS Exhibition Award 2015.
  In: ARTEMIS-IA Co-summit, 10-11 March 2015, Berlin, Germany.
  https://artemis-ia.eu/co-summit-2015/exhibition-award-1.html

Demonstrációs anyagok

iTrolley robot demo (poszter)	MoDeS3 robot demo (video)

Projekt eredmények és publikus projekt jelentések 

Tudományos publikációk

1. Gábor Balassa, Pál Bencze, Tadeusz Dobrowiecki: Error Propagation and Signal Postprocessing in Rocket-based Experiments. 13th IMEKO TC10 Workshop on Technical Diagnostics, Advanced measurement tools in technical diagnostics for systems’ reliability and safety, June 26-27, 2014, Warsaw, Poland
2. Peter Eredics, Tadeusz P. Dobrowiecki: Fault Diagnosis in Intelligent Greenhouse Control with Decomposed Neural Models. 13th IMEKO TC10 Workshop on Technical Diagnostics, Advanced measurement tools in technical diagnostics for systems’ reliability and safety, June 26-27, 2014, Warsaw, Poland
3. Tadeusz P. Dobrowiecki, Johan Schoukens: Reducing the measurement time of the Best Linear Approximation of a Nonlinear System using improved averaging methods. IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 Pisa, Italy, pp. 623-628.
4. László Sujbert and György Orosz: FFT-based Spectrum Analysis in the Case of Data Loss. IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 Pisa, Italy, pp. 800-805.
5. István Engedy, Gábor Horváth: Path Reconstruction based on Gyroscope Bias Estimation using GPS. IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 Pisa, Italy, pp. 1465-1470.
6. Balázs Renczes, István Kollár, P. Carbone, A. Moschitta, Vilmos Pálfi, Tamás Virosztek: Analyzing Numerical Optimization Problems of Finite Resolution Sine Wave Fitting Algorithms. IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 Pisa, Italy, pp. 1662-1667.
7. Péter Györke, Béla Pataki: Energy harvesting wireless sensors for smart home applications. IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015 Pisa, Italy, pp. 881-886.
8. Lajos Cseppentő, Zoltán Micskei: Evaluating Symbolic Execution-based Test Tools. In Proc. of IEEE Int. Conference on Software Testing, Verification and Validation (ICST), Graz, Austria, 13-17 April 2015, pp 1-10, IEEE, 2015. DOI: 10.1109/ICST.2015.7102587
9. Dávid Honfi, András Vörös, Zoltán Micskei: SEViz: A Tool for Visualizing Symbolic Execution. In Proc. of IEEE Int. Conference on Software Testing, Verification and Validation (ICST), Tool Track, Graz, Austria, 13-17 April 2015, pp 1-8, IEEE, 2015. DOI: 10.1109/ICST.2015.7102631
10. Ákos Hajdu, András Vörös, Tamás Bartha: New search strategies for the Petri net CEGAR approach. In: R. Devilles, A. Valmari (Eds.) Application and Theory of Petri Nets and Concurrency (PN 2015), volume 9115 of Lecture Notes in Computer Science, pp. 309-328. Springer, 2015. DOI: 10.1007/978-3-319-19488-2_16.
11. Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha: Saturation-based incremental LTL model checking with inductive proofs. In: C. Baier, C. Tinelli (Eds.) Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), volume 9035 of Lecture Notes in Computer Science, pp. 643-657. Springer, 2015. DOI: 10.1007/978-3-662-46681-0_58
12. Tamás Tóth, András Vörös, István Majzik: A decomposition method for the verification of a real-time safety-critical protocol. In Proc. 7th International Workshop on Software Engineering for Resilient Systems (SERENE 2015), September 7-8, Paris, France. Springer LNCS, pp 31-45, Springer, 2015.
13. Oszkár Semeráth, Ágnes Barta, Zoltán Szatmári, Ákos Horváth, Dániel Varró: Formal Validation of Domain-Specific Languages with Derived Features and Well-Formedness Constraints. Int. Journal on Software and Systems Modeling (SoSym), 2015. Published online: 30 July 2015. DOI 10.1007/s10270-015-0485-x
14. László Sujbert, György Orosz: FFT-Based Spectrum Analysis in the Case of Data Loss, IEEE Transactions on Instrumentation and Measurement, 2016, Volume: 65, Issue: 5, pp. 968-976, DOI: 10.1109/TIM.2015.2508278
15. Csaba F. Hajdu, C. Zamantzas and Tamás Dabóczi (BME): A Resource-Efficient Adaptive Fourier Analyzer, Journal of Instrumentation, Vol. 11, Oct. 2016, pp. 1-14.
16. Tamás Dabóczi: Analysis of the distortion of marker based optical position measurement as a function of exposure time, IEEE Trans. on Instrumentation and Measurement, 2016. Vol. 65, No. 9, pp. 2023-2034, http://dx.doi.org/10.1109/TIM.2016.2566818.
17. Tamás B. Bakó and Tamás Dabóczi: Improved-Speed Parameter Tuning of Deconvolution Algorithm, IEEE Trans. on Instrumentation and Measurement, 2016. July 2016, Vol. 65, No. 7, pp. 1568-1576, http://dx.doi.org/10.1109/TIM.2016.2534668
18. Tapio Heikkilä, Tadeusz. Dobrowiecki (BME), L. Dalgaard: Dealing with Configurability in Robot Systems, MESA 2016, The 12th IEEE/ASME Int. Conf. on Mechatronic and Embedded Systems and Applications, Auckland – New Zealand, August 29-31, 2016.
19. Tamás Mészáros, Tadeusz Dobrowiecki: Agent-based Reconfigurable Natural Language Interface to Robots. In: Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe (szerk.) 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Porto, Portugália, Feb 24-26, 2017, pp. 632-639.
20. Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha and István Majzik: Component-wise incremental LTL model checking. In: Formal Aspects of Computing, Springer Verlag, 2016. Volume 28, Issue 3, pp 345–379, May 2016. ISSN: 0934-5043 (Print) 1433-299X (Online), http://link.springer.com/journal/165/28/3/page/1
21. Oszkár Semeráth, András Vörös, Dániel Varró: Iterative and Incremental Model Generation by Logic Solvers. In Proc. 19th International Conference on Fundamental Approaches to Software Engineering (FASE 2016), April 2016, Eindhoven, The Netherlands.
22. András Vörös, Vince Molnár, István Majzik, Kristóf Marussy, Miklós Telek and Attila Klenik: Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. In Proc. 37th Int. Conf. on Application and Theory of Petri Nets and Concurrency, Torun, Poland, 19-24 June 2016.
23. Tamás Krebesz, Géza Kolumban, C. K. Tse, F. Lau, H. Dong: Use of UWB Impulse Radio Technology in In-Car Communications: Power Limits and Optimization. IEEE Transactions on Vehicular Technolog, Early Access: Volume: PP, Issue: 99, pp. 1-13, 2017.