Incorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots

Simple item page
dc.contributor.authorÖzbaltan M.
dc.contributor.authorÇaşka S.
dc.date.accessioned2024-07-22T08:01:20Z
dc.date.available2024-07-22T08:01:20Z
dc.date.issued2024
dc.description.abstractWe introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This framework involves symbolically representing the behaviors of robotic systems along with their control objectives using synchronous programming techniques. We employed DCS algorithms through the reactive synchronous environment ReaX to generate controllers that fulfill specified objectives. These resulting controllers were subsequently deployed on the virtual robot experimental platform Simscape. To demonstrate and validate our approach, we provide an implementation example involving collaborative UAV robots. © 2024 by the authors.
dc.identifier.DOI-ID10.3390/drones8050206
dc.identifier.issn2504446X
dc.identifier.urihttp://akademikarsiv.cbu.edu.tr:4000/handle/123456789/11396
dc.language.isoEnglish
dc.publisherMultidisciplinary Digital Publishing Institute (MDPI)
dc.rightsAll Open Access; Gold Open Access
dc.titleIncorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots
dc.typeArticle

Files

Collections

Scopus Koleksiyonu