{"id":491,"date":"2019-03-13T10:20:34","date_gmt":"2019-03-13T10:20:34","guid":{"rendered":"http:\/\/pages.di.unipi.it\/datamod\/?page_id=491"},"modified":"2019-03-13T10:33:27","modified_gmt":"2019-03-13T10:33:27","slug":"ana-cavalcanti","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/datamod\/ana-cavalcanti\/","title":{"rendered":"Ana Cavalcanti"},"content":{"rendered":"\n

Diagrammatic physical robot models in RoboSim<\/h3>\n\n\n\n

Abstract:<\/strong> Simulation is a favoured technique for analysis of robotic systems. Lack of standardisation and portability between simulators, however, has impact on usability and cost of simulations. We present RoboSim, a diagrammatic tool-independent domain-specific language to model robotic platforms and their controllers. It can be regarded as a profile of UML\/SysML enriched with time primitives, differential equations, and a formal process algebraic semantics. In RoboSim, a robotic platform is specified by a block diagram, which can be linked to a data model to characterise how events, variables, and operations of the software controller map to inputs and outputs of sensors and actuators. The behaviours of inputs, outputs, and joints are specified by systems of differential algebraic equations. Simulations and mathematical models for proof can be generated automatically from RoboSim models.<\/p>\n\n\n\n

\"\"<\/figure><\/div>\n\n\n\n

Short Bio:<\/strong> Ana \nCavalcanti is Professor of Software Verification at York and Royal \nAcademy of Engineering Chair in Emerging Technologies working on \n“Software Engineering for Robotics: modelling, validation, simulation, \nand testing'”. She held a Royal Society-Wolfson Research Merit Award and\n a Royal Society Industry Fellowship to work with QinetiQ in avionics. \nShe has chaired the Programme Committee of various well-established \ninternational conference, is on the editorial board of four \ninternational journals, and is Chair of the board of the Formal Methods \nEurope Association. She is, and has been, PI on several large research \ngrants. Her current research is on theory and practice of verification \nand testing for robotics.<\/p>\n\n\n\n


<\/p>\n","protected":false},"excerpt":{"rendered":"

Diagrammatic physical robot models in RoboSim Abstract: Simulation is a favoured technique for analysis of robotic systems. Lack of standardisation and portability between simulators, however, has impact on usability and cost of simulations. We present RoboSim, a diagrammatic tool-independent domain-specific language to model robotic platforms and their controllers. It can be regarded as a profile […]<\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-491","page","type-page","status-publish","hentry","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/491","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/comments?post=491"}],"version-history":[{"count":8,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/491\/revisions"}],"predecessor-version":[{"id":504,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/491\/revisions\/504"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/media?parent=491"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}