Robustness of the Adaptive Bellman -Ford Algorithm: Global Stability and Ultimate Bounds

Self-stabilizing distance estimation algorithms are an important building block of many distributed systems, such as seen in the emerging field of aggregate computing. Their safe use in feedback systems or under persistent perturbations has not previously been formally analyzed. Self-stabilization o...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on automatic control Ročník 64; číslo 10; s. 4121 - 4136
Hlavní autori:	Mo, Yuanqiu, Dasgupta, Soura, Beal, Jacob
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.10.2019 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	Adaptive algorithms Aggregates Aggregating computing Algorithms Asymptotic methods Asymptotic properties Asymptotic stability Computer networks Convergence Error analysis Feedback Internet of things Liapunov functions Lyapunov function Lyapunov methods Perturbation methods Robustness stability Stability analysis ultimate boundedness
ISSN:	0018-9286, 1558-2523
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Abstract	Self-stabilizing distance estimation algorithms are an important building block of many distributed systems, such as seen in the emerging field of aggregate computing. Their safe use in feedback systems or under persistent perturbations has not previously been formally analyzed. Self-stabilization only involves eventual convergence, and is not endowed with robustness properties associated with global uniform asymptotic stability and thus does not guarantee stability under perturbations or feedback. We formulate a Lyapunov function to analyze the Adaptive Bellman-Ford distance estimation algorithm and use it to prove global uniform asymptotic stability, a property which the classical Bellman-Ford algorithm lacks. Global uniform asymptotic stability assures a measure of robustness to structural perturbations, empirically observed by us in a previous work. We also show that the algorithm is ultimately bounded under bounded measurement error and device mobility and provide a tight bound on the ultimate bound and the time to attain it.
AbstractList	Self-stabilizing distance estimation algorithms are an important building block of many distributed systems, such as seen in the emerging field of aggregate computing. Their safe use in feedback systems or under persistent perturbations has not previously been formally analyzed. Self-stabilization only involves eventual convergence, and is not endowed with robustness properties associated with global uniform asymptotic stability and thus does not guarantee stability under perturbations or feedback. We formulate a Lyapunov function to analyze the Adaptive Bellman–Ford distance estimation algorithm and use it to prove global uniform asymptotic stability, a property which the classical Bellman–Ford algorithm lacks. Global uniform asymptotic stability assures a measure of robustness to structural perturbations, empirically observed by us in a previous work. We also show that the algorithm is ultimately bounded under bounded measurement error and device mobility and provide a tight bound on the ultimate bound and the time to attain it.
Author	Mo, Yuanqiu Dasgupta, Soura Beal, Jacob
Author_xml	– sequence: 1 givenname: Yuanqiu orcidid: 0000-0002-0500-5201 surname: Mo fullname: Mo, Yuanqiu email: yuanqiu-mo@uiowa.edu organization: University of Iowa, Iowa City, Iowa, USA – sequence: 2 givenname: Soura orcidid: 0000-0001-6633-2938 surname: Dasgupta fullname: Dasgupta, Soura email: soura-dasgupta@uiowa.edu organization: University of Iowa, Iowa City, Iowa, USA – sequence: 3 givenname: Jacob orcidid: 0000-0002-1663-5102 surname: Beal fullname: Beal, Jacob email: jakebeal@ieee.org organization: Raytheon BBN Technologies, Cambridge, MA, USA, USA
BookMark	eNp9kE1LAzEQhoNUsFXvgpeA56352M1uvNXiFwiCVvC2ZLMTjaRJTbJC_70rFQ8ePA0D7_MO88zQxAcPCJ1QMqeUyPPVYjlnhMo5k6RkXO6hKa2qpmAV4xM0JYQ2hWSNOECzlN7HVZQlnaKXx9ANKXtICQeD8xvgRa822X4CvgTn1srj4jrEHi_ca4g2v60v8I0LnXL4KavOOpu3WPkeP7ts1yqPWBh8n47QvlEuwfHPPETP11er5W1x_3Bzt1zcF5pXdS7Krq5116iy6rjRCmrGhJCyp8aA7IRgUAMxhmsKutOSCBCq4g1woaU0Zc8P0dmudxPDxwApt-9hiH482TImm5pSTsiYEruUjiGlCKbVNqtsg89RWddS0n5bbEeL7bfF9sfiCJI_4CaOb8btf8jpDrEA8BtvhCiJrPgXaRd_LQ
CODEN	IETAA9
CitedBy_id	crossref_primary_10_1016_j_automatica_2022_110583 crossref_primary_10_1109_TAC_2022_3140253 crossref_primary_10_1109_JLT_2023_3241187 crossref_primary_10_1016_j_sysconle_2021_105045 crossref_primary_10_1109_TNSE_2024_3402383 crossref_primary_10_3390_su141610367 crossref_primary_10_1109_TNNLS_2020_2977994 crossref_primary_10_1007_s10489_023_04506_7 crossref_primary_10_1016_j_ifacol_2020_12_1497 crossref_primary_10_1007_s40747_023_01115_2 crossref_primary_10_1007_s40998_025_00827_0 crossref_primary_10_1109_LCSYS_2023_3287502 crossref_primary_10_1109_TCNS_2023_3314549 crossref_primary_10_1109_LCSYS_2021_3088260 crossref_primary_10_1016_j_automatica_2025_112111 crossref_primary_10_1109_LES_2024_3435388 crossref_primary_10_1007_s00202_024_02636_w crossref_primary_10_1145_3409801 crossref_primary_10_1016_j_future_2024_04_020
Cites_doi	10.1109/CDC.2016.7799393 10.3182/20080706-5-KR-1001.01111 10.1109/FAS-W.2017.112 10.1109/TAC.1980.1102422 10.1109/CDC.2003.1272622 10.1007/978-3-662-43376-8_11 10.1177/0278364911406761 10.1109/TCOM.1980.1094702 10.1145/1363686.1364163 10.1109/MC.2015.261 10.1145/1529282.1529550 10.1007/978-3-642-50085-5 10.1137/1.9780898719833.ch5 10.1016/j.artint.2003.12.001 10.1109/TAC.2007.902733 10.7551/mitpress/6156.001.0001 10.1090/qam/102435 10.1007/978-3-319-59746-1_4 10.1109/ICRA.2013.6630906 10.1177/0278364915594679 10.1109/SASOW.2015.16 10.1002/acs.2353 10.1109/TAC.2017.2694547 10.1016/j.automatica.2004.10.005 10.1016/0005-1098(96)00051-9 10.1109/JPROC.2006.887293 10.1109/TAC.2011.2146890 10.1080/00207170802108441 10.1016/0016-0032(72)90150-0 10.1007/978-3-319-15171-7 10.1109/SASOW.2014.6 10.1145/151254.151256
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2019
DBID	97E RIA RIE AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D
DOI	10.1109/TAC.2019.2904239
DatabaseName	IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional
DatabaseTitle	CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional
DatabaseTitleList	Technology Research Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering
EISSN	1558-2523
EndPage	4136
ExternalDocumentID	10_1109_TAC_2019_2904239 8664095
Genre	orig-research
GrantInformation_xml	– fundername: Defense Advanced Research Projects Agency grantid: HR001117C0049 funderid: 10.13039/100000185
GroupedDBID	-~X .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 VH1 VJK ~02 AAYXX CITATION 7SC 7SP 7TB 8FD FR3 JQ2 L7M L~C L~D RIG
ID	FETCH-LOGICAL-c357t-4b77cb8a45b3fcae7226699d1ffe9b662e7e0ff3c1ecbc906e6a538e36c99f4d3
IEDL.DBID	RIE
ISICitedReferencesCount	28
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000490772500012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0018-9286
IngestDate	Mon Jun 30 10:17:54 EDT 2025 Tue Nov 18 20:48:52 EST 2025 Sat Nov 29 05:40:54 EST 2025 Wed Aug 27 02:41:43 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	10
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c357t-4b77cb8a45b3fcae7226699d1ffe9b662e7e0ff3c1ecbc906e6a538e36c99f4d3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-1663-5102 0000-0001-6633-2938 0000-0002-0500-5201
PQID	2298711300
PQPubID	85475
PageCount	16
ParticipantIDs	proquest_journals_2298711300 crossref_citationtrail_10_1109_TAC_2019_2904239 ieee_primary_8664095 crossref_primary_10_1109_TAC_2019_2904239
PublicationCentury	2000
PublicationDate	2019-10-01
PublicationDateYYYYMMDD	2019-10-01
PublicationDate_xml	– month: 10 year: 2019 text: 2019-10-01 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on automatic control
PublicationTitleAbbrev	TAC
PublicationYear	2019
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref35 ref13 ref34 ref12 ref37 ref15 ref36 ref14 ref31 ref30 ref11 ref10 khalil (ref1) 2002 ref2 ref17 ref38 ref16 ref19 ford (ref21) 1956 anderson (ref18) 1986 ref24 koenig (ref33) 0 ref23 ref26 ref25 ref20 viroli (ref27) 0 ref22 ref28 ref29 ref8 ref7 ref9 stentz (ref32) 0 ref4 ref3 ref6 ref5
References_xml	– ident: ref17 doi: 10.1109/CDC.2016.7799393 – ident: ref7 doi: 10.3182/20080706-5-KR-1001.01111 – ident: ref26 doi: 10.1109/FAS-W.2017.112 – ident: ref2 doi: 10.1109/TAC.1980.1102422 – ident: ref4 doi: 10.1109/CDC.2003.1272622 – ident: ref14 doi: 10.1007/978-3-662-43376-8_11 – start-page: 476 year: 0 ident: ref33 article-title: D* lite publication-title: Proc 18th Nat Conf Artif Intell – ident: ref35 doi: 10.1177/0278364911406761 – ident: ref12 doi: 10.1109/TCOM.1980.1094702 – year: 2002 ident: ref1 publication-title: Nonlinear Systems – ident: ref28 doi: 10.1145/1363686.1364163 – ident: ref11 doi: 10.1109/MC.2015.261 – ident: ref29 doi: 10.1145/1529282.1529550 – ident: ref19 doi: 10.1007/978-3-642-50085-5 – ident: ref25 doi: 10.1137/1.9780898719833.ch5 – ident: ref34 doi: 10.1016/j.artint.2003.12.001 – ident: ref9 doi: 10.1109/TAC.2007.902733 – year: 1986 ident: ref18 publication-title: Stability of Adaptive Systems Passivity and Averaging Analysis – start-page: 1652 year: 0 ident: ref32 article-title: The focussed D* algorithm for real-time replanning publication-title: Proc Int Joint Conf Artif Intell – ident: ref15 doi: 10.7551/mitpress/6156.001.0001 – ident: ref20 doi: 10.1090/qam/102435 – ident: ref31 doi: 10.1007/978-3-319-59746-1_4 – ident: ref36 doi: 10.1109/ICRA.2013.6630906 – ident: ref37 doi: 10.1177/0278364915594679 – ident: ref30 doi: 10.1109/SASOW.2015.16 – ident: ref6 doi: 10.1002/acs.2353 – year: 1956 ident: ref21 article-title: Network flow theory – ident: ref38 doi: 10.1109/TAC.2017.2694547 – start-page: 81 year: 0 ident: ref27 article-title: Efficient engineering of complex self-organizing systems by self-stabilising fields publication-title: Int Conf Self-Adap Self-Org Sys – ident: ref24 doi: 10.1016/j.automatica.2004.10.005 – ident: ref22 doi: 10.1016/0005-1098(96)00051-9 – ident: ref3 doi: 10.1109/JPROC.2006.887293 – ident: ref8 doi: 10.1109/TAC.2011.2146890 – ident: ref5 doi: 10.1080/00207170802108441 – ident: ref23 doi: 10.1016/0016-0032(72)90150-0 – ident: ref10 doi: 10.1007/978-3-319-15171-7 – ident: ref13 doi: 10.1109/SASOW.2014.6 – ident: ref16 doi: 10.1145/151254.151256
SSID	ssj0016441
Score	2.4436405
Snippet	Self-stabilizing distance estimation algorithms are an important building block of many distributed systems, such as seen in the emerging field of aggregate...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	4121
SubjectTerms	Adaptive algorithms Aggregates Aggregating computing Algorithms Asymptotic methods Asymptotic properties Asymptotic stability Computer networks Convergence Error analysis Feedback Internet of things Liapunov functions Lyapunov function Lyapunov methods Perturbation methods Robustness stability Stability analysis ultimate boundedness
Title	Robustness of the Adaptive Bellman -Ford Algorithm: Global Stability and Ultimate Bounds
URI	https://ieeexplore.ieee.org/document/8664095 https://www.proquest.com/docview/2298711300
Volume	64
WOSCitedRecordID	wos000490772500012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1558-2523 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016441 issn: 0018-9286 databaseCode: RIE dateStart: 19630101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH5s4kEP_hbnL3LwIljXNW3SeBvi8DREFHYrSfqig60dayf435u0tSiK4K2HpJT3Je99r-8lH8AFj6STDdFeqAaRF0rFPRUq9AyXVFu-gTQwldgEH4_jyUQ8dOCqPQuDiFXzGV67x6qWn-Z65X6V9WPGbDoSdaHLOavParUVAxfXa69rN3AQtyVJX_Sfhreuh0tcB8J1gYhvIajSVPnhiKvoMtr-33ftwFbDIsmwhn0XOpjtweaXuwX3YfKYq1VROk9GckMszyPDVC6cdyPuUM5cZsQb2dSTDGcv-XJavs5vSK0AQCwDrXpm34nMUvI8K6eW19ppToKpOIDn0d3T7b3XyCh4mka8tChwrlUsw0hRoyVyy7iYEOnAGBSKsQA5-sZQPUCttPAZMmndIFKmhTBhSg9hLcszPALis9hgJKUwrlxp4lhzZSmktMBSyUPVg_6nZRPd3DHupC5mSZVr-CKxWCQOi6TBogeX7YxFfb_GH2P3ne3bcY3Ze3D6CV7SbMAiCQJhU0FXqzv-fdYJbLh31315p7BWLld4Buv6rZwWy_NqbX0A51PMTw
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fT9swED6xMmnwAGyAKL_mh71MWmiaH3bMW4WoigbVNBWpb5HtnLdKJUFtisR_jy8J0RBoEm95sJXoPvvuu9zZH8A3ESuSDTFepPuxFyktPB1p9KxQoXF8A8PAVmITYjxOplP5aw1-tGdhELFqPsMzeqxq-VlhVvSrrJdw7tKR-AOsk3JWc1qrrRlQZK_9rtvCQdIWJX3ZmwwuqItLngWS-kDkiyBUqaq8csVVfBluv-_LdmCr4ZFsUAP_GdYw_wKb_9wuuAvT34VeLUvyZaywzDE9NsjUPfk3Rsdy7lTOvKFLPtlg_qdYzMq_d-es1gBgjoNWXbOPTOUZu52XM8ds3TQSYVruwe3wcnIx8hohBc-EsSgdDkIYnago1qE1CoXjXFzKrG8tSs15gAJ9a0PTR6ON9Dly5RwhhtxIaaMs3IdOXuR4AMznicVYKWmpYGmTxAjtSKRy0IZKRLoLvWfLpqa5ZZzELuZplW34MnVYpIRF2mDRhe_tjPv6ho3_jN0l27fjGrN34fgZvLTZgss0CKRLBqlad_j2rK_waTS5uU6vr8Y_j2CD3lN36R1Dp1ys8AQ-modytlycVuvsCbaTz5g
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Robustness+of+the+Adaptive+Bellman+-Ford+Algorithm%3A+Global+Stability+and+Ultimate+Bounds&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Mo%2C+Yuanqiu&rft.au=Dasgupta%2C+Soura&rft.au=Beal%2C+Jacob&rft.date=2019-10-01&rft.pub=IEEE&rft.issn=0018-9286&rft.volume=64&rft.issue=10&rft.spage=4121&rft.epage=4136&rft_id=info:doi/10.1109%2FTAC.2019.2904239&rft.externalDocID=8664095
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon