2010
DOI: 10.1007/978-3-642-15651-9_26
|View full text |Cite
|
Sign up to set email alerts
|

Experiences in Applying Formal Verification in Robotics

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
16
0

Year Published

2011
2011
2023
2023

Publication Types

Select...
4
3
1

Relationship

0
8

Authors

Journals

citations
Cited by 22 publications
(16 citation statements)
references
References 10 publications
0
16
0
Order By: Relevance
“…Other formal methods used for robot verification include the application of quantified differential dynamic logic to prove physical location properties for algorithms controlling a surgical robot [7], the use of hybrid automata and statecharts to model and verify a multi-robot rescue scenario [8] and the application of an interactive theorem prover to specify and verify robot collision avoidance algorithms [17].…”
Section: Related Workmentioning
confidence: 99%
“…Other formal methods used for robot verification include the application of quantified differential dynamic logic to prove physical location properties for algorithms controlling a surgical robot [7], the use of hybrid automata and statecharts to model and verify a multi-robot rescue scenario [8] and the application of an interactive theorem prover to specify and verify robot collision avoidance algorithms [17].…”
Section: Related Workmentioning
confidence: 99%
“…Our method 2 is the 3D generalization of a 2D collision detection algorithm we presented in [14] [15]. There we used comparable techniques to compute dynamic safety zones that depend on the current motion of a vehicle.…”
Section: Related Workmentioning
confidence: 99%
“…These methods of verification are helpful and easy to use but not enough because they cannot satisfy the security requirements in relevant standards such as IEC 61508 [2]. Safety of algorithms is established by the safety requirements, and the conformance of the algorithm designs or implementations with these must be verified [7]. Formal methods are recommended in some standards like IEC 61508 [2].…”
Section: Introductionmentioning
confidence: 99%