{"id":"https://openalex.org/W7128053525","doi":"https://doi.org/10.48550/arxiv.2602.05586","title":"Observer-based Control of Multi-agent Systems under STL Specifications","display_name":"Observer-based Control of Multi-agent Systems under STL Specifications","publication_year":2026,"publication_date":"2026-02-05","ids":{"openalex":"https://openalex.org/W7128053525","doi":"https://doi.org/10.48550/arxiv.2602.05586"},"language":"en","primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.05586","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5117770688","display_name":"Tommaso Zaccherini","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zaccherini, Tommaso","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5125225047","display_name":"Siyuan Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Siyuan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5125132147","display_name":"Dimos V. Dimarogonas","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dimarogonas, Dimos V.","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5117770688"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.38040000200271606,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.38040000200271606,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.19269999861717224,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.06239999830722809,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7871000170707703},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6218000054359436},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5692999958992004},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45590001344680786},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.41350001096725464},{"id":"https://openalex.org/keywords/decentralised-system","display_name":"Decentralised system","score":0.400299996137619},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.36739999055862427},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.36579999327659607}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7871000170707703},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7547000050544739},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6218000054359436},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5692999958992004},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45590001344680786},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.41350001096725464},{"id":"https://openalex.org/C205875254","wikidata":"https://www.wikidata.org/wiki/Q17156857","display_name":"Decentralised system","level":3,"score":0.400299996137619},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3806000053882599},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.36739999055862427},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.36579999327659607},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.351500004529953},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.33719998598098755},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.329800009727478},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3151000142097473},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2879999876022339},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C3018134525","wikidata":"https://www.wikidata.org/wiki/Q2501541","display_name":"Control signal","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C3031470","wikidata":"https://www.wikidata.org/wiki/Q818544","display_name":"State observer","level":3,"score":0.263700008392334}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.05586","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:pure.tue.nl:openaire/1f6736b1-2da0-49a6-b4f5-84acf998e9d4","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/1f6736b1-2da0-49a6-b4f5-84acf998e9d4","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Zaccherini, T, Liu, S & Dimarogonas, D V 2026 'Observer-based Control of Multi-agent Systems under STL Specifications' arXiv.org. https://doi.org/10.48550/arXiv.2602.05586","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2602.05586","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.05586","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.05586","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,39,100],"decentralized":[4,40,101],"controller":[5,104],"for":[6,89],"large-scale":[7],"heterogeneous":[8],"multi-agent":[9],"systems":[10],"subject":[11],"to":[12,48,87,98,122],"bounded":[13],"external":[14],"disturbances,":[15],"where":[16],"agents":[17,57],"must":[18],"satisfy":[19],"Signal":[20],"Temporal":[21],"Logic":[22],"(STL)":[23],"specifications":[24],"requiring":[25],"cooperation":[26],"among":[27],"non-communicating":[28],"agents.":[29],"To":[30],"address":[31],"the":[32,64,68,74,80,84,95,109,124],"lack":[33],"of":[34,55,83,108],"direct":[35],"communication,":[36],"we":[37,77],"employ":[38],"k-hop":[41,75],"Prescribed":[42],"Performance":[43],"State":[44],"Observer":[45],"(k-hop":[46],"PPSO)":[47],"provide":[49],"each":[50],"agent":[51],"with":[52],"state":[53,69],"estimates":[54],"those":[56],"it":[58],"cannot":[59],"communicate":[60],"with.":[61],"By":[62],"leveraging":[63],"performance":[65],"bounds":[66],"on":[67],"estimation":[70,115],"errors":[71],"guaranteed":[72],"by":[73],"PPSO,":[76],"first":[78],"modify":[79],"space":[81],"robustness":[82,97],"STL":[85,110],"tasks":[86,111],"account":[88],"these":[90],"errors,":[91],"and":[92],"then":[93],"exploit":[94],"modified":[96],"design":[99],"continuous-time":[102],"feedback":[103],"that":[105],"ensures":[106],"satisfaction":[107],"even":[112],"under":[113],"worst-case":[114],"errors.":[116],"A":[117],"simulation":[118],"result":[119],"is":[120],"provided":[121],"validate":[123],"proposed":[125],"framework.":[126]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-07T00:00:00"}