On a notion of stochastic zeroing barrier function

This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2020-04
Hauptverfasser: Tamba, Tua A, Hu, Bin, Nazaruddin, Yul Y
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Tamba, Tua A
Hu, Bin
Nazaruddin, Yul Y
description This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.
format Article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2387120227</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2387120227</sourcerecordid><originalsourceid>FETCH-proquest_journals_23871202273</originalsourceid><addsrcrecordid>eNqNyrEKwjAQgOEgCBbtOxw4F9KLNd1FcXNxL7EkmiJ3ekkWn14FH8DpH_5vpio0pm36DeJC1SlNWmvcWuw6Uyk8ETggzpEJOEDKPN5cynGElxeOdIWLE4leIBQav2yl5sHdk69_Xar1YX_eHZuH8LP4lIeJi9BnDWh626JGtOY_9QbdMzPl</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2387120227</pqid></control><display><type>article</type><title>On a notion of stochastic zeroing barrier function</title><source>Open Access: Freely Accessible Journals by multiple vendors</source><creator>Tamba, Tua A ; Hu, Bin ; Nazaruddin, Yul Y</creator><creatorcontrib>Tamba, Tua A ; Hu, Bin ; Nazaruddin, Yul Y</creatorcontrib><description>This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Differential equations</subject><ispartof>arXiv.org, 2020-04</ispartof><rights>2020. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>776,780</link.rule.ids></links><search><creatorcontrib>Tamba, Tua A</creatorcontrib><creatorcontrib>Hu, Bin</creatorcontrib><creatorcontrib>Nazaruddin, Yul Y</creatorcontrib><title>On a notion of stochastic zeroing barrier function</title><title>arXiv.org</title><description>This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.</description><subject>Differential equations</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNqNyrEKwjAQgOEgCBbtOxw4F9KLNd1FcXNxL7EkmiJ3ekkWn14FH8DpH_5vpio0pm36DeJC1SlNWmvcWuw6Uyk8ETggzpEJOEDKPN5cynGElxeOdIWLE4leIBQav2yl5sHdk69_Xar1YX_eHZuH8LP4lIeJi9BnDWh626JGtOY_9QbdMzPl</recordid><startdate>20200404</startdate><enddate>20200404</enddate><creator>Tamba, Tua A</creator><creator>Hu, Bin</creator><creator>Nazaruddin, Yul Y</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20200404</creationdate><title>On a notion of stochastic zeroing barrier function</title><author>Tamba, Tua A ; Hu, Bin ; Nazaruddin, Yul Y</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_23871202273</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Differential equations</topic><toplevel>online_resources</toplevel><creatorcontrib>Tamba, Tua A</creatorcontrib><creatorcontrib>Hu, Bin</creatorcontrib><creatorcontrib>Nazaruddin, Yul Y</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>AUTh Library subscriptions: ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Tamba, Tua A</au><au>Hu, Bin</au><au>Nazaruddin, Yul Y</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>On a notion of stochastic zeroing barrier function</atitle><jtitle>arXiv.org</jtitle><date>2020-04-04</date><risdate>2020</risdate><eissn>2331-8422</eissn><abstract>This note examines the safety verification of the solution of Ito stochastic differential equations using the notion of stochastic zeroing barrier function. The main tools in the proposed method include Ito calculus and the concept of stochastic invariant set.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2020-04
issn 2331-8422
language eng
recordid cdi_proquest_journals_2387120227
source Open Access: Freely Accessible Journals by multiple vendors
subjects Differential equations
title On a notion of stochastic zeroing barrier function
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T14%3A53%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=On%20a%20notion%20of%20stochastic%20zeroing%20barrier%20function&rft.jtitle=arXiv.org&rft.au=Tamba,%20Tua%20A&rft.date=2020-04-04&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2387120227%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2387120227&rft_id=info:pmid/&rfr_iscdi=true