Scientific publications

June 2016 Combining Task and Motion Planning for Intersection Assistance Systems Chao Chen , Markus Rickert and Alois Knoll In Proceedings of the IEEE Intelligent Vehicles Symposium, pages 1242–1247, Gothenburg, Sweden, June 2016. Details DOI BIB

June 2016 On Cognitive Robot Woodworking in SMErobotics Mathias Haage , Stefan Profanter , Ingmar Kessler , Alexander Perzylo , Nikhil Somani , Olof Sörnmo , Martin Karlsson , Sven Gestegård Robertz , Klas Nilsson , Ludovic Resch and Michael Marti In Proceedings of the International Symposium on Robotics (ISR), Munich, Germany, June 2016. Details URL BIB

April 2016 Industrieroboter für KMU: Flexible und intuitive Prozessbeschreibung Markus Rickert and Alexander Perzylo Industrie Management, 32(2):46–49, April 2016. Details URL BIB

April 2016 Schedule synthesis for multi-period SW components Sebastian Voss , Johannes Eder and Bernhard Schätz In SAE 2016 World Congress and Exhibition, April 2016. SAE International. Details DOI BIB

April 2016 Towards Trusted Apps platforms for open CPS Christian Prehofer , Oliver Horst , Riccardo Dodi , Arjan Geven , George Kornaros , Eleonora Montanari and Michele Paolino In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pages 23–28, April 2016. Details DOI BIB

January 2016 A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems Klaus Becker and Sebastian Voss In 4th Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), Paris, France, January 2016. Details DOI BIB

January 2016 Factory Product Lines: Tackling the Compatibility Problem Andreas Bayha , Levi Lúcio , Vincent Aravantinos , Kenji Miyamoto and Georgeta Igna In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), January 2016. ACM. Details DOI BIB

January 2016 Pareto-efficient deployment synthesis for safety-critical applications in seamless model-based development Sergey Zverlov , Maged Khalil and Mayank Chaudhary In Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), January 2016. Details URL BIB

2016 A Model Based Engineering Tool for ROS Component Compositioning, Configuration and Generation of Deployment Information Monika Wenger , Waldemar Eisenmenger , Georg Neugschwandtner , Ben Schneider and Alois Zoitl In 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016. Details BIB

2016 iEMG: Imaging Electromyography Holger Urbanek and Patrick van der Smagt Journal of Electromyography and Kinesiology, 27():1–9, 2016. Details DOI BIB

2016 Tactical Cooperative Planning for Autonomous Vehicles using MCTS David Lenz , Tobias Kessler and Alois Knoll In IEEE Intelligent Vehicles Symposium, 2016. Details BIB

2016 A Compositional Approach to the Verification of Hybrid Systems Lacramioara Astefanoaei , Saddek Bensalem and Marius Bozga In Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pages 88–103, 2016. Details URL DOI BIB

2016 A Differentiable Transition Between Additive and Multiplicative Neurons Wiebke Koepp , Patrick van der Smagt and Sebastian Urban In International Conference on Learning Representations (ICLR), 2016. Details URL BIB

2016 A human in the loop corrective maintenance methodology using cross domain engineering data of mechatronic systems Milan Vathoopan , Benjamin Brandenbourger and Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, pages 1–4, 2016. IEEE, Details BIB

2016 A Lightweight Design Space Exploration and Optimization Language Alexander Diewald , Sebastian Voss and Simon Barner In Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems (SCOPES '16), pages 190–193, New York, NY, USA, 2016. ACM. Details DOI BIB

2016 A Parameter Estimator for a Model Based Adaptive Control Scheme for Longitudinal Control of Automated Vehicles Martin Buechel and Alois Knoll pages 181-186, 2016. IFAC-PapersOnLine. Details BIB

2016 Behavior modeling of automation components using cross-domain interdependencies Benjamin Brandenbourger , Milan Vathoopan and Alois Zoitl In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on, pages 1–4, 2016. IEEE, Details BIB

2016 Certification for u-Calculus with Winning Strategies Martin Hofmann , Christian Neukirchen and Harald Rueß In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pages 111–128, 2016. Details URL DOI BIB

2016 Compositional Parameter Synthesis Lacramioara Astefanoaei , Marius Bozga , Saddek Bensalem , Chih-Hong Cheng and Harald Rueß In FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pages 60–68, 2016. Details DOI BIB

2016 Deep Variational Bayes Filters: Unsupervised Learning of State Space Models from Raw Data Maximilian Karl , Maximilian Sölch , Justin Bayer and Patrick van der Smagt arxiv, ():, 2016. Details URL BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo