ParaDiSe Seminar
The ParaDiSe Seminar is a working forum for the presentation of ongoing and finished research in the areas related to the specification, modelling, analysis, and verification of software systems.
The meetings are held on Thursday at the Faculty of Informatics, Masaryk University, starting at 12:00.
Seminar Programme — Autumn 2020
This semester we will present selected papers related to topics researched in the laboratory. The talks should be prepared so that they take at most one hour with all the questions (so prepare a 30 minutes talk and count on a lot of questions, it the worst case we will end early).
You can choose one of the following papers:
- An Optimal Planning Framework to Deploy Self-Reconfigurable Modular Robots
- Roombots extended: Challenges in the next generation of self-reconfigurable modular robots and their application in adaptive and assistive furniture
- Distributed, Dynamic, and Autonomous Reconfiguration Planning for Chain-Type Self-Reconfigurable Robots
- Self-Reconfigurable Modular Robots Adaptively Transforming a Mechanical Structure: Algorithm for Adaptive Transformation to Load Condition
- A Near-Optimal Dynamic Power Sharing Scheme for Self-Reconfigurable Modular Robots
- Generalized Programming of Modular Robots through Kinematic Configurations
- Comparison of A* and RRT-Connect Motion Planning Techniques for Self-Reconfiguration Planning
- DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots
- A distributed and morphology-independent strategy for adaptive locomotion in self-reconfigurable modular robots
Schedule
-
October 5, 2020
Intro
-
October 26, 2020
Comparison of A and RRT-Connect Motion Planning Techniques for Self-Reconfiguration Planning
(Jan Mrázek) -
November 9, 2020
DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots
(Ondřej Svoboda) -
November 16, 2020
A Near-Optimal Dynamic Power Sharing Scheme for Self-Reconfigurable Modular Robots
(Vladimír Chlup) -
November 23, 2020
Roombots extended: Challenges in the next generation of self-reconfigurable modular robots and their application in adaptive and assistive furniture
(Markéta Naušová) -
November 30, 2020
Generalized Programming of Modular Robots through Kinematic Configurations
(Patrick Ondika) -
December 14, 2020
Distributed, Dynamic, and Autonomous Reconfiguration Planning for Chain-Type Self-Reconfigurable Robots
(Jaroslav Bendik)