<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>http://www.colloquiam.com/wd/index.php?action=history&amp;feed=atom&amp;title=Hagen_et_al_2016a</id>
		<title>Hagen et al 2016a - Revision history</title>
		<link rel="self" type="application/atom+xml" href="http://www.colloquiam.com/wd/index.php?action=history&amp;feed=atom&amp;title=Hagen_et_al_2016a"/>
		<link rel="alternate" type="text/html" href="http://www.colloquiam.com/wd/index.php?title=Hagen_et_al_2016a&amp;action=history"/>
		<updated>2026-05-14T00:31:30Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.27.0-wmf.10</generator>

	<entry>
		<id>http://www.colloquiam.com/wd/index.php?title=Hagen_et_al_2016a&amp;diff=194240&amp;oldid=prev</id>
		<title>Scipediacontent: Scipediacontent moved page Draft Content 814946469 to Hagen et al 2016a</title>
		<link rel="alternate" type="text/html" href="http://www.colloquiam.com/wd/index.php?title=Hagen_et_al_2016a&amp;diff=194240&amp;oldid=prev"/>
				<updated>2021-01-28T20:38:51Z</updated>
		
		<summary type="html">&lt;p&gt;Scipediacontent moved page &lt;a href=&quot;/public/Draft_Content_814946469&quot; class=&quot;mw-redirect&quot; title=&quot;Draft Content 814946469&quot;&gt;Draft Content 814946469&lt;/a&gt; to &lt;a href=&quot;/public/Hagen_et_al_2016a&quot; title=&quot;Hagen et al 2016a&quot;&gt;Hagen et al 2016a&lt;/a&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr style='vertical-align: top;' lang='en'&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 20:38, 28 January 2021&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan='2' style='text-align: center;' lang='en'&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>Scipediacontent</name></author>	</entry>

	<entry>
		<id>http://www.colloquiam.com/wd/index.php?title=Hagen_et_al_2016a&amp;diff=194239&amp;oldid=prev</id>
		<title>Scipediacontent: Created page with &quot; == Abstract ==  NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspac...&quot;</title>
		<link rel="alternate" type="text/html" href="http://www.colloquiam.com/wd/index.php?title=Hagen_et_al_2016a&amp;diff=194239&amp;oldid=prev"/>
				<updated>2021-01-28T20:38:47Z</updated>
		
		<summary type="html">&lt;p&gt;Created page with &amp;quot; == Abstract ==  NASA&amp;#039;s Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspac...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&lt;br /&gt;
== Abstract ==&lt;br /&gt;
&lt;br /&gt;
NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspace, i.e., Class G airspace. A far-term goal of UTM research and development is to accommodate the expected rise in small UAS traffic density throughout the National Airspace System (NAS) at low altitudes for beyond visual line-of-sight operations. This paper describes a new capability referred to as ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems), which is being developed under the UTM project. ICAROUS is a software architecture comprised of highly assured algorithms for building safety-centric, autonomous, unmanned aircraft applications. Central to the development of the ICAROUS algorithms is the use of well-established formal methods to guarantee higher levels of safety assurance by monitoring and bounding the behavior of autonomous systems. The core autonomy-enabling capabilities in ICAROUS include constraint conformance monitoring and contingency control functions. ICAROUS also provides a highly configurable user interface that enables the modular integration of mission-specific software components.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== Original document ==&lt;br /&gt;
&lt;br /&gt;
The different versions of the original document can be found in:&lt;br /&gt;
&lt;br /&gt;
* [https://zenodo.org/record/1267417 https://zenodo.org/record/1267417] under the license https://creativecommons.org/share-your-work/public-domain/cc0/&lt;br /&gt;
&lt;br /&gt;
* [https://zenodo.org/record/1267417/files/article.pdf https://zenodo.org/record/1267417/files/article.pdf]&lt;br /&gt;
&lt;br /&gt;
* [http://xplorestaging.ieee.org/ielx7/7756173/7777937/07778033.pdf?arnumber=7778033 http://xplorestaging.ieee.org/ielx7/7756173/7777937/07778033.pdf?arnumber=7778033],&lt;br /&gt;
: [http://dx.doi.org/10.1109/dasc.2016.7778033 http://dx.doi.org/10.1109/dasc.2016.7778033] under the license cc0&lt;br /&gt;
&lt;br /&gt;
* [https://ntrs.nasa.gov/search.jsp?R=20170001936 https://ntrs.nasa.gov/search.jsp?R=20170001936],&lt;br /&gt;
: [https://ieeexplore.ieee.org/document/7778033 https://ieeexplore.ieee.org/document/7778033],&lt;br /&gt;
: [http://ieeexplore.ieee.org/document/7778033 http://ieeexplore.ieee.org/document/7778033],&lt;br /&gt;
: [http://hdl.handle.net/2060/20170001936 http://hdl.handle.net/2060/20170001936],&lt;br /&gt;
: [https://repository.exst.jaxa.jp/dspace/handle/a-is/594470 https://repository.exst.jaxa.jp/dspace/handle/a-is/594470],&lt;br /&gt;
: [https://academic.microsoft.com/#/detail/2564538084 https://academic.microsoft.com/#/detail/2564538084]&lt;/div&gt;</summary>
		<author><name>Scipediacontent</name></author>	</entry>

	</feed>