The black-box simplex architecture for runtime assurance of multi-agent CPS

Saved in:
Bibliographic Details
Published in:Innovations in systems and software engineering 2024-03
Main Authors: Sheikhi, Sanaz, Mehmood, Usama, Bak, Stanley, Smolka, Scott A., Stoller, Scott D.
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c198t-b38c01cf7ca4426f88fb9afb66ef22effca6575d1ab0c1df6a487296c6e3a4dc3
container_end_page
container_issue
container_start_page
container_title Innovations in systems and software engineering
container_volume
creator Sheikhi, Sanaz
Mehmood, Usama
Bak, Stanley
Smolka, Scott A.
Stoller, Scott D.
description
doi_str_mv 10.1007/s11334-024-00553-6
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_1007_s11334_024_00553_6</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_1007_s11334_024_00553_6</sourcerecordid><originalsourceid>FETCH-LOGICAL-c198t-b38c01cf7ca4426f88fb9afb66ef22effca6575d1ab0c1df6a487296c6e3a4dc3</originalsourceid><addsrcrecordid>eNo90M1KxDAUBeAgCo6jL-AqLxBNmuS2XUrxDwcUHNfh9jZxqu10SFoY397qiIvLuYvDWXyMXSp5paTMr5NSWhshs_mktVrAEVsoUEZYac3x_2_glJ2l9DGXwIJesKf1xvO6Q_oU9bDnqe13nd9zjLRpR0_jFD0PQ-Rx2o5t7zmmNEXckudD4P3Uja3Ad78defXyes5OAnbJX_zlkr3d3a6rB7F6vn-sblaCVFmMotYFSUUhJzQmg1AUoS4x1AA-ZJkPgRBsbhuFtSTVBEBT5FkJBF6jaUgvWXbYpTikFH1wu9j2GL-cku6Hwx043Mzhfjkc6G9rOVSI</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>The black-box simplex architecture for runtime assurance of multi-agent CPS</title><source>Springer Link</source><creator>Sheikhi, Sanaz ; Mehmood, Usama ; Bak, Stanley ; Smolka, Scott A. ; Stoller, Scott D.</creator><creatorcontrib>Sheikhi, Sanaz ; Mehmood, Usama ; Bak, Stanley ; Smolka, Scott A. ; Stoller, Scott D.</creatorcontrib><identifier>ISSN: 1614-5046</identifier><identifier>EISSN: 1614-5054</identifier><identifier>DOI: 10.1007/s11334-024-00553-6</identifier><language>eng</language><ispartof>Innovations in systems and software engineering, 2024-03</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c198t-b38c01cf7ca4426f88fb9afb66ef22effca6575d1ab0c1df6a487296c6e3a4dc3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Sheikhi, Sanaz</creatorcontrib><creatorcontrib>Mehmood, Usama</creatorcontrib><creatorcontrib>Bak, Stanley</creatorcontrib><creatorcontrib>Smolka, Scott A.</creatorcontrib><creatorcontrib>Stoller, Scott D.</creatorcontrib><title>The black-box simplex architecture for runtime assurance of multi-agent CPS</title><title>Innovations in systems and software engineering</title><issn>1614-5046</issn><issn>1614-5054</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><recordid>eNo90M1KxDAUBeAgCo6jL-AqLxBNmuS2XUrxDwcUHNfh9jZxqu10SFoY397qiIvLuYvDWXyMXSp5paTMr5NSWhshs_mktVrAEVsoUEZYac3x_2_glJ2l9DGXwIJesKf1xvO6Q_oU9bDnqe13nd9zjLRpR0_jFD0PQ-Rx2o5t7zmmNEXckudD4P3Uja3Ad78defXyes5OAnbJX_zlkr3d3a6rB7F6vn-sblaCVFmMotYFSUUhJzQmg1AUoS4x1AA-ZJkPgRBsbhuFtSTVBEBT5FkJBF6jaUgvWXbYpTikFH1wu9j2GL-cku6Hwx043Mzhfjkc6G9rOVSI</recordid><startdate>20240321</startdate><enddate>20240321</enddate><creator>Sheikhi, Sanaz</creator><creator>Mehmood, Usama</creator><creator>Bak, Stanley</creator><creator>Smolka, Scott A.</creator><creator>Stoller, Scott D.</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20240321</creationdate><title>The black-box simplex architecture for runtime assurance of multi-agent CPS</title><author>Sheikhi, Sanaz ; Mehmood, Usama ; Bak, Stanley ; Smolka, Scott A. ; Stoller, Scott D.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c198t-b38c01cf7ca4426f88fb9afb66ef22effca6575d1ab0c1df6a487296c6e3a4dc3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Sheikhi, Sanaz</creatorcontrib><creatorcontrib>Mehmood, Usama</creatorcontrib><creatorcontrib>Bak, Stanley</creatorcontrib><creatorcontrib>Smolka, Scott A.</creatorcontrib><creatorcontrib>Stoller, Scott D.</creatorcontrib><collection>CrossRef</collection><jtitle>Innovations in systems and software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Sheikhi, Sanaz</au><au>Mehmood, Usama</au><au>Bak, Stanley</au><au>Smolka, Scott A.</au><au>Stoller, Scott D.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The black-box simplex architecture for runtime assurance of multi-agent CPS</atitle><jtitle>Innovations in systems and software engineering</jtitle><date>2024-03-21</date><risdate>2024</risdate><issn>1614-5046</issn><eissn>1614-5054</eissn><doi>10.1007/s11334-024-00553-6</doi></addata></record>
fulltext fulltext
identifier ISSN: 1614-5046
ispartof Innovations in systems and software engineering, 2024-03
issn 1614-5046
1614-5054
language eng
recordid cdi_crossref_primary_10_1007_s11334_024_00553_6
source Springer Link
title The black-box simplex architecture for runtime assurance of multi-agent CPS
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-23T04%3A52%3A21IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20black-box%20simplex%20architecture%20for%20runtime%20assurance%20of%20multi-agent%20CPS&rft.jtitle=Innovations%20in%20systems%20and%20software%20engineering&rft.au=Sheikhi,%20Sanaz&rft.date=2024-03-21&rft.issn=1614-5046&rft.eissn=1614-5054&rft_id=info:doi/10.1007/s11334-024-00553-6&rft_dat=%3Ccrossref%3E10_1007_s11334_024_00553_6%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c198t-b38c01cf7ca4426f88fb9afb66ef22effca6575d1ab0c1df6a487296c6e3a4dc3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true