Validating Agent-Based Models of Large Networked Systems
The paper describes a systematic approach for validating real-world biological, information, social and technical (BIST) networks. BIST systems are usually represented using agent-based models and computer simulations are used to study their dynamical (state-space) properties. Here, we use a formal...
Saved in:
Published in | 2019 Winter Simulation Conference (WSC) pp. 2807 - 2818 |
---|---|
Main Authors | , , , , , , , , , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.12.2019
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | The paper describes a systematic approach for validating real-world biological, information, social and technical (BIST) networks. BIST systems are usually represented using agent-based models and computer simulations are used to study their dynamical (state-space) properties. Here, we use a formal representation called a graph dynamical system (GDS). We present two types of results. First we describe two real-world validation studies spanning a variety of BIST networks. Various types of validation are considered and unique challenges presented by each domain are discussed. Each system is represented using the GDS formalism. This illustrates the power of the formalism and enables a unified approach for validation. We complement the case studies by presenting new theoretical results on validating BIST systems represented as GDSs. These theoretical results delineate computationally intractable and efficiently solvable versions of validation problems. |
---|---|
AbstractList | The paper describes a systematic approach for validating real-world biological, information, social and technical (BIST) networks. BIST systems are usually represented using agent-based models and computer simulations are used to study their dynamical (state-space) properties. Here, we use a formal representation called a graph dynamical system (GDS). We present two types of results. First we describe two real-world validation studies spanning a variety of BIST networks. Various types of validation are considered and unique challenges presented by each domain are discussed. Each system is represented using the GDS formalism. This illustrates the power of the formalism and enables a unified approach for validation. We complement the case studies by presenting new theoretical results on validating BIST systems represented as GDSs. These theoretical results delineate computationally intractable and efficiently solvable versions of validation problems. |
Author | Barrett, Chris Kuhlman, Chris J. Ravi, S. S. Eubank, Stephen Swarup, Samarth Marathe, Madhav V. Vullikanti, Anil Mortveit, Henning Stearns, Richard E. Adiga, Abhijin Rosenkrantz, Daniel J. |
Author_xml | – sequence: 1 givenname: Abhijin surname: Adiga fullname: Adiga, Abhijin organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 2 givenname: Chris surname: Barrett fullname: Barrett, Chris organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 3 givenname: Stephen surname: Eubank fullname: Eubank, Stephen organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 4 givenname: Chris J. surname: Kuhlman fullname: Kuhlman, Chris J. organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 5 givenname: Madhav V. surname: Marathe fullname: Marathe, Madhav V. organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 6 givenname: Henning surname: Mortveit fullname: Mortveit, Henning organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 7 givenname: S. S. surname: Ravi fullname: Ravi, S. S. organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 8 givenname: Daniel J. surname: Rosenkrantz fullname: Rosenkrantz, Daniel J. organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 9 givenname: Richard E. surname: Stearns fullname: Stearns, Richard E. organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 10 givenname: Samarth surname: Swarup fullname: Swarup, Samarth organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 – sequence: 11 givenname: Anil surname: Vullikanti fullname: Vullikanti, Anil organization: University of Virginia,Biocomplexity Institute and Initiative,Charlottesville,VA,USA,22904 |
BookMark | eNotj8tKw0AUQEdRsK39AhHyA0nvnUdmZlmDVSHVRX0sy2TmJkTTRDIB6d8r2NVZHDhw5uyiH3pi7BYhQwS7-tgVEgB0xgFtZgGkRnPGllYb1Nyg4EbYczZDpUwqBagrNo_xEwCNQj5j5t11bXBT2zfJuqF-Su9cpJBsh0BdTIY6Kd3YUPJM088wfv2Z3TFOdIjX7LJ2XaTliQv2trl_LR7T8uXhqViXqUcNU8pz6z34KmAgraA2uUcnhNG5MharACGvBEmwnnTFHUgP3DsjKnIuKCXFgt38d1si2n-P7cGNx_1pVPwCirJI6Q |
CitedBy_id | crossref_primary_10_3389_fpsyg_2023_986289 crossref_primary_10_1007_s10458_022_09559_5 |
ContentType | Conference Proceeding |
DBID | 6IE 6IH CBEJK RIE RIO |
DOI | 10.1109/WSC40007.2019.9004718 |
DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/ sourceTypes: Publisher |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Computer Science |
EISBN | 9781728132839 1728132835 |
EISSN | 1558-4305 |
EndPage | 2818 |
ExternalDocumentID | 9004718 |
Genre | orig-research |
GroupedDBID | 123 29P 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR ABLEC ACM ADZIZ AFFNX ALMA_UNASSIGNED_HOLDINGS APO ASPBG AVWKF BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IJVOP IPLJI JC5 M43 OCL RIE RIL RIO RNS WH7 ~02 |
ID | FETCH-LOGICAL-c170t-269cc0cbd1de750f86c1a338765891bd0d6b3e409ce7b2a04c02ca83beaad5543 |
IEDL.DBID | RIE |
IngestDate | Wed Jun 26 19:27:12 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | true |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-LOGICAL-c170t-269cc0cbd1de750f86c1a338765891bd0d6b3e409ce7b2a04c02ca83beaad5543 |
PageCount | 12 |
ParticipantIDs | ieee_primary_9004718 |
PublicationCentury | 2000 |
PublicationDate | 2019-Dec. |
PublicationDateYYYYMMDD | 2019-12-01 |
PublicationDate_xml | – month: 12 year: 2019 text: 2019-Dec. |
PublicationDecade | 2010 |
PublicationTitle | 2019 Winter Simulation Conference (WSC) |
PublicationTitleAbbrev | WSC |
PublicationYear | 2019 |
Publisher | IEEE |
Publisher_xml | – name: IEEE |
SSID | ssj0018512 ssib040744726 |
Score | 2.1437366 |
Snippet | The paper describes a systematic approach for validating real-world biological, information, social and technical (BIST) networks. BIST systems are usually... |
SourceID | ieee |
SourceType | Publisher |
StartPage | 2807 |
SubjectTerms | Biological system modeling Boolean functions Built-in self-test Computational modeling Data models Mathematical model |
Title | Validating Agent-Based Models of Large Networked Systems |
URI | https://ieeexplore.ieee.org/document/9004718 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV09T8MwED21nWAptEV8ywMjSZ3k6jgjVFQVohUSFLpV8UcYQCmCdOHX40vS8iEGtiiRIsvn5L2z37sDOFPWJSWRDj2OVnmoULr_YIaekQJVageZMuR3nkzFeIbX88G8AecbL4y1thSfWZ8uy7N8s9Qr2irrJ1TbMJBNaEoeVl6t9dpxeQliTFSiPkFwTCKsHTsBT_qPd0MkPCQxV-LXL_rRUaUElFEbJuuhVDqSZ39VKF9__KrS-N-x7kDvy7rHbjegtAsNm3egve7dwOpPuQPb3woRdkE-ODpORof8iV2Q2cq7dOhmGHVKe3lny4zdkGKcTSvRuHtSVzrvwWx0dT8ce3VPBU8HMS-8UCRac61MYKwjC5kUOkhdmhoLai-oDDdCRS5-ibaxClOOmoc6lZGyaWoc9Yj2oJUvc7sPLM4wCAQldGGGaByumQwjgTaVA0eG8QC6NC2L16psxqKekcO_bx_BFoWm2t04hlbxtrInDu8LdVoG-hP2Cagi |
link.rule.ids | 310,311,786,790,795,796,802,27956,55107 |
linkProvider | IEEE |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NT8JAEJ0gHtQLChi_3YNHC9t22LZHJRJUICaCciPdj3rQFKPl4q93py34EQ_emm3SbHbavje7780AnEljkxJfeQ5HIx2UGNr_YIKODgXK2HQSqcnvPByJ_gRvpp1pBc5XXhhjTC4-My26zM_y9VwtaKusHVFtQzdcg3WL8zwo3FrLt8dmJogBkYnyDMFyCa_07Lg8aj_ed5EQkeRcUat81I-eKjmk9GowXE6mUJI8txaZbKmPX3Ua_zvbbWh-mffY3QqWdqBi0jrUlt0bWPkx12HrWynCBoQPlpCT1SF9Yhdkt3IuLb5pRr3SXt7ZPGED0oyzUSEbt3fKWudNmPSuxt2-U3ZVcJQb8MzxRKQUV1K72li6kIRCubFNVANBDQal5lpI30YwUiaQXsxRcU_FoS9NHGtLPvxdqKbz1OwBCxJ0XUEpnZcgaotsOkFfoInDjqXDuA8NWpbZa1E4Y1auyMHfw6ew0R8PB7PB9ej2EDYpTIVu5Aiq2dvCHFv0z-RJHvRPBg2reA |
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%3Abook&rft.genre=proceeding&rft.title=2019+Winter+Simulation+Conference+%28WSC%29&rft.atitle=Validating+Agent-Based+Models+of+Large+Networked+Systems&rft.au=Adiga%2C+Abhijin&rft.au=Barrett%2C+Chris&rft.au=Eubank%2C+Stephen&rft.au=Kuhlman%2C+Chris+J.&rft.date=2019-12-01&rft.pub=IEEE&rft.eissn=1558-4305&rft.spage=2807&rft.epage=2818&rft_id=info:doi/10.1109%2FWSC40007.2019.9004718&rft.externalDocID=9004718 |