Alvaro Miyazawa presented our SoSyM paper “Diagrammatic physical robot models” on the Journal First track at MODELS 2025. This work extends RoboSim by introducing a new diagrammatic notation for modelling physical robotic platforms using block diagrams, enabling automatic simulation and mathematical reasoning over complete robotic systems.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
