Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@arXiv_eessSY_bot@mastoxiv.page
2025-05-30 07:23:52

Latent Representations for Control Design with Provable Stability and Safety Guarantees
Paul Lutkus, Kaiyuan Wang, Lars Lindemann, Stephen Tu
arxiv.org/abs/2505.23210

Latent Representations for Control Design with Provable Stability and Safety Guarantees
We initiate a formal study on the use of low-dimensional latent representations of dynamical systems for verifiable control synthesis. Our main goal is to enable the application of verification techniques -- such as Lyapunov or barrier functions -- that might otherwise be computationally prohibitive when applied directly to the full state representation. Towards this goal, we first provide dynamics-aware approximate conjugacy conditions which formalize the notion of reconstruction error necessa…

@relcfp@mastodon.social
2025-05-29 06:10:41

Reminder: CFP: Australian Journal of Jewish Studies, Volume XXXVIII, 2025
ift.tt/AQSE4Uh
When did aliens become a problem? The Mediterranean Association for Marine Biology and Oceanology in…
via Input 4 RELCFP

Reminder: CFP: Australian Journal of Jewish Studies, Volume XXXVIII, 2025 | H-Net
The Australian Journal of Jewish Studies is an international, interdisciplinary, peer-reviewed, Open Access journal published annually by the Australian Association for Jewish Studies. The Journal is devoted to the study of Jewish culture in all aspects and all periods – please see the AJJS webpage for full scope.

@ncoca@social.coop
2025-05-08 23:56:47

Took a glance over at #Japan #Reddit to find a thread full of western #expats and #tourists complaining about