Synthesis Problem

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 15264 Experts worldwide ranked by ideXlab platform

M.i. Andriychuk - One of the best experts on this subject based on the ideXlab platform.

Matthew M. Peet - One of the best experts on this subject based on the ideXlab platform.

  • A Convex Reformulation of the Controller Synthesis Problem for Infinite-Dimensional Systems using Linear Operator Inequalities (LOIs) with Application to MIMO Multi-Delay Systems
    2018 Annual American Control Conference (ACC), 2018
    Co-Authors: Matthew M. Peet
    Abstract:

    In this paper, we propose a formal duality and operator-based framework for controller Synthesis of infinite-dimensional systems using convex optimization. Specifically, we propose a class of what we call Linear Operator Inequalities (LOIs) and give conditions under which LOIs are solvable and under which they can be used for controller Synthesis. Within this LOI framework, the first technical contribution of the paper is a new dual stability condition under which we can reformulate the controller Synthesis Problem as an LOI. The second technical contribution is LOIs for both primal and dual stability of systems with multiple delays. The third technical contribution is to show that both these LOIs are solvable. Finally, we use an LMI-based framework to solve these LOIs and demonstrate numerically that the primal and dual stability conditions are functionally equivalent for MIMO systems with multiple delays.

  • A Convex Formulation of the H ∞ -Optimal Controller Synthesis Problem for Multi-Delay Systems.
    arXiv: Systems and Control, 2018
    Co-Authors: Matthew M. Peet
    Abstract:

    Optimal controller Synthesis is a bilinear Problem and hence difficult to solve in a computationally efficient manner. We are able to resolve this bilinearity for systems with delay by first convexifying the Problem in infinite-dimensions - formulating the $H_\infty$ optimal state-feedback controller Synthesis Problem for distributed-parameter systems as a Linear Operator Inequality - a form of convex optimization with operator variables. Next, we use positive matrices to parameterize positive `complete quadratic' operators - allowing the controller Synthesis Problem to be solved using Semidefinite Programming (SDP). We then use the solution to this SDP to calculate the feedback gains and provide effective methods for real-time implementation. Finally, we use several test cases to verify that the resulting controllers are \textit{optimal} to several decimal places as measured by the minimal achievable closed-loop $H_\infty$ norm, and as compared against controllers designed using high-order Pad\'e approximations.

  • A convex reformulation of the controller Synthesis Problem for MIMO single-delay systems with implementation in SOS
    2017 American Control Conference (ACC), 2017
    Co-Authors: Matthew M. Peet
    Abstract:

    In this paper, we propose a new dual class of stability condition for MIMO single-delay systems which is based on the implicit existence of a Lyapunov-Krasovskii functional but does not explicitly construct such a functional. This new type of stability condition allows the controller Synthesis Problem to be formulated as a convex optimization Problem with little or no conservatism using a variable transformation. Furthermore, we show how to invert this variable transformation in order to obtain the stabilizing controller. The stability and controller Synthesis conditions are then enforced using the SOS framework exploiting recent advances in this field. Numerical testing verifies there is little to no conservatism in either the “dual” stability test or the controller Synthesis condition.

P.o. Savenko - One of the best experts on this subject based on the ideXlab platform.

  • About branching of solutions of Synthesis Problem for a flat aperture according to the prescribed amplitude directivity pattern
    2010 XVth International Seminar Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (DIPED), 2010
    Co-Authors: L. P. Protsakh, P.o. Savenko, M. D. Tkach
    Abstract:

    The Synthesis Problem of flat aperture according to the prescribed amplitude directivity pattern (DP), which is reduced to investigation and numerical solution of a two-dimensional non-linear integral equation of the Hammerstein type, is considered. The transcendental equations for finding the branching lines of the solutions are obtained. A numerical method of their finding is proposed. For the case of rectangular aperture the investigations of finding the branching-off solutions are given.

  • Numerical solution of nonlinear Synthesis Problem of flat aperture with use of smoothing functional
    2008 13th International Seminar Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory, 2008
    Co-Authors: P.o. Savenko, M. D. Tkach
    Abstract:

    One approach to the numerical solution of Synthesis Problem of antennas with flat radiating aperture according to the prescribed requirements to amplitude directivity pattern and presence of restrictions on norm of currents of excitation is stated. Nonuniqueness and branching of the solutions are characteristics of such class of Problems. Finding the optimum solutions is reduced to investigation and numerical solution of Hammestein type nonlinear two-dimensional integral equation. Numerical algorithms for finding the branching lines and branch off solutions of this equation are constructed and justified. Numerical examples are given.

  • The properties of solutions of the Synthesis Problem for the waveguide array
    DIPED - 2001. Proceedings of 6th International Seminar Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (IEEE Cat. , 2001
    Co-Authors: M. I. Andriychuk, P.o. Savenko
    Abstract:

    The Synthesis Problem of waveguide array with due regard for the mutual coupling of the elements is considered. The variational statement of Problem consists in minimization of functional presenting the mean-square deviation of the prescribed and synthesized amplitude radiation patterns; the functional contains additional summand, which specifies limitation on a norm of the excitation coefficients of the array elements. The nonlinear equation, corresponding to a functional, is solved numerically by the method of successive approximations. The linear equation for investigation of branchpoints is obtained. The results of numerical calculations are discussed.

  • About structure of solutions of nonlinear Synthesis Problem of linear antenna according to the prescribed power directivity pattern
    DIPED - 2000. Proceedings of 5th International Seminar Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (IEEE Cat. , 2000
    Co-Authors: P.o. Savenko
    Abstract:

    As an example of the Synthesis Problem of a linear antenna according to the prescribed power directivity pattern (DP), the results of research of the structure and properties of nonlinear integrated equation solutions, which is the Euler one of the goal functional, are presented. This functional includes both the requirement on the mean-square deviation, the given and synthesized DP by power, and the weighed restriction on the norm of the excitation sources in the form of the stabilizing functional. On the basis of the methods of branching theory of the nonlinear equations solutions it is shown that for the nonlinear Synthesis Problem the bifurcation of the solutions is characteristic. The equations for finding the bifurcation points are obtained. The quantity and characteristic properties difference from trivial solutions in the space of real continuous functions are determined.

  • Numerical solution of Synthesis Problem of flat microstrip antenna array according to the prescribed power directivity pattern
    DIPED - 2000. Proceedings of 5th International Seminar Workshop on Direct and Inverse Problems of Electromagnetic and Acoustic Wave Theory (IEEE Cat. , 2000
    Co-Authors: P.o. Savenko, M. D. Tkach
    Abstract:

    The variational Synthesis Problem of a flat microstrip antenna array according to the prescribed directivity pattern by power is considered. The mutual influence of their elements is taken into account in an approximation of the given surface currents distribution on the radiators. The effective computing algorithm of finding the nonlinear Synthesis equations solutions of various types is proposed. These equations are Euler ones of the researched functional. The Synthesis numerical examples of the space directivity pattern are presented.

D. Braha - One of the best experts on this subject based on the ideXlab platform.

  • On the complexity of the design Synthesis Problem
    IEEE Transactions on Systems Man and Cybernetics - Part A: Systems and Humans, 1996
    Co-Authors: O. Maimon, D. Braha
    Abstract:

    Presents and analyzes a formal model of a design process, emphasizing the Synthesis part. The design artifact description is identified as an algebraic structure. The desired function and constraints are mapped to the artifact description using an evolutionary process that can be visualized as a feedback loop of analysis, Synthesis and evaluation. A special case of the Synthesis activity, called the basic Synthesis Problem (BSP), is addressed. The BSP is shown to be NP-complete. As a consequence, tractability can be obtained by enforcing constraints on the artifact structure. As such, the authors present a model having an element of descriptive design theory that is also a framework for the future development of computational support systems and automatic design tools.

Wolfgang Reisig - One of the best experts on this subject based on the ideXlab platform.

  • The Synthesis Problem of Petri nets
    Acta Informatica, 1996
    Co-Authors: Jörg Desel, Wolfgang Reisig
    Abstract:

    The Synthesis Problem of concurrent systems is the Problem of synthesizing a concurrent system model from sequential observations. The paper studies the Synthesis Problem for elementary Petri nets and transition systems. A characterization of the class of transition systems which correspond to elementary Petri nets is proven. It is shown how to generate all elementary Petri nets corresponding to a given transition system. If there is any such elementary Petri net, it is proven that there always exists a small one which has only polynomially many elements in the size of the transition system.

  • the Synthesis Problem of petri nets
    Symposium on Theoretical Aspects of Computer Science, 1993
    Co-Authors: Jörg Desel, Wolfgang Reisig
    Abstract:

    The Problem of deriving concurrent operational models from sequentially observed behaviour is solved for elementary Petri nets. Labelled directed graphs are used to represent behaviour. A new characterization of graphs representing the behaviour of some elementary Petri net is given. It is shown how the set of all nets exhibiting the behaviour given by a graph can be constructed and that, if this set is not empty, it contains a net with a polynomial number of elements in the size of the graph.