Showing 1–18 of 18 results for author: van Schuppen, J H

Optimal Control of a Stochastic Power System -- Algorithms and Mathematical Analysis

Authors: Zhen Wang, Kaihua Xi, Aijie Cheng, Hai Xiang Lin, Jan H. van Schuppen

Abstract: The considered optimal control problem of a stochastic power system, is to select the set of power supply vectors which infimizes the probability that the phase-angle differences of any power flow of the network, endangers the transient stability of the power system by leaving a critical subset. The set of control laws is restricted to be a periodically recomputed set of fixed power supply vectors… ▽ More The considered optimal control problem of a stochastic power system, is to select the set of power supply vectors which infimizes the probability that the phase-angle differences of any power flow of the network, endangers the transient stability of the power system by leaving a critical subset. The set of control laws is restricted to be a periodically recomputed set of fixed power supply vectors based on predictions of power demand for the next short horizon. Neither state feedback nor output feedback is used. The associated control objective function is Lipschitz continuous, nondifferentiable, and nonconvex. The results of the paper include that a minimum exists in the value range of the control objective function. Furthermore, it includes a two-step procedure to compute an approximate minimizer based on two key methods: (1) a projected generalized subgradient method for computing an initial vector, and (2) a steepest descent method for approximating a local minimizer. Finally, it includes two convergence theorems that an approximation sequence converges to a local minimum. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: 24 pages, 2 figures

MSC Class: 93E20; 90C30; and 90C26

Increasing the Synchronization Stability in Complex Networks

Authors: Xian Wu, Kaihua Xi, Aijie Cheng, Hai Xiang Lin, Jan H. van Schuppen

Abstract: We aim to increase the ability of a of coupled phase oscillators to maintain the synchronization when the system is affected by stochastic disturbances. We model the disturbances by Gaussian noise and use the mean first hitting time when the state hits the boundary of a secure domain, that is a subset of the basin of the attraction, to measure the synchronization stability. Based on the invariant… ▽ More We aim to increase the ability of a of coupled phase oscillators to maintain the synchronization when the system is affected by stochastic disturbances. We model the disturbances by Gaussian noise and use the mean first hitting time when the state hits the boundary of a secure domain, that is a subset of the basin of the attraction, to measure the synchronization stability. Based on the invariant probability distribution of a system of phase oscillators subject to Gaussian disturbances, we propose an optimization method to increase the mean first hitting time, and thus increase the synchronization stability. In this method, a new metric for the synchronization stability is defined as the probability of the state being absent from the secure domain, which reflects the impact of all the system parameters and the strength of the disturbances. Furthermore, by this new metric, one may identify those edges which may lead to desynchronization with a high risk. A case study shows that the mean first hitting time is dramatically increased after solving the corresponding optimization problems and the vulnerable edges are effectively identified. It is also found that optimizing the synchronization by maximizing the order parameter or the phase cohesiveness may dramatically increase the value of the metric and decrease the mean first hitting time, thus decrease the synchronization stability. △ Less

Submitted 30 March, 2023; v1 submitted 26 July, 2022; originally announced August 2022.

Comments: 15 pages, 5 figures

Transient Performance of Power Systems with Distributed Power-Imbalance Allocation Control

Authors: Kaihua Xi, Hai Xiang Lin, Jan H. van Schuppen

Abstract: We investigate the sensitivity of the transient performance of power systems controlled by Distributed Power-Imbalance Allocation Control (DPIAC) on the parameters of the control law. We model the disturbances at power loads as Gaussian white noises and measure the transient performance of the frequency deviation and control cost by the H_2 norm. For a power system with a communication network of… ▽ More We investigate the sensitivity of the transient performance of power systems controlled by Distributed Power-Imbalance Allocation Control (DPIAC) on the parameters of the control law. We model the disturbances at power loads as Gaussian white noises and measure the transient performance of the frequency deviation and control cost by the H_2 norm. For a power system with a communication network of the same topology as the power network, analysis shows that the transient performance of the frequency can be greatly improved by accelerating the convergence of the frequencies to the nominal value through a singe control gain coefficient. However, the control cost increases linearly as this control gain coefficient increases. Hence, in the feedback control law, DPIAC, there is a trade-off between the frequency deviation and control cost which is determined by this control gain coefficient. By increasing another control gain coefficient, the control cost can be decreased with an accelerated consensus of the marginal costs during the transient phase. Furthermore, the behavior of the state approaches that of a centralized control law when the consensus of the marginal costs is accelerated. △ Less

