Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, the set of possible interactions in such a way as to guarantee the given safety conditions for all possible runs. In distributed priority synthesis we are interested in obtaining local sets of priorities, which are deployed in terms of local component controllers sharing intended next moves between components in local neighborhoods only. These possible communication paths between local controllers are specified by means of a communication architecture. We formally define the problem of distributed priority synthesis in terms of a multi-player safety game between players for (angelically) selecting the next transition of the components and an environment for (demonically) updating uncontrollable variables; this problem is NP-complete. We propose several optimizations including a solution-space exploration based on a diagnosis method using a nested extension of the usual attractor computation in games together with a reduction to corresponding SAT problems. When diagnosis fails, the method proposes potential candidates to guide the exploration. These optimized algorithms for solving distributed priority synthesis problems have been integrated into our VissBIP framework. An experimental validation of this implementation is performed using a range of case studies including scheduling in multicore processors and modular robotics.
Starting with an arbitrary controller Katz, Peled and Schewe @cite_9 @cite_11 propose a knowledge-based approach for obtaining a decentralized controller by reducing the number of required communication between components. This approach assumes a fully connected communication structure, and the approach fails if the starting controller is inherently non-deployable.
@cite_9 @cite_11
2165894964 2034073776 2018889945 2015084328
We consider the problem of constructing optimal decentralized controllers. We formulate this problem as one of minimizing the closed-loop norm of a feedback system subject to constraints on the controller structure. We define the notion of quadratic invariance of a constraint set with respect to a system, and show that if the constraint set has this property, then the constrained minimum-norm problem may be solved via convex programming. We also show that quadratic invariance is necessary and sufficient for the constraint set to be preserved under feedback. These results are developed in a very general framework, and are shown to hold in both continuous and discrete time, for both stable and unstable systems, and for any norm. This notion unifies many previous results identifying specific tractable decentralized control problems, and delineates the largest known class of convex problems in decentralized control. As an example, we show that optimal stabilizing controllers may be efficiently computed in the case where distributed controllers can communicate faster than their dynamics propagate. We also show that symmetric synthesis is included in this classification, and provide a test for sparsity constraints to be quadratically invariant, and thus amenable to convex synthesis. In this paper, the problem of feedback and active user selection in multiple-input single-output (MISO) wireless systems such that the system’s stability region is as big as possible is examined. The focus is on a system in a Rayleigh fading environment where zero forcing precoding is used to serve all active users in every slot. Acquisition of the channel states is done via uplink training in time division duplexing mode by the active users. Clearly, only a subset of users can perform uplink training and the selection of this subset is a challenging and interesting problem especially in MISO systems. The stability regions of a baseline centralized scheme and two novel decentralized policies are examined analytically. In the decentralized schemes, the transmitter broadcasts periodically the queue state information and the users contend for the channel in a carrier sense multiple access-based manner with parameters based on the outdated queue state information and real-time channel state information. We show that, using infrequent signaling between the base station and the users, the decentralized policies outperform the centralized policy. In addition, a threshold-based user selection and training scheme for discrete-time contention is proposed. The results of this paper imply that, as far as stability is concerned, the users must be involved in the active user selection and feedback training decision. This should be leveraged in future communication systems. This paper considers designs of decentralized controllers for continuous-time linear time-invariant multivariable control systems. The purpose is to show how to attain robust stability and robust performance of decentralized control systems by sequential design procedure. Compared with independent designs in which each controller block is designed independently of others, sequential designs can reduce conservatism associated with the controller design since they can exploit information about the other loops which have been already designed. A novel method of sequential designs for the robust performance are proposed. Moreover, an approach to a kind of failure tolerance is considered. The proposed sequential design procedure is based on expanding construction of decentralized control systems, so that the proposed methods can deal with extension of subsystems. We address the problem of designing decentralized feedback laws to force the outputs of decoupled nonlinear systems (agents) to follow geometric paths while holding a desired formation pattern. To this effect we propose a general framework that takes into account i) the topology of the communication links among the agents, ii) the fact that communications do not occur in a continuous manner, and iii) the cost of exchanging information. We provide conditions under which the resulting overall closed loop system is input-to-state stable and apply the methodology for two cases: agents with nonlinear dynamics in strict feedback form and a class of underactuated vehicles. Furthermore, we address explicitly the case where the communications among the agents occur with non-homogenous, possibly varying delays. A coordinated path-following algorithm is derived for multiple underactuated autonomous underwater vehicles. Simulation results are presented and discussed.