Name
Abstract | ||
|---|---|---|
Robotic systems have applications in many real-life scenarios, ranging from household cleaning to critical operations. RoboChart is a graphical language for describing robotic controllers designed specifically for autonomous and mobile robots, providing architectural constructs to identify the requirements for a robotic platform. It also provides a formal semantics in CSP. RoboChart has a probabilistic operator ( Open image in new window ) but no associated probabilistic CSP semantics. When Open image in new window is used, currently a non-deterministic choice ( Open image in new window ) is used as semantics; this is a conservative semantics but it does not allow the analysis of stochastic properties. In this paper we define the semantics of the operator Open image in new window in terms of the probabilistic CSP operator (boxplus ). We also show how this augmented CSP semantics for RoboChart can be translated into the PRISM probabilistic language to be able to check stochastic properties. |
Year | Venue | Field |
|---|---|---|
2018 | SBMF | Robotic systems,Programming language,Graphical language,Computer science,Theoretical computer science,Probabilistic analysis of algorithms,Ranging,Operator (computer programming),Probabilistic logic,Mobile robot,Semantics |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
13 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| M. S. Conserva Filho | 1 | 0 | 0.34 |
| R. Marinho | 2 | 0 | 0.34 |
| Alexandre Mota | 3 | 72 | 11.09 |
| J. C. P. Woodcock | 4 | 519 | 53.82 |