Submitted 6 March, 2021; v1 submitted 25 October, 2019; originally announced October 2019.

Comments: 8 pages. This paper was submitted to a journal for publication

An Observable Canonical Form for a Rational System on a Variety

Authors: Jana Nemcova, Jan H. van Schuppen

Abstract: An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the canonical form is defined by the condition that two equivalent systems have the same response map. A proof is provided that the defined form is well-defined canonic… ▽ More An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the canonical form is defined by the condition that two equivalent systems have the same response map. A proof is provided that the defined form is well-defined canonical form. Special cases are discussed. △ Less

Submitted 4 May, 2018; originally announced May 2018.

MSC Class: 93B10; 93B15; 93B25

Controllability of Linear Positive Systems: An Alternative Formulation

Authors: Yashar Zeinaly, Jan H. van Schuppen, Bart De Schutter

Abstract: An alternative formulation for the controllability problem of single input linear positive systems is presented. Driven by many industrial applications, this formulations focuses on the case where the region of interest is only a subset of positive orthant rather than the entire positive orthant. To this end, we discuss the geometry of controllable subsets and develop numerically verifiable condit… ▽ More An alternative formulation for the controllability problem of single input linear positive systems is presented. Driven by many industrial applications, this formulations focuses on the case where the region of interest is only a subset of positive orthant rather than the entire positive orthant. To this end, we discuss the geometry of controllable subsets and develop numerically verifiable conditions for polyhedrality of controllable subsets. Finally, we provide a method to check for controllability of a target set based on our approach. △ Less

Submitted 22 April, 2017; originally announced April 2017.

Comments: The paper was submitted on Jan. 1, 2017

Power-Imbalance Allocation Control of Power Systems-Secondary Frequency Control

Authors: Kaihua Xi, Johan L. A. Dubbeldam, Hai Xiang Lin, Jan H. van Schuppen

Abstract: The traditional secondary frequency control of power systems restores nominal frequency by steering Area Control Errors (ACEs) to zero. Existing methods are a form of integral control with the characteristic that large control gain coefficients introduce an overshoot and small ones result in a slow convergence to a steady state. In order to deal with the large frequency deviation problem, which is… ▽ More The traditional secondary frequency control of power systems restores nominal frequency by steering Area Control Errors (ACEs) to zero. Existing methods are a form of integral control with the characteristic that large control gain coefficients introduce an overshoot and small ones result in a slow convergence to a steady state. In order to deal with the large frequency deviation problem, which is the main concern of the power system integrated with a large number of renewable energy, a faster convergence is critical. In this paper, we propose a secondary frequency control method named Power-Imbalance Allocation Control (PIAC) to restore the nominal frequency with a minimized control cost,in which a coordinator estimates the power imbalance and dispatches the control inputs to the controllers after solving an economic power dispatch problem. The power imbalance estimation converges exponentially in PIAC, both overshoots and large frequency deviations are avoided. In addition, when PIAC is implemented in a multi-area controlled network, the controllers of an area are independent of the disturbance of the neighbor areas, which allows an asynchronous control in the multi-area network. A Lyapunov stability analysis shows that PIAC is locally asymptotically stable and simulation results illustrates that it effectively eliminates the drawback of the traditional integral control based methods. △ Less

Submitted 15 July, 2018; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: 18 pages, This paper has been published in the journal of Automatica in June, 2018

Rational observers of rational systems

Authors: Jana Nemcova, Mihaly Petreczky, Jan H. van Schuppen

Abstract: Rational observers are to be constructed for rational systems while polynomial observers are to be constructed for polynomial systems. An observer synthesis procedure is formulated. First an output-based rational realization is synthesized for the considered rational system. Then a perturbation technique creates an observer. Finite algebraic observability of the rational system impies the existenc… ▽ More Rational observers are to be constructed for rational systems while polynomial observers are to be constructed for polynomial systems. An observer synthesis procedure is formulated. First an output-based rational realization is synthesized for the considered rational system. Then a perturbation technique creates an observer. Finite algebraic observability of the rational system impies the existence of a output-based rational realization. Several examples of rational observers are provided including a polynomial system of which the state-space dimension of the polynomial observer is strictly higher than that of the corresponding system. △ Less

Submitted 23 December, 2016; originally announced December 2016.

