Formal specification and simulation of the robot perceptual system

M. Yassine Belkhouche; Boumediene Belkhouche

doi:10.1007/978-1-4020-8737-0_25

Formal specification and simulation of the robot perceptual system

M. Yassine Belkhouche, Boumediene Belkhouche

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
Pages	140-143
Number of pages	4
DOIs	https://doi.org/10.1007/978-1-4020-8737-0_25
Publication status	Published - Dec 1 2008
Event	2007 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 2007 → Dec 12 2007

Publication series

Name	Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

Other

Other	2007 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
Period	12/3/07 → 12/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

Access to Document

10.1007/978-1-4020-8737-0_25

Cite this

Formal specification and simulation of the robot perceptual system. / Belkhouche, M. Yassine; Belkhouche, Boumediene.
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics. 2008. p. 140-143 (Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Belkhouche, MY & Belkhouche, B 2008, Formal specification and simulation of the robot perceptual system. in Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics. Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics, pp. 140-143, 2007 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, 12/3/07. https://doi.org/10.1007/978-1-4020-8737-0_25

@inproceedings{320ebf3b0247456b8962bbdda60ea459,

title = "Formal specification and simulation of the robot perceptual system",

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.",

keywords = "Communication processes, Formal specification, Hybrid automata, Hybrid process algebras",

author = "Belkhouche, {M. Yassine} and Boumediene Belkhouche",

year = "2008",

month = dec,

day = "1",

doi = "10.1007/978-1-4020-8737-0_25",

language = "English",

isbn = "9781402087363",

series = "Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics",

pages = "140--143",

booktitle = "Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics",

note = "2007 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 ; Conference date: 03-12-2007 Through 12-12-2007",

}

TY - GEN

T1 - Formal specification and simulation of the robot perceptual system

AU - Belkhouche, M. Yassine

AU - Belkhouche, Boumediene

PY - 2008/12/1

Y1 - 2008/12/1

N2 - 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.

AB - 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.

KW - Communication processes

KW - Formal specification

KW - Hybrid automata

KW - Hybrid process algebras

UR - http://www.scopus.com/inward/record.url?scp=84878608057&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84878608057&partnerID=8YFLogxK

U2 - 10.1007/978-1-4020-8737-0_25

DO - 10.1007/978-1-4020-8737-0_25

M3 - Conference contribution

AN - SCOPUS:84878608057

SN - 9781402087363

T3 - Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

SP - 140

EP - 143

BT - Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

T2 - 2007 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

Y2 - 3 December 2007 through 12 December 2007

ER -

Formal specification and simulation of the robot perceptual system

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this