中文
相关论文

相关论文: A Contract Theory for Layered Control Architecture…

200 篇论文

In formation control, an ensemble of autonomous agents is required to stabilize at a given configuration in the plane, doing so while agents are allowed to observe only a subset of the ensemble. As such, formation control provides a rich…

最优化与控制 · 数学 2011-10-07 M. -A. Belabbas

This paper proposes a strategic multi layers model based on multi agents approach for supply chain system. It introduces a formulation and a solution methodology for the problem of supply chain design and modeling. In this paper we describe…

多智能体系统 · 计算机科学 2018-11-01 Samia Chehbi-Gamoura , Yacine Ouzrout , Abdelaziz Bouras

In this work, inspired in the symbolic dynamic of chaotic systems and using machine learning techniques, a control strategy for complex systems is designed. Unlike the usual methodologies based on modeling, where the control signal is…

混沌动力学 · 物理学 2021-06-08 Pedro García

Motivated by the growing requirements on the operation of complex engineering systems, we present contracts as specifications for continuous-time linear dynamical systems with inputs and outputs. A contract is defined as a pair of…

动力系统 · 数学 2021-09-17 B. M. Shali , A. J. van der Schaft , B. Besselink

In layered communication networks there are only connections between intermediate nodes in adjacent layers. Applying network coding to such networks provides a number of benefits in theory as well as in practice. We propose a "layering…

信息论 · 计算机科学 2016-02-10 Michael Cyran , Birgit Schotsch , Johannes B. Huber , Robert F. H. Fischer , Vahid Forutan

The aim of this work is to define a planner that enables robust legged locomotion for complex multi-agent systems consisting of several holonomically constrained quadrupeds. To this end, we employ a methodology based on behavioral systems…

机器人学 · 计算机科学 2022-11-15 Randall T Fawcett , Leila Amanzadeh , Jeeseop Kim , Aaron D Ames , Kaveh Akbari Hamed

These lecture notes cover basic automata-theoretic concepts and logical formalisms for the modeling and verification of concurrent and distributed systems. Many of these concepts naturally extend the classical automata and logics over…

计算机科学中的逻辑 · 计算机科学 2021-10-19 Benedikt Bollig , Paul Gastin

Smart grid is the modern two way mechanism combining the power grid, control center, smart metering facility, energy routing and customer demand response services. The system being complicated, security vulnerabilities are paramount for the…

密码学与安全 · 计算机科学 2023-04-25 Rahat Masum

Power systems are subject to fundamental changes due to the increasing infeed of decentralised renewable energy sources and storage. The decentralised nature of the new actors in the system requires new concepts for structuring the power…

适应与自组织系统 · 物理学 2020-04-22 Lia Strenge , Paul Schultz , Jürgen Kurths , Jörg Raisch , Frank Hellmann

The widespread deployment of power electronic technologies is transforming modern power systems into fast, nonlinear, and heterogeneous networks. Conventional modeling and control approaches, rooted in quasi-static analysis and centralized…

系统与控制 · 电气工程与系统科学 2026-03-31 Hiya Gada , Rupamathi Jaddivada , Marija Ilic

Distributed control algorithms are known to reduce overall computation time compared to centralized control algorithms. However, they can result in inconsistent solutions leading to the violation of safety-critical constraints. Inconsistent…

系统与控制 · 电气工程与系统科学 2024-11-26 Julius Beerwerth , Maximilian Kloock , Bassam Alrifaee

As the scale of networked control systems increases and interactions between different subsystems become more sophisticated, questions of the resilience of such networks increase in importance. The need to redefine classical system and…

系统与控制 · 电气工程与系统科学 2022-05-26 Mohammad Pirani , Aritra Mitra , Shreyas Sundaram

In this work, we propose a novel shared autonomy framework to operate articulated robots. We provide strategies to design both the task-oriented hierarchical planning and policy shaping algorithms for efficient human-robot interactions in…

机器人学 · 计算机科学 2023-07-06 Ehsan Yousefi , Mo Chen , Inna Sharf

Device-to-Device (D2D) communications, which allow direct communication among mobile devices, have been proposed as an enabler of local services in 3GPP LTE-Advanced (LTE-A) cellular networks. This work investigates a hierarchical LTE-A…

网络与互联网体系结构 · 计算机科学 2015-01-06 Xiao Lu , Ping Wang , Dusit Niyato

In the study of ad hoc sensor networks, clustering plays an important role in energy conservation therefore analyzing the mechanics of such topology can be helpful to make logistic decisions .Using the theory of complex network the…

网络与互联网体系结构 · 计算机科学 2014-10-30 Chiranjib Patra , Samiran Chattopadhyay , Matangini Chattopadhyay , Parama Bhaumik

We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications. We first transform the STL requirements into set containment problems…

系统与控制 · 电气工程与系统科学 2022-07-04 Kasra Ghasemi , Sadra Sadraddini , Calin Belta

Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication patterns from a global specification of the desired system…

编程语言 · 计算机科学 2022-05-16 Lorenzo Gheri , Ivan Lanese , Neil Sayers , Emilio Tuosto , Nobuko Yoshida

Power systems are subject to fundamental changes due to the increasing infeed of renewable energy sources. Taking the accompanying decentralization of power generation into account, the concept of prosumer-based microgrids gives the…

系统与控制 · 电气工程与系统科学 2021-08-11 Lia Strenge , Xiaohan Jing , Ruth Boersma , Paul Schultz , Frank Hellmann , Jürgen Kurths , Jörg Raisch , Thomas Seel

Recently, multi-time-scale agent architectures have extended the ubiquitous single-loop paradigm by introducing temporal hierarchies with distinct cognitive layers. While yielding substantial performance gains, this diversification…

人工智能 · 计算机科学 2026-01-19 Percy Jardine

In this paper, a necessary and sufficient condition for the controllability of networked systems with heterogeneous dynamics is established where the nodes are higher dimensional linear time invariant systems and the network topology is…

最优化与控制 · 数学 2023-01-09 Abhijith Ajayakumar , Raju K george