Tootfinder

Geometric Decentralized Stability Condition for Power Systems Based on Projecting DW Shells
Linbin Huang, Liangxiao Luo, Huanhai Xin, Dan Wang, Ping Ju, Florian D\"orfler
https://arxiv.org/abs/2508.17033

Geometric Decentralized Stability Condition for Power Systems Based on Projecting DW Shells
The development of decentralized stability conditions has gained considerable attention due to the need to analyze heterogeneous multi-converter power systems. A recent advance is the application of the small-phase theorem, which extends the passivity theory. However, it requires the transfer function matrix to be sectorial, which may not hold in some frequency range and will result in conservatism. This letter tackles this problem by leveraging the Davis-Wielandt (DW) shells for decentralized …

Something for the #beer nerds this morning.
In March 2024 (on #Orval Day), we got 8 people together to taste my 14-year vertical collection of Orval, and I made everyone take notes. (I have 16 years collected, today.)
I've finally compiled those notes into a web site, and this is now maybe the biggest …

The Orville - Interactive Fan Experience on Steam (Free Game)
https://store.steampowered.com/app/1096200/The_Orville__Interactive_Fan_Experience/

The Orville - Interactive Fan Experience on Steam
Step aboard the USS Orville (ECV-197), the Planetary Union's finest mid-level exploratory class cruiser. With every room on every deck recreated with painstaking accuracy, you are free to explore the ship at your leisure and engage in all manner of shenanigans!

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Orville Peck:
🎵 Take You Back (The Iron Hoof Cattle Call)
#OrvillePeck
https://orvillepeck.bandcamp.com/track/take-you-back-the-iron-hoof-cattle-call
https://open.spotify.com/track/6F6bUsLOJMoaTUky7LftrP

Approximation properties of operator coorbit spaces and sparsity classes
Monika D\"orfler, Lukas K\"ohldorfer, Franz Luef, Henry McNulty
https://arxiv.org/abs/2509.16440

Approximation properties of operator coorbit spaces and sparsity classes
Extensions of coorbit spaces for functions to operators have been introduced by two different groups in \cite{doelumcskr24} and \cite{köbaLOC25}, where one is based on the coorbit theory of Feichtinger-Gröchening while the other is based on the theory of localized frames. We show that for certain Gabor g-frames the co-orbit spaces in \cite{köbaLOC25} conincide with the ones in \cite{doelumcskr24} and we refer to this class of operators as operator coorbit spaces. Based on the description of …

The Floorplan
Great Australian Pods Podcast Directory: #GreatAusPods

Almost Ricci Solitons on Class $\mathcal A$ Hypersurfaces of Product Spaces
Ahmet Umut \c{C}orapl{\i}, Burcu Bekta\c{s} Dem\.irc\.i, Nurettin Cenk Turgay
https://arxiv.org/abs/2508.12098

Almost Ricci Solitons on Class $\mathcal A$ Hypersurfaces of Product Spaces
In this paper, we study hypersurfaces in the product spaces $\mathbb{Q}_ε^3 \times \mathbb{R}$ for which the tangential component $T$ of the vector field $\frac{\partial}{\partial t}$ is a principal direction, where $\mathbb{Q}_ε^3$ denotes the three-dimensional non-flat Riemannian space form with sectional curvature $ε= \pm 1$, and $\frac{\partial}{\partial t}$ is the unit vector field tangent to the $\mathbb{R}$-factor. We obtain a local classification of hypersurfaces with three distinct …

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
Pedro Orvalho, Marta Kwiatkowska
https://arxiv.org/abs/2508.08171 https://

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
Python has become the dominant language for general-purpose programming, yet it lacks robust tools for formal verification. In contrast, programmers working in languages such as C benefit from mature model checkers, for example CBMC, which enable exhaustive symbolic reasoning and fault localisation. The inherent complexity of Python, coupled with the verbosity and low-level nature of existing transpilers (e.g., Cython), have historically limited the applicability of formal verification to Pytho…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Lau Ro:
🎵 Orvalho
#LauRo
https://mexicansummer.bandcamp.com/track/orvalho
https://open.spotify.com/track/752dVrxxWkAeoiCkydR0Oc

Dissipativity-Based Data-Driven Decentralized Control of Interconnected Systems
Taiki Nakano, Ahmed Aboudonia, Jaap Eising, Andrea Martinelli, Florian D\"orfler, John Lygeros
https://arxiv.org/abs/2509.14047

Dissipativity-Based Data-Driven Decentralized Control of Interconnected Systems
We propose data-driven decentralized control algorithms for stabilizing interconnected systems. We first derive a data-driven condition to synthesize a local controller that ensures the dissipativity of the local subsystems. Then, we propose data-driven decentralized stability conditions for the global system based on the dissipativity of each local system. Since both conditions take the form of linear matrix inequalities and are based on dissipativity theory, this yields a unified pipeline, re…