Petr Novák

Vojtech Svátek

Proceedings of the ISWC 2021 Posters, 2021

Simulation Environment for Neural Network Dataset Generation.

[BibT_eX]

[DOI]

Proceedings of the Modelling and Simulation for Autonomous Systems, 2021

Product-Process-Resource Asset Networks as Foundation for Improving CPPS Engineering.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Big Data Needs and Challenges in Smart Manufacturing: An Industry-Academia Survey.

[BibT_eX]

[DOI]

Dietmar Winkler

Alexander Korobeinykov

Adwoa Yeboaa Owusu Yeboah

Arndt Lüder

Stefan Biffl

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

PyAML: Enhancing AutomationML for Advanced Virtualization of Industry 4.0 Cyber-Physical Production Systems with Python Code Injections.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Industry 4.0 Asset-based Risk Mitigation for Production Operation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Improved Pose Estimation of Aruco Tags Using a Novel 3D Placement Strategy.

[BibT_eX]

[DOI]

Sensors, 2020

Value Creation Through Social Media Marketing: A Threat to Sustainability Performance?

[BibT_eX]

[DOI]

Michael Adu Kwarteng

Proceedings of the Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation, 2020

Calibrating Industrial Robots with Absolute Position Tracking System.

[BibT_eX]

[DOI]

Simon Stoszek

Jirí Vyskocil

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2019

Threat of Pollution Hotspots Reworking in River Systems: Case Study of the Ploučnice River (Czech Republic).

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2019

Towards Model-driven Verification of Robot Control Code using Abstract Syntax Trees in Production Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Production Planning with IEC 62264 and PDDL.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Plan Executor MES: Manufacturing Execution System Combined with a Planner for Industry 4.0 Production Systems.

[BibT_eX]

[DOI]

Jirí Vyskocil

Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2019

Engineering Roles and Information Modeling for Industry 4.0 Production System Engineering.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Efficient and Flexible Test Automation in Production Systems Engineering.

[BibT_eX]

[DOI]

Dietmar Winkler

Kristof Meixner

Proceedings of the Security and Quality in Cyber-Physical Systems Engineering, 2019

2018

Classification of Hydrometeors Using Measurements of the Ka-Band Cloud Radar Installed at the Milešovka Mountain (Central Europe).

[BibT_eX]

[DOI]

Zbynek Sokol

Jana Minárová

Remote. Sens., 2018

Interaction with Collaborative Robot Using 2D and TOF Camera.

[BibT_eX]

[DOI]

Ales Vysocký

Robert Pastor

Proceedings of the Modelling and Simulation for Autonomous Systems, 2018

A Study on Direct Teleoperation Device Kinematics.

[BibT_eX]

[DOI]

Robert Pastor

Ales Vysocký

Proceedings of the Modelling and Simulation for Autonomous Systems, 2018

2017

Performance Modeling Extension of Directory Facilitator for Enhancing Communication in FIPA-Compliant Multiagent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Application of Augmented Reality in Mobile Robot Teleoperation.

[BibT_eX]

[DOI]

Tomás Kot

Ján Babjak

Proceedings of the Modelling and Simulation for Autonomous Systems, 2017

Mobile Robot Failure Prevention by Real-Time Thermal Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Modelling and Simulation for Autonomous Systems, 2017

A System Based on Intelligent Documents - A Case Study.

[BibT_eX]

[DOI]

Jaroslav Král

Michal Zemlicka

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Slicing Simulation Models into Co-simulations.

[BibT_eX]

[DOI]

Manuel Wimmer

Proceedings of the Industrial Applications of Holonic and Multi-Agent Systems, 2017

Cardinality-based variability modeling with AutomationML.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Model-based engineering and virtual commissioning of cyber-physical manufacturing systems - Transportation system case study.

[BibT_eX]

[DOI]

Manuel Wimmer

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Agent-Based Modeling and Simulation of Hybrid Cyber-Physical Systems.

[BibT_eX]

[DOI]

Manuel Wimmer

Proceedings of the 3rd IEEE International Conference on Cybernetics, 2017

2016

The Design of 3D Laser Range Finder for Robot Navigation and Mapping in Industrial Environment with Point Clouds Preprocessing.

[BibT_eX]

[DOI]

Proceedings of the Modelling and Simulation for Autonomous Systems, 2016

Rendering of 3D Maps with Additional Information for Operator of a Coal Mine Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the Modelling and Simulation for Autonomous Systems, 2016

Ontology-Based Simulation Design and Integration.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web Technologies for Intelligent Engineering Applications, 2016

