2010 12th Biennial Baltic Electronics Conference 2010
DOI: 10.1109/bec.2010.5631008
|View full text |Cite
|
Sign up to set email alerts
|

Timed Automata based provably correct robot control

Abstract: This paper presents a feasibility study on the usage of Uppaal Timed Automata (UPTA) for deliberative level robotic control. The study is based on the Scrub Nurse Robot case-study. Our experience confirms that UPTA model based control enables the control loop to be defined and maintained during the robot operation autonomously with minimum human intervention. Specifically, in our robot architecture the control model is constructed automatically using unsupervised learning. Correctness of the model is verified … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2015
2015
2018
2018

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 12 publications
0
2
0
Order By: Relevance
“…Thus, the I/O conformance of the behavior of the IUT is observed by TRON. The feasibility of applying TRON for testing is shown in some practical case studies [13]- [15].…”
Section: B Dtronmentioning
confidence: 99%
“…Thus, the I/O conformance of the behavior of the IUT is observed by TRON. The feasibility of applying TRON for testing is shown in some practical case studies [13]- [15].…”
Section: B Dtronmentioning
confidence: 99%
“…The hybrid online MBT platform consists of four main components, the SUT model, the MBT tool UPPAAL-TRON, the microscopic railway simulator, and the adapter. The SUT model is written in the format of Timed Automata [32,33] by UPPAAL, which is a modelling and verification tool based on the TA theory and it is the engine of UPPAAL-TRON. Discrete SUT behaviour is written in the model based on the specification requirement which is provided by the SUT manufacturer.…”
Section: ) Hybrid Online Mbt Testing Platformmentioning
confidence: 99%