Radek Sindelár

Orcid: 0000-0001-9599-2767

Affiliations:
  • Johannes Kepler University Linz, Austria


According to our database1, Radek Sindelár authored at least 18 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Towards Reactive Planning with Digital Twins and Model-Driven Optimization.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021
Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 2021

2019
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.
IEEE Robotics Autom. Lett., 2019

Production Planning with IEC 62264 and PDDL.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

2017
Cardinality-based variability modeling with AutomationML.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Ontology-Based Simulation Design and Integration.
Proceedings of the Semantic Web Technologies for Intelligent Engineering Applications, 2016

2015
Integrating heterogeneous engineering knowledge and tools for efficient industrial simulation model support.
Adv. Eng. Informatics, 2015

2014
Integration framework for simulations and SCADA systems.
Simul. Model. Pract. Theory, 2014

2013
Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces.
Proceedings of the Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, 2013

Ontology-based industrial plant description supporting simulation model design and maintenance.
Proceedings of the IECON 2013, 2013

Architecture of a multi-agent system for SCADA level in smart distributed environments.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Simulation integration framework.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Semantic design and integration of simulation models in the industrial automation area.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Design and verification of simulation models of passive houses.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Applications of Ontologies for Assembling Simulation Models of Industrial Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

2010
Clustering Methods for Agent Distribution Optimization.
IEEE Trans. Syst. Man Cybern. Part C, 2010

2007
Methods to Observe the Clustering of Agents Within a Multi-Agent System.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007

2004
Input selection for nonlinear regression models.
IEEE Trans. Fuzzy Syst., 2004


  Loading...