Semantic Modelling and Acquisition of Engineering Knowledge.

[BibT_eX]

[DOI]

Marta Sabou

Olga Kovalenko

Proceedings of the Semantic Web Technologies for Intelligent Engineering Applications, 2016

2015

Engineering of Coupled Simulation Models for Mechatronic Systems.

[BibT_eX]

[DOI]

Proceedings of the Service Orientation in Holonic and Multi-agent Manufacturing, 2015

Integrating heterogeneous engineering knowledge and tools for efficient industrial simulation model support.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2015

Exploration Mobile Robot for Coal Mines.

[BibT_eX]

[DOI]

Proceedings of the Modelling and Simulation for Autonomous Systems, 2015

Virtual Operator Station for Teleoperated Mobile Robots.

[BibT_eX]

[DOI]

Tomás Kot

Ján Babjak

Proceedings of the Modelling and Simulation for Autonomous Systems, 2015

Runtime integration of industrial automation system tools based on engineering service bus.

[BibT_eX]

[DOI]

Richard Mordinyi

Proceedings of the IEEE International Conference on Industrial Technology, 2015

Automatic compilation of performance models for industrial Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Integration framework for simulations and SCADA systems.

[BibT_eX]

[DOI]

Richard Mordinyi

Simul. Model. Pract. Theory, 2014

Simulation System for Teleoperated Mobile Robots.

[BibT_eX]

[DOI]

Tomás Kot

Václav Krys

Proceedings of the Modelling and Simulation for Autonomous Systems, 2014

Student projects in assistive technologies.

[BibT_eX]

[DOI]

Proceedings of the 2014 Information Technology Based Higher Education and Training, 2014

Reduction of acoustic model training time and required data passes via stochastic approaches to maximum likelihood and discriminative training.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Acoustics, 2014

Big data analysis for sensor time-series in automation.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces.

[BibT_eX]

[DOI]

Martin Melik-Merkumians

Proceedings of the Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, 2013

Goodness-of-fit test for the Accelerated Failure Time model based on martingale residuals.

[BibT_eX]

[DOI]

Kybernetika, 2013

RepeatExplorer: a Galaxy-based web server for genome-wide characterization of eukaryotic repetitive elements from next-generation sequence reads.

[BibT_eX]

[DOI]

Bioinform., 2013

Ontology-based industrial plant description supporting simulation model design and maintenance.

[BibT_eX]

[DOI]

Proceedings of the IECON 2013, 2013

Architecture of a multi-agent system for SCADA level in smart distributed environments.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Simulation integration framework.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Semantic design and integration of simulation models in the industrial automation area.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Design and verification of simulation models of passive houses.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Applications of Ontologies for Assembling Simulation Models of Industrial Systems.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

New Methods of Flash Flood Forecasting in the Czech Republic.

[BibT_eX]

[DOI]

Proceedings of the Environmental Software Systems. Frameworks of eEnvironment, 2011

Making Deep Belief Networks effective for large vocabulary continuous speech recognition.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Workshop on Automatic Speech Recognition & Understanding, 2011

2010

Graph-based clustering and characterization of repetitive sequences in next-generation sequencing data.

[BibT_eX]

[DOI]

Pavel Neumann

Jirí Macas

BMC Bioinform., 2010

Global sequence characterization of rice centromeric satellite based on oligomer frequency analysis in large-scale sequencing data.

[BibT_eX]

[DOI]

Bioinform., 2010

2009

Hands-free interaction with a computer and other technologies.

[BibT_eX]

[DOI]

Univers. Access Inf. Soc., 2009

2008

EasyControl - Universal Control System.

[BibT_eX]

[DOI]

Marcela Fejtová

Olga Stepánková

Proceedings of the Computers Helping People with Special Needs, 2008

2005

Simulation of Underwater Surveillance by a Team of Autonomous Robots.

[BibT_eX]

[DOI]

Milan Rollo

Pavel Jisl

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2005

Strategies for Distributed Underwater Survey.

[BibT_eX]

[DOI]

Milan Rollo

Pavel Jisl

Proceedings of the Multi-Agent Systems and Applications IV, 2005

2004

Alarm Root Cause Detection System.

[BibT_eX]

[DOI]

Proceedings of the Emerging Solutions for Future Manufacturing Systems, 2004

2003

Agent Exchange - Virtual Trading Environment.

[BibT_eX]

[DOI]

Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2003

Communication Security in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

2000

Reflective Simulation with Simula and Java.

[BibT_eX]