RoboTIC@ - Information and communication technology for robotics and applications
The main objective of RoboTIC@ is to create a systematic and rigorous methodology to specify, verify, design and implement robotic applications.
Funding: National Institute of Science and Technology (INES)
RoboTIC@ is closely connected with the RoboCalc project. The focus is on the design of a graphical simulation language, RoboSim, and mapping models in RoboSim to several target platforms: Arduino, B and Simulink/Stateflow, among others. Development of the final implementations from the simulations is also in scope. Finally, we will also consider probabilistic models, modelling of the environment and the development of real-world applications.