Comments: This report is the original submission to the 55th IEEE Conference on Decision and Control held in December 2016. The proceedings of the conference contains the six page final version. The submission has 8 pages. The submission contains two more examples but less explicit results on the performance of the observer

On a Distributed Computation of Supervisors in Modular Supervisory Control

Authors: Jan Komenda, Tomáš Masopust, J. H. van Schuppen

Abstract: In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors… ▽ More In this paper, we discuss a supervisory control problem of modular discrete-event systems that allows for a distributed computation of supervisors. We provide a characterization and an algorithm to compute the supervisors. If the specification does not satisfy the properties, we make use of a relaxation of coordination control to compute a sublanguage of the specification for which the supervisors can be computed in a distributed way. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: Extended abstract of a paper presented at the International Conference on Complex Systems Engineering (ICCSE 2015)

An Algorithm for System Identification of a Discrete-Time Polynomial System without Inputs

Authors: Jana Němcová, Mihály Petreczky, Jan H. van Schuppen

Abstract: A subalgebraic approximation algorithm is proposed to estimate from a set of time series the parameters of the observer representation of a discrete-time polynomial system without inputs which can generate an approximation of the observed time series. A major step of the algorithm is to construct a set of generators for the polynomial function from the past outputs to the future outputs. For this… ▽ More A subalgebraic approximation algorithm is proposed to estimate from a set of time series the parameters of the observer representation of a discrete-time polynomial system without inputs which can generate an approximation of the observed time series. A major step of the algorithm is to construct a set of generators for the polynomial function from the past outputs to the future outputs. For this singular value decompositions and polynomial factorizations are used. An example is provided. △ Less

Submitted 8 July, 2015; originally announced July 2015.

Comments: IFAC Symposium System Identification 2015. The arxiv report is equal to the initial conference submission, except for the last two words of the title

MSC Class: 93B30

Combined Top-down and Bottom-up Approach to Multilevel Supervisory Control

Authors: Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Abstract: Recently, we have proposed two complementary approaches, top-down and bottom-up, to multilevel supervisory control of discrete-event systems. In this paper, we compare and combine these approaches. The combined approach has strong features of both approaches, namely, a lower complexity of the top-down approach with the generality of the bottom-up approach. We show that, for prefix-closed languages… ▽ More Recently, we have proposed two complementary approaches, top-down and bottom-up, to multilevel supervisory control of discrete-event systems. In this paper, we compare and combine these approaches. The combined approach has strong features of both approaches, namely, a lower complexity of the top-down approach with the generality of the bottom-up approach. We show that, for prefix-closed languages, a posteriori supervisors computed in the bottom-up manner do not alter maximal permissiveness within the three-level coordination control architecture, that is, the supremal three-level conditionally-controllable and conditionally-normal language can always be computed in a distributed way using multilevel coordination. Moreover, a general polynomial-time procedure for non-prefix closed case is proposed based on coordinators for nonblockingness and a posteriori supervisors. △ Less

Submitted 25 February, 2015; originally announced February 2015.

A Relaxed Framework for Coordination Control of Discrete-Event Systems

Authors: Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Abstract: In this paper, we simplify the coordination control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole coordination control framework, including the notions of conditional controllability, conditional observability, and conditional normality. Compared to o… ▽ More In this paper, we simplify the coordination control approach by removing the supervisor for the coordinator from the closed-loop system and relax the restrictions placed on a coordinator. This relaxation results in the simplification of the whole coordination control framework, including the notions of conditional controllability, conditional observability, and conditional normality. Compared to our previous work, the role of the supervisor on a coordinator alphabet is postponed until the final stage of the coordination control synthesis. This completes and clarifies our previous results, while all the fundamental theorems remain valid in the relaxed framework. Unlike previous approaches we can always compute a conditionally controllable sublanguage without any restricting conditions we have used before. △ Less

Submitted 30 January, 2015; originally announced January 2015.

MSC Class: 93C65; 93A99; 93B50

A Note on Relative Observability in Coordination Control

Authors: Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Abstract: Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coordina… ▽ More Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coordination control. We prove that conditional normality is a stronger condition than conditional (strong) relative observability, hence conditional strong relative observability can be used in coordination control instead of conditional normality, and present a distributive procedure for the computation of a conditionally controllable and conditionally observable sublanguage of the specification that contains the supremal conditionally strong relative observable sublanguage. △ Less

