On modularity in reactive control architectures, with an application to formal verification

• URL: http://arxiv.org/abs/2008.12515v3
• Date: Mon, 31 Jan 2022 02:19:04 GMT
• Title: On modularity in reactive control architectures, with an application to formal verification
• Abstract summary: We propose a graph-structured control architecture we call a decision structure. Inspired by the definition of a module in graph theory, we define modules in decision structures. We show how each decision structure possesses a canonical decomposition into its modules.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Modularity is a central principle throughout the design process for cyber-physical systems. Modularity reduces complexity and increases reuse of behavior. In this paper we pose and answer the following question: how can we identify independent `modules' within the structure of reactive control architectures? To this end, we propose a graph-structured control architecture we call a decision structure, and show how it generalises some reactive control architectures which are popular in Artificial Intelligence (AI) and robotics, specifically Teleo-Reactive programs (TRs), Decision Trees (DTs), Behavior Trees (BTs) and Generalised Behavior Trees ($k$-BTs). Inspired by the definition of a module in graph theory, we define modules in decision structures and show how each decision structure possesses a canonical decomposition into its modules. We can naturally characterise each of the BTs, $k$-BTs, DTs and TRs by properties of their module decomposition. This allows us to recognise which decision structures are equivalent to each of these architectures in quadratic time. Our proposed concept of modules extends to formal verification, under any verification scheme capable of verifying a decision structure. Namely, we prove that a modification to a module within a decision structure has no greater flow-on effects than a modification to an individual action within that structure. This enables verification on modules to be done locally and hierarchically, where structures can be verified and then repeatedly locally modified, with modules replaced by modules while preserving correctness. To illustrate the findings, we present an example of a solar-powered drone controlled by a decision structure. We use a Linear Temporal Logic-based verification scheme to verify the correctness of this structure, and then show how one can modify modules while preserving its correctness.

Related papers

• MoRe: Modular Representations for Principled Continual Representation Learning on Sequential Data [17.462860448981953]
  Continual learning requires models to adapt to new data while preserving previously acquired knowledge.<n>Most existing approaches address this challenge by modifying model parameters or architectures in a supervised, task-specific manner.<n>We propose MoRe, a framework that identifies modularity in the representation itself rather than allocating it at the architectural level.
  arXiv  Detail & Related papers  (2026-05-14T04:46:54Z)
• Architecture Without Architects: How AI Coding Agents Shape Software Architecture [0.6299766708197881]
  We propose six prompt-architecture coupling patterns to map natural-structured prompt features to the infrastructure they require.<n>We term the phenomenon vibe architecting, architecture shaped by prompts rather than deliberate design, and outline review practices, decision records, and tooling to bring these hidden decisions under governance.
  arXiv  Detail & Related papers  (2026-04-05T07:32:37Z)
• A Modular Cognitive Architecture for Assisted Reasoning: The Nemosine Framework [0.0]
  The Nemosine Framework is a modular cognitive architecture designed to support assisted reasoning, structured thinking, and systematic analysis.<n>The framework combines principles from metacognition, distributed cognition, and modular cognitive systems to offer an operational structure for assisted problem-solving and decision support.
  arXiv  Detail & Related papers  (2025-12-04T06:09:35Z)
• Microservices Are Dying, A New Method for Module Division Based on Universal Interfaces [8.488970960755672]
  This paper proposes a conceptual method for calculating module independence and utilizes this method to derive the necessary conditions for module independence.<n>A new system design philosophy and software engineering methodology is proposed, aimed at eliminating dependencies between modules.<n>The paper concludes that this architecture aims to explore a novel path for increasingly complex systems, beyond microservice and monolithic architectures.
  arXiv  Detail & Related papers  (2025-11-06T17:01:24Z)
• Intervening to learn and compose disentangled representations [8.452837716541705]
  We propose a new approach to training arbitrarily expressive generative models that simultaneously learn disentangled latent structure.<n>This is accomplished by adding a simple decoder-only module to the head of an existing decoder block that can be arbitrarily complex.<n>Inspired by the notion of intervention in causal graphical models, our module selectively modifies its architecture during training, allowing it to learn a compact joint model over different contexts.
  arXiv  Detail & Related papers  (2025-07-07T08:30:27Z)
• The Generalist Brain Module: Module Repetition in Neural Networks in Light of the Minicolumn Hypothesis [0.0]
  Review aims to synthesizing historical, theoretical, and methodological perspectives on neural module repetition.<n>We believe that a system that adopts the benefits of CI, while adhering to architectural and functional principles of the minicolumns, could challenge the modern AI problems of scalability, energy consumption, and democratization.
  arXiv  Detail & Related papers  (2025-07-01T09:13:10Z)
• DitHub: A Modular Framework for Incremental Open-Vocabulary Object Detection [48.257506587226324]
  We introduce DitHub, a framework designed to build and maintain a library of efficient adaptation modules.<n>Inspired by Version Control Systems, DitHub manages expert modules as branches that can be fetched and merged as needed.<n>Our method achieves state-of-the-art performance on the ODinW-13 benchmark and ODinW-O, a newly introduced benchmark designed to assess class reappearance.
  arXiv  Detail & Related papers  (2025-03-12T11:15:34Z)
• I Have an Attention Bridge to Sell You: Generalization Capabilities of Modular Translation Architectures [3.0696094577634963]
  We study whether modularity affects translation quality; as well as how well modular architectures generalize across different evaluation scenarios. For a given computational budget, we find non-modular architectures to be always comparable or preferable to all modular designs we study.
  arXiv  Detail & Related papers  (2024-04-27T14:10:51Z)
• Pangu-Agent: A Fine-Tunable Generalist Agent with Structured Reasoning [50.47568731994238]
  Key method for creating Artificial Intelligence (AI) agents is Reinforcement Learning (RL) This paper presents a general framework model for integrating and learning structured reasoning into AI agents' policies.
  arXiv  Detail & Related papers  (2023-12-22T17:57:57Z)
• Discovering modular solutions that generalize compositionally [55.46688816816882]
  We show that identification up to linear transformation purely from demonstrations is possible without having to learn an exponential number of module combinations. We further demonstrate empirically that meta-learning from finite data can discover modular policies that generalize compositionally in a number of complex environments.
  arXiv  Detail & Related papers  (2023-12-22T16:33:50Z)
• ModuleFormer: Modularity Emerges from Mixture-of-Experts [60.6148988099284]
  This paper proposes a new neural network architecture, ModuleFormer, to improve the efficiency and flexibility of large language models. Unlike the previous SMoE-based modular language model, ModuleFormer can induce modularity from uncurated data.
  arXiv  Detail & Related papers  (2023-06-07T17:59:57Z)
• Independent Modular Networks [3.10678167047537]
  Monolithic neural networks dismiss the compositional nature of data generation processes. We propose a modular network architecture that splits the modules into roles. We also provide regularizations that improve the resiliency of the modular network to the problem of module collapse.
  arXiv  Detail & Related papers  (2023-06-02T07:29:36Z)
• Modular Deep Learning [120.36599591042908]
  Transfer learning has recently become the dominant paradigm of machine learning. It remains unclear how to develop models that specialise towards multiple tasks without incurring negative interference. Modular deep learning has emerged as a promising solution to these challenges.
  arXiv  Detail & Related papers  (2023-02-22T18:11:25Z)
• Disentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers [72.04044221898059]
  ReasonFormer is a unified reasoning framework for mirroring the modular and compositional reasoning process of humans. The representation module (automatic thinking) and reasoning modules (controlled thinking) are disentangled to capture different levels of cognition. The unified reasoning framework solves multiple tasks with a single model,and is trained and inferred in an end-to-end manner.
  arXiv  Detail & Related papers  (2022-10-20T13:39:55Z)
• Is a Modular Architecture Enough? [80.32451720642209]
  We provide a thorough assessment of common modular architectures, through the lens of simple and known modular data distributions. We highlight the benefits of modularity and sparsity and reveal insights on the challenges faced while optimizing modular systems.
  arXiv  Detail & Related papers  (2022-06-06T16:12:06Z)
• Behavior Trees in Robot Control Systems [0.0]
  Key idea underlying behavior trees is to make use of modularity, hierarchies and feedback. A hierarchy of such modules is natural, since robot tasks can often be decomposed into a hierarchy of sub-tasks. feedback control is a fundamental tool for handling uncertainties and disturbances in any low level control system.
  arXiv  Detail & Related papers  (2022-03-24T14:16:15Z)
• Robustness modularity in complex networks [1.749935196721634]
  We propose a new measure based on the concept of robustness. robustness modularity is the probability to find trivial partitions when the structure of the network is randomly perturbed. Tests on artificial and real graphs reveal that robustness modularity can be used to assess and compare the strength of the community structure of different networks.
  arXiv  Detail & Related papers  (2021-10-05T19:00:45Z)
• Cognitive Capabilities for the CAAI in Cyber-Physical Production Systems [2.348805691644086]
  This paper presents the cognitive module of the cognitive architecture for artificial intelligence (CAAI) in cyber-physical production systems ( CPPS) Declarative user goals and the provided algorithm-knowledge base allow the dynamic pipeline orchestration and configuration. A big data platform (BDP) instantiates the pipelines and monitors the CPPS performance for further evaluation.
  arXiv  Detail & Related papers  (2020-12-03T10:55:56Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.