Open Research Index

On Incremental Design of Large-Scale Networks of Nondeterministic Metric Finite State Systems

Giordano Pola

arXivarxiv/2607.09313Jul 10, 2026math.OCscore 0

In this paper, we address control design of Networks of nondeterministic and metric finite state Systems (NoS) where some systems are plants, others act as controllers, and some are uncontrolled processes. The control architecture of NoS extends decentralized control architectures. The problem addressed consists in designing local controllers for enforcing on the corresponding plants, local specifications given by regular languages over plants' state alphabet, up to desired accuracies. The approach used to solve the problem is termed incremental and consists in finding solutions on an…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.09313
curl -X POST /api/v1/records/arxiv/2607.09313/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.09313/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'