Formal specification and simulation of the robot perceptual system

M. Yassine Belkhouche, Boumediene Belkhouche

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    We use hybrid specification methods to capture the behavior of the perceptual system of autonomous mobile robots. A robot is divided into three main subsystems: the perceptual subsystem, the planning subsystem, and the acting subsystem. The perceptual system is itself decomposed into subsystems. We elaborate a formal description of these subsystems, and we model the communication protocol among them. A software simulation is developed to illustrate the behavior of the proposed design. The resulting model allows developers to test, verify, and simulate autonomous robot systems.

    Original languageEnglish
    Title of host publicationNovel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
    Pages140-143
    Number of pages4
    DOIs
    Publication statusPublished - 2008
    Event2007 Int. Conf. on Telecommunications and Networking, TeNe 2007, 2007 Int. Conf. on Industrial Electronics, Technology and Automation, IETA 2007, Part of the Int. Jt. Conf. on Computer, Information, and Systems Sciences, and Engineering, CISSE 2007 -
    Duration: Dec 3 2007Dec 12 2007

    Publication series

    NameNovel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

    Other

    Other2007 Int. Conf. on Telecommunications and Networking, TeNe 2007, 2007 Int. Conf. on Industrial Electronics, Technology and Automation, IETA 2007, Part of the Int. Jt. Conf. on Computer, Information, and Systems Sciences, and Engineering, CISSE 2007
    Period12/3/0712/12/07

    Keywords

    • Communication processes
    • Formal specification
    • Hybrid automata
    • Hybrid process algebras

    ASJC Scopus subject areas

    • Computer Networks and Communications
    • Modelling and Simulation
    • Electrical and Electronic Engineering

    Fingerprint

    Dive into the research topics of 'Formal specification and simulation of the robot perceptual system'. Together they form a unique fingerprint.

    Cite this