From formalised state machines to implementation of robotic controllers

Wei Li; Alvaro Heiji Miyazawa; Pedro Fernando De Oliveira Salazar Ribeiro; Ana Lucia Caneca Cavalcanti; JAMES Charles Paul Woodcock; Jonathan Ian Timmis

From formalised state machines to implementation of robotic controllers

Wei Li, Alvaro Heiji Miyazawa, Pedro Fernando De Oliveira Salazar Ribeiro, Ana Lucia Caneca Cavalcanti, JAMES Charles Paul Woodcock, Jonathan Ian Timmis

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

Original language	English
Title of host publication	13th International Conference on Distributed Autonomous Robotic Systems
Place of Publication	London, UK
Publisher	Springer
Number of pages	14
Publication status	E-pub ahead of print - Sept 2016
Event	Distributed Autonomous Robotic Systems - London, United Kingdom Duration: 7 Nov 2016 → 9 Nov 2016

Publication series

Name	Springer Tracts in Advanced Robotics
Publisher	Springer-Verlag

Conference

Conference	Distributed Autonomous Robotic Systems
Country/Territory	United Kingdom
City	London
Period	7/11/16 → 9/11/16

A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. L. C. (Principal investigator), Timmis, J. (Co-investigator), Woodcock, J. (Co-investigator), Foster, S. D. (Researcher), Li, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research

Cite this

@inproceedings{55d935bae62d4347aa31f39d9340c438,

title = "From formalised state machines to implementation of robotic controllers",

author = "Wei Li and Miyazawa, {Alvaro Heiji} and {De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Cavalcanti, {Ana Lucia Caneca} and Woodcock, {JAMES Charles Paul} and Timmis, {Jonathan Ian}",

year = "2016",

month = sep,

language = "English",

series = "Springer Tracts in Advanced Robotics",

publisher = "Springer",

booktitle = "13th International Conference on Distributed Autonomous Robotic Systems",

address = "Germany",

note = "Distributed Autonomous Robotic Systems ; Conference date: 07-11-2016 Through 09-11-2016",

}

Li, W , Miyazawa, AH , De Oliveira Salazar Ribeiro, PF , Cavalcanti, ALC , Woodcock, JAMESCP & Timmis, JI 2016, From formalised state machines to implementation of robotic controllers. in 13th International Conference on Distributed Autonomous Robotic Systems. Springer Tracts in Advanced Robotics, Springer, London, UK, Distributed Autonomous Robotic Systems, London, United Kingdom, 7/11/16.

From formalised state machines to implementation of robotic controllers. / Li, Wei ; Miyazawa, Alvaro Heiji ; De Oliveira Salazar Ribeiro, Pedro Fernando et al.
13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer, 2016. (Springer Tracts in Advanced Robotics).

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

TY - GEN

T1 - From formalised state machines to implementation of robotic controllers

AU - Li, Wei

AU - Miyazawa, Alvaro Heiji

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Cavalcanti, Ana Lucia Caneca

AU - Woodcock, JAMES Charles Paul

AU - Timmis, Jonathan Ian

PY - 2016/9

Y1 - 2016/9

M3 - Conference contribution

T3 - Springer Tracts in Advanced Robotics

BT - 13th International Conference on Distributed Autonomous Robotic Systems

PB - Springer

CY - London, UK

T2 - Distributed Autonomous Robotic Systems

Y2 - 7 November 2016 through 9 November 2016

ER -

From formalised state machines to implementation of robotic controllers

Publication series

Conference

Projects

A Calculus for Software Engineering of Mobile and Autonomous Robots

Cite this