History - Revision history

Arinajed: /* Developing As A Field */

2022-10-19T05:55:24Z

Developing As A Field

← Older revision		Revision as of 05:55, 19 October 2022
Line 29:		Line 29:
	<Text about maturation, current state, pointer to roadmap?>		<Text about maturation, current state, pointer to roadmap?>

	~~Key publications that pioneered~~ the ~~use~~ of verification tools and techniques ~~specifically applied~~ to autonomous systems ~~are the following:~~		Some of the first instances of the application of verification tools and techniques to autonomous systems appear in late 1990s and early 2000s.

	* 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.		* "Towards automatic verification of autonomous systems", R. Simmons, C. Pecheur, G. Srinivasan, 2000. [https://ieeexplore.ieee.org/abstract/document/893218 link]
			Formal methods applied to fault diagnosis systems and mobile robots.

			* "Verification of autonomous systems using embedded behavior auditors", D. Dvorak, E. Tailor [https://aip.scitation.org/doi/abs/10.1063/1.57633 link]
			Formal methods applied to spacecraft and rovers.



			Later work:

			* "Verifying Autonomous Systems", M. Fisher, L. Dennis, M. Webster. In [https://cacm.acm.org/magazines/2013/9/167136-verifying-autonomous-systems/abstract Communications of the ACM], 2013.

Arinajed: /* IEEE Technical Committee */

2022-10-19T05:47:47Z

IEEE Technical Committee

← Older revision		Revision as of 05:47, 19 October 2022
Line 36:		Line 36:
	==== IEEE Technical Committee ====		==== IEEE Technical Committee ====

	~~<Formation~~ of ~~TC>~~		Drawing on the efforts from the global working group, the IEEE Robotics and Automation Society Technical Committee on Verification of Autonomous Systems was officially inaugurated in 2019. The first co-chairs were Signe Redfield, Michael Fisher, and Dejanira Araiza-Illan.

	==== IEEE Standards Development ====		==== IEEE Standards Development ====

	<Standards development>		<Standards development>

Arinajed at 05:45, 19 October 2022

2022-10-19T05:45:55Z

← Older revision		Revision as of 05:45, 19 October 2022
Line 29:		Line 29:
	<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:		Key publications that pioneered the use of verification tools and techniques specifically applied to 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.		* 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.

Arinajed at 05:45, 19 October 2022

2022-10-19T05:45:11Z

← Older revision		Revision as of 05:45, 19 October 2022
Line 3:		Line 3:
	=== History of Autonomous systems ===		=== History of Autonomous systems ===

	~~Tortoises by Grey Walters [https~~:~~//spectrum.ieee.org/meet-roombas-ancestor-cybernetic-tortoise] [https://www.youtube.com/watch?time_continue=1&v=lLULRlmXkKo&feature=emb_logo]~~		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 ====

Arinajed at 12:58, 4 October 2022

2022-10-04T12:58:54Z

← Older revision		Revision as of 12:58, 4 October 2022
Line 1:		Line 1:
	== History of Verification of Autonomous Systems ==		== History of Verification of Autonomous Systems ==

	~~<Summary~~ of ~~this page>~~		=== History of Autonomous systems ===

			Tortoises by Grey Walters [https://spectrum.ieee.org/meet-roombas-ancestor-cybernetic-tortoise] [https://www.youtube.com/watch?time_continue=1&v=lLULRlmXkKo&feature=emb_logo]

			Shakey robot [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 ===

Signe at 12:37, 28 June 2022

2022-06-28T12:37:03Z

← Older revision		Revision as of 12:37, 28 June 2022
Line 21:		Line 21:
	=== Developing As A Field ===		=== Developing As A Field ===

	<TC, Standards development>		<Text about maturation, current state, pointer to roadmap?>

			==== IEEE Technical Committee ====

			<Formation of TC>

			==== IEEE Standards Development ====

			<Standards development>

Signe: Created page with "== History of Verification of Autonomous Systems ==
=== Prior Work in Related Fields === ==== Software Assurance ====
==== Formal Methods ====
=== Early Activities ===
2022-06-28T12:35:25Z

Created page with "== History of Verification of Autonomous Systems == <Summary of this page> === 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 G..."

New page
== History of Verification of Autonomous Systems ==

<Summary of this page>

=== 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 ===

<TC, Standards development>