-
Laboratory investigation of nominally two-dimensional anabatic flow on symmetric double slopes
Authors:
Roni H. Goldshmid,
Dan Liberzon
Abstract:
We investigated the dynamics of highly turbulent thermally driven anabatic (upslope) flow on a physical model inside a large water tank using particle image velocimetry (PIV) and a thermocouple grid. The results showed that the flow exhibited pronounced variations in velocity and temperature and, importantly, could not be accurately modeled as a two-dimensional quasi-steady flow. Five significant…
▽ More
We investigated the dynamics of highly turbulent thermally driven anabatic (upslope) flow on a physical model inside a large water tank using particle image velocimetry (PIV) and a thermocouple grid. The results showed that the flow exhibited pronounced variations in velocity and temperature and, importantly, could not be accurately modeled as a two-dimensional quasi-steady flow. Five significant findings are presented to underscore the three-dimensional nature of the flow. Namely, the B-shaped mean velocity profiles, B-shaped turbulent flux profiles, synthetic streaks that revealed particles flowing perpendicular to the laser sheet, average vorticity maps revealing helical structure splitting, and identified vortices shooting away from the boundary towards the apex plume. Collectively, these findings offer novel insights into the flow behavior patterns of thermally driven complex terrain flows, which influence local weather and microclimates and are responsible for scalar transport, e.g., pollution.
△ Less
Submitted 28 September, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
Wave-by-wave forecasts in directional seas using nonlinear dispersion corrections
Authors:
Eytan Meisner,
Mariano Galvagno,
David Andrade,
Dan Liberzon,
Raphael Stuhlmeier
Abstract:
We develop a new methodology for the deterministic forecasting of directional ocean surface waves, based on nonlinear frequency corrections. These frequency corrections can be pre-computed based on measured energy density spectra, and therefore come at no additional computational cost compared to linear theory. The nonlinear forecasting methodology is tested on highly-nonlinear, synthetically gene…
▽ More
We develop a new methodology for the deterministic forecasting of directional ocean surface waves, based on nonlinear frequency corrections. These frequency corrections can be pre-computed based on measured energy density spectra, and therefore come at no additional computational cost compared to linear theory. The nonlinear forecasting methodology is tested on highly-nonlinear, synthetically generated seas with a variety of values of average steepness and directional spreading, and shown to consistently outperform a linear forecast.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Commutation relations and stability of switched systems: a personal history
Authors:
Daniel Liberzon
Abstract:
This expository article presents an overview of research, conducted mostly between the mid-1990s and late 2000s, that explores a link between commutation relations among a family of asymptotically stable vector fields and stability properties of the switched system that these vector fields generate. This topic is viewed through the lens of the author's own involvement with it, by interspersing exp…
▽ More
This expository article presents an overview of research, conducted mostly between the mid-1990s and late 2000s, that explores a link between commutation relations among a family of asymptotically stable vector fields and stability properties of the switched system that these vector fields generate. This topic is viewed through the lens of the author's own involvement with it, by interspersing explanations of technical developments with personal reminiscences and anecdotes.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Topological entropy of switched nonlinear and interconnected systems
Authors:
Guosong Yang,
Daniel Liberzon,
João P. Hespanha
Abstract:
A general upper bound for topological entropy of switched nonlinear systems is constructed, using an asymptotic average of upper limits of the matrix measures of Jacobian matrices of strongly persistent individual modes, weighted by their active rates. A general lower bound is constructed as well, using a similar weighted average of lower limits of the traces of these Jacobian matrices. In a case…
▽ More
A general upper bound for topological entropy of switched nonlinear systems is constructed, using an asymptotic average of upper limits of the matrix measures of Jacobian matrices of strongly persistent individual modes, weighted by their active rates. A general lower bound is constructed as well, using a similar weighted average of lower limits of the traces of these Jacobian matrices. In a case of interconnected structure, the general upper bound is readily applied to derive upper bounds for entropy that depend only on "network-level" information. In a case of block-diagonal structure, less conservative upper and lower bounds for entropy are constructed. In each case, upper bounds for entropy that require less information about the switching signal are also derived. The upper bounds for entropy and their relations are illustrated by numerical examples of a switched Lotka-Volterra ecosystem model.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Next generation combined sonic-hotfilm anemometer: wind alignment and automated calibration procedure using deep learning
Authors:
Roni H. Goldshmid,
Ewelina Winiarska,
Dan Liberzon
Abstract:
The study of naturally occurring turbulent flows requires ability to collect empirical data down to the fine scales. While hotwire anemometry offers such ability, the open field studies are uncommon due to the cumbersome calibration procedure and operational requirements of hotwire anemometry, e.g., constant ambient properties and steady flow conditions. The combo probe-the combined sonic-hotfilm…
▽ More
The study of naturally occurring turbulent flows requires ability to collect empirical data down to the fine scales. While hotwire anemometry offers such ability, the open field studies are uncommon due to the cumbersome calibration procedure and operational requirements of hotwire anemometry, e.g., constant ambient properties and steady flow conditions. The combo probe-the combined sonic-hotfilm anemometer developed and tested over the last decade-has demonstrated its ability to overcome this hurdle. The old-er generation had a limited wind alignment range of 120 degrees and the in-situ calibration procedure was human decision based. This study presents the next generation of the combo probe design, and the new fully automated in-situ calibration procedure implementing deep learning. The elegant new design now enables measurements of the incoming wind flow in a 360-degree range. The improved calibration procedure is shown to have the robustness necessary for operation in everchanging open field flow and environmental conditions. This is especially useful with diurnally changing environments or non-stationary measuring stations, i.e., probes placed on moving platforms like boats, drones, and weather balloons. Together, the updated design and the new calibration procedure, allow for continuous field measurements with minimal to no human interaction, enabling near real-time monitoring of fine-scale turbulent fluctuations. Integration of these probes will contribute toward generation of a large pool of field data to be collected to unravel the intricacies of all scales of turbulent flows occurring in natural setups.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Robust synchronization of electric power generators
Authors:
Olaoluwapo Ajala,
Alejandro Dominguez-Garcia,
Daniel Liberzon
Abstract:
We consider the problem of synchronizing two electric power generators, one of which (the leader) is serving a time-varying electrical load, so that they can ultimately be connected to form a single power system. Each generator is described by a second-order reduced state-space model. We assume that the generator not serving an external load initially (the follower) has access to measurements of t…
▽ More
We consider the problem of synchronizing two electric power generators, one of which (the leader) is serving a time-varying electrical load, so that they can ultimately be connected to form a single power system. Each generator is described by a second-order reduced state-space model. We assume that the generator not serving an external load initially (the follower) has access to measurements of the leader's phase angle, corrupted by some additive disturbances. By using these measurements, and leveraging results on reduced-order observers with ISS-type robustness, we propose a procedure that drives (i) the angular velocity of the follower close enough to that of the leader, and (ii) the phase angle of the follower close enough to that of the point at which both systems will be electrically connected. An explicit bound on the synchronization error in terms of the measurement disturbance and the variations in the electrical load served by the leader is computed. We illustrate the procedure via numerical simulations.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Automated identification and characterization method of turbulent bursting from single-point records of the velocity field
Authors:
Roni Hilel Goldshmid,
Dan Liberzon
Abstract:
A new automated method capable of accurately identifying bursting periods in single-point turbulent velocity field records is presented. Manual selection of the method sensitivity (tau*) and threshold (eT) are necessary for effective discrimination between burst periods and the background turbulent flow fluctuations (burst-free periods). The flow characteristic used for identification is the norma…
▽ More
A new automated method capable of accurately identifying bursting periods in single-point turbulent velocity field records is presented. Manual selection of the method sensitivity (tau*) and threshold (eT) are necessary for effective discrimination between burst periods and the background turbulent flow fluctuations (burst-free periods). The flow characteristic used for identification is the normalized 'instantaneous' TKE dissipation rate levels, calculated using sliding window averaging. Use of the record root mean square and average values for normalization eliminates the need for definition of a physics-based flow-specific threshold. Instead, the suitable sensitivity range and the threshold parameters are selected based on preliminary examination of the velocity records. This, potentially, makes the method applicable for use across various flow fields, especially as it does not require resolving the burst-generation mechanism. The method performance is examined using a field obtained dataset of buoyancy driven turbulent boundary layer flow. Here, the selection of a two-fold (eT=2) increase is used and the sensitivity of the method is examined. Spectral shapes of non-bursting periods show distinguished similarity to those of the Kolmogorov theory, while the bursting period spectral shapes vary significantly. Low resolution records of temperature fluctuations were observed to exhibit a significant decrease in temperature (scalar) dissipation rate during bursting periods. Based on this observation and additional processing, a statistical examination of temperature (scalar) dissipation rate is presented along with a normalization procedure. Future examination of additional scalar variations, i.e. particulate matter and/or gaseous pollutant concentrations, in connection with turbulent bursting periods can assist in further understanding of bursting generation and scalar transfer processes.
△ Less
Submitted 1 May, 2020; v1 submitted 3 February, 2019;
originally announced February 2019.
-
Almost Lyapunov Functions for Nonlinear Systems
Authors:
Shenyu Liu,
Daniel Liberzon,
Vadim Zharnitsky
Abstract:
We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space. Under the assumption that the vector field is free of singular points (away from the origin) and that the subset where the Lyapunov function does not decrease is su…
▽ More
We study convergence of nonlinear systems in the presence of an `almost Lyapunov' function which, unlike the classical Lyapunov function, is allowed to be nondecreasing---and even increasing---on a nontrivial subset of the phase space. Under the assumption that the vector field is free of singular points (away from the origin) and that the subset where the Lyapunov function does not decrease is sufficiently small, we prove that solutions approach a small neighborhood of the origin. A nontrivial example where this theorem applies is constructed.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
A library of second-order models for synchronous machines
Authors:
Olaoluwapo Ajala,
Alejandro Dominguez-garcia,
Peter Sauer,
Daniel Liberzon
Abstract:
This paper presents a library of second-order models for synchronous machines that can be utilized in power system dynamic performance analysis and control design tasks. The models have a similar structure to the classical model in that they consist of two dynamic states, the power angle and the angular speed. However, unlike the classical model, the models find applications beyond first swing sta…
▽ More
This paper presents a library of second-order models for synchronous machines that can be utilized in power system dynamic performance analysis and control design tasks. The models have a similar structure to the classical model in that they consist of two dynamic states, the power angle and the angular speed. However, unlike the classical model, the models find applications beyond first swing stability analysis; for example, they can also be utilized in transient stability studies. The models are developed through a systematic reduction of a nineteenth-order model, using singular perturbation techniques, and they are validated by comparing their voltage, frequency, and phase profiles with that of the high-order model and that of the classical model.
△ Less
Submitted 19 September, 2019; v1 submitted 21 March, 2018;
originally announced March 2018.
-
Lyapunov small-gain theorems for networks of not necessarily ISS hybrid systems
Authors:
Andrii Mironchenko,
Guosong Yang,
Daniel Liberzon
Abstract:
We prove a novel Lyapunov-based small-gain theorem for networks of $ n \geq 2 $ hybrid systems which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems proposed in the last few years. We also show how average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subsystems…
▽ More
We prove a novel Lyapunov-based small-gain theorem for networks of $ n \geq 2 $ hybrid systems which are not necessarily input-to-state stable. This result unifies and extends several small-gain theorems for hybrid and impulsive systems proposed in the last few years. We also show how average dwell-time (ADT) clocks and reverse ADT clocks can be used to modify the Lyapunov functions for subsystems and to enlarge the applicability of the derived small-gain theorems.
△ Less
Submitted 7 November, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Generalized switching signals for input-to-state stability of switched systems
Authors:
Atreyee Kundu,
Debasish Chatterjee,
Daniel Liberzon
Abstract:
This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affi…
▽ More
This article deals with input-to-state stability (ISS) of continuous-time switched nonlinear systems. Given a family of systems with exogenous inputs such that not all systems in the family are ISS, we characterize a new and general class of switching signals under which the resulting switched system is ISS. Our stabilizing switching signals allow the number of switches to grow faster than an affine function of the length of a time interval, unlike in the case of average dwell time switching. We also recast a subclass of average dwell time switching signals in our setting and establish analogs of two representative prior results.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
Lagrangian kinematics of steep waves up to the inception of a spilling breaker
Authors:
Lev Shemer,
Dan Liberzon
Abstract:
Horizontal Lagrangian velocities and accelerations at the surface of steep water-waves are studied by Particle Tracking Velocimetry (PTV) for gradually increasing crest heights up to the inception of a spilling breaker. Localized steep waves are excited using wavemaker-generated Peregrine breather-type wave trains. Actual crest and phase velocities are estimated from video recorded sequences of th…
▽ More
Horizontal Lagrangian velocities and accelerations at the surface of steep water-waves are studied by Particle Tracking Velocimetry (PTV) for gradually increasing crest heights up to the inception of a spilling breaker. Localized steep waves are excited using wavemaker-generated Peregrine breather-type wave trains. Actual crest and phase velocities are estimated from video recorded sequences of the instantaneous wave shape as well as from surface elevation measurements by wave gauges. Effects of nonlinearity and spectral width on phase velocity, as well as relation between the phase velocity and crest propagation speed are discussed. The inception of a spilling breaker is associated with the horizontal velocity of water particles at the crest attaining that of the crest, thus confirming the kinematic criterion for inception of breaking.
△ Less
Submitted 29 September, 2013;
originally announced September 2013.
-
Initial Stages of Wind-Waves Evolution, Temporal vs. Spatial Cases
Authors:
Andrey Zavadsky,
Dan Liberzon,
Lev Shemer
Abstract:
The video describes initial stages of spatial and temporal evolution of wind generated waves. This fluid dynamics video was created at Tel Aviv University small scale wind-wave flume as a part of an ongoing experimental program aimed at gaining better understanding of complex processes governing the excitation of water waves and their evolution in the presence of wind. Despite many decades of inte…
▽ More
The video describes initial stages of spatial and temporal evolution of wind generated waves. This fluid dynamics video was created at Tel Aviv University small scale wind-wave flume as a part of an ongoing experimental program aimed at gaining better understanding of complex processes governing the excitation of water waves and their evolution in the presence of wind. Despite many decades of intense research mechanisms governing water waves' generation by wind and their evolution in space and time are still not fully understood.
△ Less
Submitted 12 October, 2011;
originally announced October 2011.
-
Stabilizing Randomly Switched Systems
Authors:
Debasish Chatterjee,
Daniel Liberzon
Abstract:
This article is concerned with stability analysis and stabilization of randomly switched systems under a class of switching signals. The switching signal is modeled as a jump stochastic (not necessarily Markovian) process independent of the system state; it selects, at each instant of time, the active subsystem from a family of systems. Sufficient conditions for stochastic stability (almost sure…
▽ More
This article is concerned with stability analysis and stabilization of randomly switched systems under a class of switching signals. The switching signal is modeled as a jump stochastic (not necessarily Markovian) process independent of the system state; it selects, at each instant of time, the active subsystem from a family of systems. Sufficient conditions for stochastic stability (almost sure, in the mean, and in probability) of the switched system are established when the subsystems do not possess control inputs, and not every subsystem is required to be stable. These conditions are employed to design stabilizing feedback controllers when the subsystems are affine in control. The analysis is carried out with the aid of multiple Lyapunov-like functions, and the analysis results together with universal formulae for feedback stabilization of nonlinear systems constitute our primary tools for control design
△ Less
Submitted 9 June, 2008;
originally announced June 2008.
-
On stability of randomly switched nonlinear systems
Authors:
Debasish Chatterjee,
Daniel Liberzon
Abstract:
This article is concerned with stability analysis and stabilization of randomly switched nonlinear systems. These systems may be regarded as piecewise deterministic stochastic systems: the discrete switches are triggered by a stochastic process which is independent of the state of the system, and between two consecutive switching instants the dynamics are deterministic. Our results provide suffi…
▽ More
This article is concerned with stability analysis and stabilization of randomly switched nonlinear systems. These systems may be regarded as piecewise deterministic stochastic systems: the discrete switches are triggered by a stochastic process which is independent of the state of the system, and between two consecutive switching instants the dynamics are deterministic. Our results provide sufficient conditions for almost sure global asymptotic stability using Lyapunov-based methods when individual subsystems are stable and a certain ``slow switching'' condition holds. This slow switching condition takes the form of an asymptotic upper bound on the probability mass function of the number of switches that occur between the initial and current time instants. This condition is shown to hold for switching signals coming from the states of finite-dimensional continuous-time Markov chains; our results therefore hold for Markov jump systems in particular. For systems with control inputs we provide explicit control schemes for feedback stabilization using the universal formula for stabilization of nonlinear systems.
△ Less
Submitted 22 November, 2007;
originally announced November 2007.
-
Towards ISS disturbance attenuation for randomly switched systems
Authors:
Debasish Chatterjee,
Daniel Liberzon
Abstract:
We are concerned with input-to-state stability (ISS) of randomly switched systems. We provide preliminary results dealing with sufficient conditions for stochastic versions of ISS for randomly switched systems without control inputs, and with the aid of universal formulae we design controllers for ISS-disturbance attenuation when control inputs are present. Two types of switching signals are con…
▽ More
We are concerned with input-to-state stability (ISS) of randomly switched systems. We provide preliminary results dealing with sufficient conditions for stochastic versions of ISS for randomly switched systems without control inputs, and with the aid of universal formulae we design controllers for ISS-disturbance attenuation when control inputs are present. Two types of switching signals are considered: the first is characterized by a statistically slow-switching condition, and the second by a class of semi-Markov processes.
△ Less
Submitted 22 November, 2007;
originally announced November 2007.
-
Quantized control via locational optimization
Authors:
Francesco Bullo,
Daniel Liberzon
Abstract:
This paper studies state quantization schemes for feedback stabilization of control systems with limited information. The focus is on designing the least destabilizing quantizer subject to a given information constraint. We explore several ways of measuring the destabilizing effect of a quantizer on the closed-loop system, including (but not limited to) the worst-case quantization error. In each…
▽ More
This paper studies state quantization schemes for feedback stabilization of control systems with limited information. The focus is on designing the least destabilizing quantizer subject to a given information constraint. We explore several ways of measuring the destabilizing effect of a quantizer on the closed-loop system, including (but not limited to) the worst-case quantization error. In each case, we show how quantizer design can be naturally reduced to a version of the so-called multicenter problem from locational optimization. Algorithms for solving such problems are discussed. In particular, an iterative solver is developed for a novel weighted multicenter problem which most accurately represents the least destabilizing quantizer design.
△ Less
Submitted 21 December, 2002;
originally announced December 2002.
-
Gradient algorithms for finding common Lyapunov functions
Authors:
Daniel Liberzon,
Roberto Tempo
Abstract:
This paper is concerned with the problem of finding a quadratic common Lyapunov function for a family of stable linear systems. We present gradient iteration algorithms which give deterministic convergence for finite system families and probabilistic convergence for infinite families.
This paper is concerned with the problem of finding a quadratic common Lyapunov function for a family of stable linear systems. We present gradient iteration algorithms which give deterministic convergence for finite system families and probabilistic convergence for infinite families.
△ Less
Submitted 18 June, 2002;
originally announced June 2002.
-
On the output-input stability property for multivariable nonlinear control systems
Authors:
Daniel Liberzon
Abstract:
We study the recently introduced notion of output-input stability, which is a robust variant of the minimum-phase property for general smooth nonlinear control systems. The subject of this paper is develo** the theory of output-input stability in the multi-input, multi-output setting. We show that output-input stability can be viewed as a combination of two system properties, one related to de…
▽ More
We study the recently introduced notion of output-input stability, which is a robust variant of the minimum-phase property for general smooth nonlinear control systems. The subject of this paper is develo** the theory of output-input stability in the multi-input, multi-output setting. We show that output-input stability can be viewed as a combination of two system properties, one related to detectability and the other to left-invertibility. For systems affine in controls, we provide a necessary and sufficient condition for output-input stability, which relies on Hirschorn's nonlinear structure algorithm.
△ Less
Submitted 19 May, 2002;
originally announced May 2002.
-
Output-input stability and minimum-phase nonlinear systems
Authors:
Daniel Liberzon,
A. Stephen Morse,
Eduardo D. Sontag
Abstract:
This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the ``input-to-state stability''…
▽ More
This paper introduces and studies the notion of output-input stability, which represents a variant of the minimum-phase property for general smooth nonlinear control systems. The definition of output-input stability does not rely on a particular choice of coordinates in which the system takes a normal form or on the computation of zero dynamics. In the spirit of the ``input-to-state stability'' philosophy, it requires the state and the input of the system to be bounded by a suitable function of the output and derivatives of the output, modulo a decaying term depending on initial conditions. The class of output-input stable systems thus defined includes all affine systems in global normal form whose internal dynamics are input-to-state stable and also all left-invertible linear systems whose transmission zeros have negative real parts. As an application, we explain how the new concept enables one to develop a natural extension to nonlinear systems of a basic result from linear adaptive control.
△ Less
Submitted 26 March, 2001; v1 submitted 19 June, 2000;
originally announced June 2000.