24,589 research outputs found
Invariant Sets in Quasiperiodically Forced Dynamical Systems
This paper addresses structures of state space in quasiperiodically forced
dynamical systems. We develop a theory of ergodic partition of state space in a
class of measure-preserving and dissipative flows, which is a natural extension
of the existing theory for measure-preserving maps. The ergodic partition
result is based on eigenspace at eigenvalue 0 of the associated Koopman
operator, which is realized via time-averages of observables, and provides a
constructive way to visualize a low-dimensional slice through a
high-dimensional invariant set. We apply the result to the systems with a
finite number of attractors and show that the time-average of a continuous
observable is well-defined and reveals the invariant sets, namely, a finite
number of basins of attraction. We provide a characterization of invariant sets
in the quasiperiodically forced systems. A theoretical result on uniform
boundedness of the invariant sets is presented. The series of theoretical
results enables numerical analysis of invariant sets in the quasiperiodically
forced systems based on the ergodic partition and time-averages. Using this, we
analyze a nonlinear model of complex power grids that represents the short-term
swing instability, named the coherent swing instability. We show that our
theoretical results can be used to understand stability regions in such complex
systems.Comment: 23 pages, 4 figure
Data-driven and Model-based Verification: a Bayesian Identification Approach
This work develops a measurement-driven and model-based formal verification
approach, applicable to systems with partly unknown dynamics. We provide a
principled method, grounded on reachability analysis and on Bayesian inference,
to compute the confidence that a physical system driven by external inputs and
accessed under noisy measurements, verifies a temporal logic property. A case
study is discussed, where we investigate the bounded- and unbounded-time safety
of a partly unknown linear time invariant system
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
Wave Front Sets of Reductive Lie Group Representations II
In this paper it is shown that the wave front set of a direct integral of
singular, irreducible representations of a real, reductive algebraic group is
contained in the singular set. Combining this result with the results of the
first paper in this series, the author obtains asymptotic results on the
occurrence of tempered representations in induction and restriction problems
for real, reductive algebraic groups.Comment: Accepted to Transactions of the American Mathematical Societ
- …