Submitted 8 April, 2014; originally announced April 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1403.4762

Maximally Permissive Coordination Supervisory Control -- Towards Necessary and Sufficient Conditions

Authors: Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Abstract: In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The paper f… ▽ More In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The paper further generalizes the previous study by considering general, non-prefix-closed languages. △ Less

Submitted 19 March, 2014; originally announced March 2014.

Coordination Control of Discrete-Event Systems Revisited

Authors: Jan Komenda, Tomas Masopust, Jan H. van Schuppen

Abstract: In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simp… ▽ More In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The paper is generalized to non-prefix-closed languages, that is, supremal conditionally controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into coordination control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard. In other words, unless P=NP, it is not possible to find a polynomial algorithm to compute the minimal coordinator with respect to the number of events. △ Less

Submitted 16 July, 2013; originally announced July 2013.

Journal ref: Discrete Event Dynamic Systems 25(1), 65-94, 2015

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems

Authors: Jan Komenda, Tomáš Masopust, Jan H. van Schuppen

Abstract: In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation o… ▽ More In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, conditional controllability, and conditional closedness are revised and simplified, supremal conditionally controllable sublanguages of general non-prefix-closed languages are discussed, and a procedure for the computation of a coordinator for nonblockingness is presented. △ Less

Submitted 26 July, 2012; originally announced July 2012.

Comments: WODES 2012, Guadalajara, Mexico

Realization theory of discrete-time linear switched systems

Authors: Mihaly Petreczy, Laurent Bako, Jan H. van Schuppen

Abstract: The paper presents realization theory of discrete-time linear switched systems. A discrete-time linear switched system is a hybrid system, such that the continuous sub-system associated with each discrete state is linear. In this paper we present necessary and sufficient conditions for an input-output map to admit a discrete-time linear switched state-space realization. The conditions are formulat… ▽ More The paper presents realization theory of discrete-time linear switched systems. A discrete-time linear switched system is a hybrid system, such that the continuous sub-system associated with each discrete state is linear. In this paper we present necessary and sufficient conditions for an input-output map to admit a discrete-time linear switched state-space realization. The conditions are formulated as finite rank conditions of a generalized Hankel-matrix. In addition, we present a characterization of minimality of discrete-time linear switched systems in terms of reachability and observable.Further, we prove that minimal realizations are unique up to isomorphism. We also discuss procedures for converting a linear switched system to a minimal one and we present an algorithm for constructing a state-space representation from input-output data.The paper uses the theory rational formal power series in non-commutative variables. The latter theory was successfully applied to bilinear and state-affine systems in the past. △ Less

Submitted 23 February, 2012; v1 submitted 7 March, 2011; originally announced March 2011.

Comments: Some typos have been corrected and Algorithm 1 (realization algorithm) has been added, together with a theorem stating the correctness of the algorithm

MSC Class: 93B15; 93B20; 93B25; 93C99

Partial-realization theory and algorithms for linear switched systems: A formal power series approach

Authors: Mihaly Petreczky, Jan H. van Schuppen

Abstract: The paper presents partial-realization theory and realization algorithms for linear switched systems. Linear switched systems are a particular subclass of hybrid systems. We formulate a notion of a partial realization and we present conditions for existence of a minimal partial realization. We propose two partial-realization algorithms and we show that under certain conditions they yield a complet… ▽ More The paper presents partial-realization theory and realization algorithms for linear switched systems. Linear switched systems are a particular subclass of hybrid systems. We formulate a notion of a partial realization and we present conditions for existence of a minimal partial realization. We propose two partial-realization algorithms and we show that under certain conditions they yield a complete realization. Our main tool is the theory of rational formal power series. △ Less

Submitted 25 October, 2010; originally announced October 2010.

MSC Class: 93B15; 93B20; 93B25; 93C99

Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme

Authors: Jan Komenda, Tomas Masopust, Jan H. van Schuppen

Abstract: Supervisory control of discrete-event systems with a global safety specification and with only local supervisors is a difficult problem. For global specifications the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a… ▽ More Supervisory control of discrete-event systems with a global safety specification and with only local supervisors is a difficult problem. For global specifications the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution is also provided in this paper and conditions are stated under which the result of our procedure coincides with the supremal controllable sublanguage. △ Less

Submitted 16 July, 2010; originally announced July 2010.

Comments: 29 pages, 11 figures