Probabilistic Analysis Applied to Cleaning Robots

Araujo, Rafael Pereira de; Mota, Alexandre; Nogueira, Sidney C.

doi:10.1109/iri.2017.61

“…Suitable verification, validation, and analysis techniques Cleaning robots are often adopted as simple and affordable examples to show the features and potential of different programming languages, tools, and even verification and validation techniques [61]. Recently, four of the latest premium robot vacuum cleaners were analyzed and compared by IoT experts according to security and privacy issues [16], but no formal techniques were used there.…”

Section: Simple Case: Robot Vacuum Cleanermentioning

confidence: 99%

Towards a framework for certification of reliable autonomous systems

Fisher

¹

,

Mascardi

²

,

Rozier

³

et al. 2020

Auton Agent Multi-Agent Syst

View full text Add to dashboard Cite

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.

show abstract

“…Amount of available regulation (for autonomous aspects): With respect to available regulation, there are just the general laws governing the use of electric equipment, batteries, etc. Suitable verification, validation, and analysis techniques: Cleaning robots are often adopted as simple and affordable examples to show the features and potential of different programming languages, tools, and even verification and validation techniques [55]. Recently, four of the latest premium robot vacuum cleaners were analyzed and compared by IoT experts according to security and privacy issues [16], but no formal techniques were used there.…”

Section: Simple Case: Robot Vacuum Cleanermentioning

confidence: 99%

Towards a Framework for Certification of Reliable Autonomous Systems

Fisher¹,

Mascardi²,

Rozier³

et al. 2020

Preprint

View full text Add to dashboard Cite

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.

show abstract

Towards a framework for certification of reliable autonomous systems

Fisher

¹

,

Mascardi

²

,

Rozier

³

et al. 2020

Preprint

View full text Add to dashboard Cite

A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point where they are beginning to touch much of everyday life. However, regulators grapple with how to deal with autonomous systems, for example how could we certify an Unmanned Aerial System for autonomous use in civilian airspace? We here analyse what is needed in order to provide verified reliable behaviour of an autonomous system, analyse what can be done as the state-of-the-art in automated verification, and propose a roadmap towards developing regulatory guidelines, including articulating challenges to researchers, to engineers, and to regulators. Case studies in seven distinct domains illustrate the article.

show abstract

Probabilistic Analysis Applied to Cleaning Robots

Cited by 3 publications

References 6 publications

Towards a framework for certification of reliable autonomous systems

Towards a framework for certification of reliable autonomous systems

Towards a Framework for Certification of Reliable Autonomous Systems

Towards a framework for certification of reliable autonomous systems

Contact Info

Product

Resources

About