Decentralized abstractions for multi-agent systems under coupled constraints
From MaRDI portal
(Redirected from Publication:1712902)
Agent technology and artificial intelligence (68T42) Decentralized systems (93A14) Feedback control (93B52) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65)
Abstract: The goal of this report is to define abstractions for multi-agent systems with feedback interconnection in their dynamics. In the proposed decentralized framework, we specify a finite or countable transition system for each agent which only takes into account the discrete positions of its neighbors. The dynamics of the considered systems consist of two components. An appropriate feedback law which guarantees that certain system and network requirements are fulfilled and induces coupled constraints, and additional free inputs which we exploit in order to accomplish high level tasks. In this work, we provide sufficient conditions on the space and time discretization for the abstraction of the system's behaviour which ensure that we can extract a well posed and hence meaningful transition system. Furthermore, these conditions include design parameters whose tuning provides the possibility for multiple transitions, and hence, enable the construction of transition systems with motion planning capabilities.
Recommendations
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Multi-agent planning under local LTL specifications and event-based synchronization
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- On the timed temporal logic planning of coupled multi-agent systems
- Multi-agent system motion planning under temporal logic specifications and control barrier function
Cites work
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- scientific article; zbMATH DE number 1794374 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Abstractions for hybrid systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Asymptotic behavior of dynamical and control systems under perturbation and discretization
- Bisimilar Finite Abstractions of Interconnected Systems
- Bisimilar linear systems.
- Box invariance in biologically-inspired dynamical systems
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Compositional construction of approximate abstractions
- Computing Abstractions of Nonlinear Systems
- Distributed Control of Networked Dynamical Systems: Static Feedback, Integral Action and Consensus
- Equivalence of Dynamical Systems by Bisimulation
- Finite Bisimulations for Switched Linear Systems
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Graph theoretic methods in multiagent networks
- Hybridization methods for the analysis of nonlinear systems
- Reach control on simplices by piecewise affine feedback
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Robustness and Invariance of Connectivity Maintenance Control for Multiagent Systems
- Stability and stabilization of nonlinear systems.
- Symbolic Models for Networks of Control Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
- Temporal logic motion planning for dynamic robots
- Verification and Control of Hybrid Systems
Cited in
(4)- scientific article; zbMATH DE number 6902518 (Why is no real title available?)
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Graph process specifications for hybrid networked systems
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
This page was built for publication: Decentralized abstractions for multi-agent systems under coupled constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1712902)
