R5-COP documents

Public news and demonstration material

Leaflet, poster and project overview

Project leaflet Project poster ARTEMIS Book of Projects

Public media

Demonstration material

iTrolley warehouse robot demo (poster) MoDeS3 robot demo (video)

Project results and public deliverables 

Workpackage Deliverables

WP12: Seamless interfacing

WP13: Dealing with configurability
  • D13.12: Skill Model (final)

WP22: Environment sensors
  • D22.12: Sensor system description; system specification

WP24: Console-based human/machine interface
  • D24.30: Experimental interface components

WP25: Perception and localization
  • D25.22 Robust perception components

WP26: Reasoning and adaptation

WP32: Fault and reliability analysis
  • D32.32: Design and conflict analysis (final)

WP34: On-line verification and incremental behavior testing

WP35: Design and development tools
  • D35.20: Tool Design
  • D35.40: Configuration/Skill Composer Tool and Evaluation

WP93: Dissemination and exploitation

 

Scientific publications

  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.

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login