Difference between revisions of "History"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
=== History of Autonomous systems === | === History of Autonomous systems === | ||
According to common knowledge and history records, the two first autonomous robots designed and implemented are the following: | |||
Shakey robot [https://ieeemilestones.ethw.org/Milestones:Shakey:_The_World%E2%80%99s_First_Mobile,_Intelligent_Robot,_1972] | * Tortoises by Grey Walters in the 1940s [https://spectrum.ieee.org/meet-roombas-ancestor-cybernetic-tortoise] [https://www.youtube.com/watch?time_continue=1&v=lLULRlmXkKo&feature=emb_logo] | ||
* Shakey the robot between 1966 and 1972 [https://ieeemilestones.ethw.org/Milestones:Shakey:_The_World%E2%80%99s_First_Mobile,_Intelligent_Robot,_1972] | |||
=== Prior Work in Related Fields === | === Prior Work in Related Fields === | ||
| Line 26: | Line 28: | ||
<Text about maturation, current state, pointer to roadmap?> | <Text about maturation, current state, pointer to roadmap?> | ||
A few publications that define the use of verification tools and techniques for autonomous systems are the following: | |||
* Verifying Autonomous Systems, Michael Fisher, Louise Dennis, Matt Webster. In [https://cacm.acm.org/magazines/2013/9/167136-verifying-autonomous-systems/abstract Communications of the ACM], 2013. | |||
==== IEEE Technical Committee ==== | ==== IEEE Technical Committee ==== | ||
Revision as of 05:45, 19 October 2022
History of Verification of Autonomous Systems
History of Autonomous systems
According to common knowledge and history records, the two first autonomous robots designed and implemented are the following:
- Shakey the robot between 1966 and 1972 [3]
Prior Work in Related Fields
<Bit of text about different fields' related work>
Software Assurance
<Summary of relevant work in software assurance>
Formal Methods
<Summary of work in formal approaches to assurance and verification prior to application to autonomous systems>
Early Activities
<Discussion of the Verification of Autonomous Systems Working Group (VASWG)>
Developing As A Field
<Text about maturation, current state, pointer to roadmap?>
A few publications that define the use of verification tools and techniques for autonomous systems are the following:
- Verifying Autonomous Systems, Michael Fisher, Louise Dennis, Matt Webster. In Communications of the ACM, 2013.
IEEE Technical Committee
<Formation of TC>
IEEE Standards Development
<Standards development>