ResearchSpace
→
Browsing by Author

Browsing by Author "Seotsanyana, M"

Now showing items 1-4 of 4

Temporal logic motion planning

Author: Seotsanyana, M Date: Jan 2010 In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, ... Read more
Temporal logic motion planning in robotics

Author: Seotsanyana, M Date: Aug 2012 Robotic computer systems have become increasingly ubiquitous in everyday life and this has led to a need to develop safe and reliable robot systems. Read more
Temporal logic runtime verification of dynamic systems

Author: Seotsanyana, M Date: Jul 2010 Robotic computer systems are increasingly ubiquitous in everyday life and this has led to a need to develop safe and reliable systems. To ensure safety and reliability of these systems, the following three main verification techniques are ... Read more
Verifying therapy safety interlock system with spin

Author: Seotsanyana, M ; Geldenhuys, J Date: Nov 2009 The ever-increasing reliance of society on computers has led to a need for highly reliable systems. Computer systems perform critical functions in a number of areas ranging from online transaction processing (such as banking systems) to ... Read more

Now showing items 1-4 of 4

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Author "Seotsanyana, M"

Browsing by Author "Seotsanyana, M"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect