---
_id: '5878'
abstract:
- lang: eng
text: We consider the motion of a droplet bouncing on a vibrating bath of the same
fluid in the presence of a central potential. We formulate a rotation symmetry-reduced
description of this system, which allows for the straightforward application of
dynamical systems theory tools. As an illustration of the utility of the symmetry
reduction, we apply it to a model of the pilot-wave system with a central harmonic
force. We begin our analysis by identifying local bifurcations and the onset of
chaos. We then describe the emergence of chaotic regions and their merging bifurcations,
which lead to the formation of a global attractor. In this final regime, the droplet’s
angular momentum spontaneously changes its sign as observed in the experiments
of Perrard et al.
article_number: '013122'
article_processing_charge: No
article_type: original
author:
- first_name: Nazmi B
full_name: Budanur, Nazmi B
id: 3EA1010E-F248-11E8-B48F-1D18A9856A87
last_name: Budanur
orcid: 0000-0003-0423-5010
- first_name: Marc
full_name: Fleury, Marc
last_name: Fleury
citation:
ama: 'Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics.
Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1). doi:10.1063/1.5058279'
apa: 'Budanur, N. B., & Fleury, M. (2019). State space geometry of the chaotic
pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear
Science. AIP Publishing. https://doi.org/10.1063/1.5058279'
chicago: 'Budanur, Nazmi B, and Marc Fleury. “State Space Geometry of the Chaotic
Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear
Science. AIP Publishing, 2019. https://doi.org/10.1063/1.5058279.'
ieee: 'N. B. Budanur and M. Fleury, “State space geometry of the chaotic pilot-wave
hydrodynamics,” Chaos: An Interdisciplinary Journal of Nonlinear Science,
vol. 29, no. 1. AIP Publishing, 2019.'
ista: 'Budanur NB, Fleury M. 2019. State space geometry of the chaotic pilot-wave
hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 29(1),
013122.'
mla: 'Budanur, Nazmi B., and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave
Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science,
vol. 29, no. 1, 013122, AIP Publishing, 2019, doi:10.1063/1.5058279.'
short: 'N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear
Science 29 (2019).'
date_created: 2019-01-23T08:35:09Z
date_published: 2019-01-22T00:00:00Z
date_updated: 2023-08-25T10:16:11Z
day: '22'
department:
- _id: BjHo
doi: 10.1063/1.5058279
external_id:
arxiv:
- '1812.09011'
isi:
- '000457409100028'
intvolume: ' 29'
isi: 1
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1812.09011
month: '01'
oa: 1
oa_version: Preprint
publication: 'Chaos: An Interdisciplinary Journal of Nonlinear Science'
publication_identifier:
eissn:
- 1089-7682
issn:
- 1054-1500
publication_status: published
publisher: AIP Publishing
quality_controlled: '1'
related_material:
link:
- relation: erratum
url: https://aip.scitation.org/doi/abs/10.1063/1.5097157
scopus_import: '1'
status: public
title: State space geometry of the chaotic pilot-wave hydrodynamics
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 29
year: '2019'
...
---
_id: '6343'
abstract:
- lang: eng
text: Cryo-electron tomography (cryo-ET) provides unprecedented insights into the
molecular constituents of biological environments. In combination with an image
processing method called subtomogram averaging (STA), detailed 3D structures of
biological molecules can be obtained in large, irregular macromolecular assemblies
or in situ, without the need for purification. The contextual meta-information
these methods also provide, such as a protein’s location within its native environment,
can then be combined with functional data. This allows the derivation of a detailed
view on the physiological or pathological roles of proteins from the molecular
to cellular level. Despite their tremendous potential in in situ structural biology,
cryo-ET and STA have been restricted by methodological limitations, such as the
low obtainable resolution. Exciting progress now allows one to reach unprecedented
resolutions in situ, ranging in optimal cases beyond the nanometer barrier. Here,
I review current frontiers and future challenges in routinely determining high-resolution
structures in in situ environments using cryo-ET and STA.
acknowledgement: The author acknowledges support from IST Austria and the Austrian
Science Fund (FWF).
article_processing_charge: No
article_type: original
author:
- first_name: Florian KM
full_name: Schur, Florian KM
id: 48AD8942-F248-11E8-B48F-1D18A9856A87
last_name: Schur
orcid: 0000-0003-4790-8078
citation:
ama: Schur FK. Toward high-resolution in situ structural biology with cryo-electron
tomography and subtomogram averaging. Current Opinion in Structural Biology.
2019;58(10):1-9. doi:10.1016/j.sbi.2019.03.018
apa: Schur, F. K. (2019). Toward high-resolution in situ structural biology with
cryo-electron tomography and subtomogram averaging. Current Opinion in Structural
Biology. Elsevier. https://doi.org/10.1016/j.sbi.2019.03.018
chicago: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with
Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural
Biology. Elsevier, 2019. https://doi.org/10.1016/j.sbi.2019.03.018.
ieee: F. K. Schur, “Toward high-resolution in situ structural biology with cryo-electron
tomography and subtomogram averaging,” Current Opinion in Structural Biology,
vol. 58, no. 10. Elsevier, pp. 1–9, 2019.
ista: Schur FK. 2019. Toward high-resolution in situ structural biology with cryo-electron
tomography and subtomogram averaging. Current Opinion in Structural Biology. 58(10),
1–9.
mla: Schur, Florian KM. “Toward High-Resolution in Situ Structural Biology with
Cryo-Electron Tomography and Subtomogram Averaging.” Current Opinion in Structural
Biology, vol. 58, no. 10, Elsevier, 2019, pp. 1–9, doi:10.1016/j.sbi.2019.03.018.
short: F.K. Schur, Current Opinion in Structural Biology 58 (2019) 1–9.
date_created: 2019-04-19T11:19:13Z
date_published: 2019-10-01T00:00:00Z
date_updated: 2023-08-25T10:13:31Z
day: '01'
department:
- _id: FlSc
doi: 10.1016/j.sbi.2019.03.018
external_id:
isi:
- '000494891800004'
intvolume: ' 58'
isi: 1
issue: '10'
language:
- iso: eng
month: '10'
oa_version: None
page: 1-9
publication: Current Opinion in Structural Biology
publication_identifier:
issn:
- 0959-440X
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Toward high-resolution in situ structural biology with cryo-electron tomography
and subtomogram averaging
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 58
year: '2019'
...
---
_id: '6428'
abstract:
- lang: eng
text: 'Safety and security are major concerns in the development of Cyber-Physical
Systems (CPS). Signal temporal logic (STL) was proposedas a language to specify
and monitor the correctness of CPS relativeto formalized requirements. Incorporating
STL into a developmentprocess enables designers to automatically monitor and diagnosetraces,
compute robustness estimates based on requirements, andperform requirement falsification,
leading to productivity gains inverification and validation activities; however,
in its current formSTL is agnostic to the input/output classification of signals,
andthis negatively impacts the relevance of the analysis results.In this paper
we propose to make the interface explicit in theSTL language by introducing input/output
signal declarations. Wethen define new measures of input vacuity and output robustnessthat
better reflect the nature of the system and the specification in-tent. The resulting
framework, which we call interface-aware signaltemporal logic (IA-STL), aids verification
and validation activities.We demonstrate the benefits of IA-STL on several CPS
analysisactivities: (1) robustness-driven sensitivity analysis, (2) falsificationand
(3) fault localization. We describe an implementation of our en-hancement to STL
and associated notions of robustness and vacuityin a prototype extension of Breach,
a MATLAB®/Simulink®toolboxfor CPS verification and validation. We explore these
methodologi-cal improvements and evaluate our results on two examples fromthe
automotive domain: a benchmark powertrain control systemand a hydrogen fuel cell
system.'
article_processing_charge: No
author:
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Alexandre
full_name: Donzé, Alexandre
last_name: Donzé
- first_name: Hisahiro
full_name: Ito, Hisahiro
last_name: Ito
- first_name: James
full_name: Kapinski, James
last_name: Kapinski
citation:
ama: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal
temporal logic. In: Proceedings of the 2019 22nd ACM International Conference
on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800'
apa: 'Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019).
Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM
International Conference on Hybrid Systems: Computation and Control (pp. 57–66).
Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800'
chicago: 'Ferrere, Thomas, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, and James
Kapinski. “Interface-Aware Signal Temporal Logic.” In Proceedings of the 2019
22nd ACM International Conference on Hybrid Systems: Computation and Control,
57–66. ACM, 2019. https://doi.org/10.1145/3302504.3311800.'
ieee: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware
signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference
on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.'
ista: 'Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware
signal temporal logic. Proceedings of the 2019 22nd ACM International Conference
on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and
Control, 57–66.'
mla: 'Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings
of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and
Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.'
short: 'T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings
of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and
Control, ACM, 2019, pp. 57–66.'
conference:
end_date: 2019-04-18
location: Montreal, Canada
name: 'HSCC: Hybrid Systems Computation and Control'
start_date: 2019-04-16
date_created: 2019-05-13T08:13:46Z
date_published: 2019-04-16T00:00:00Z
date_updated: 2023-08-25T10:19:23Z
day: '16'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3302504.3311800
external_id:
isi:
- '000516713900007'
file:
- access_level: open_access
checksum: b8e967081e051d1c55ca5d18fb187890
content_type: application/pdf
creator: dernst
date_created: 2020-10-08T17:25:45Z
date_updated: 2020-10-08T17:25:45Z
file_id: '8633'
file_name: 2019_ACM_Ferrere.pdf
file_size: 1055421
relation: main_file
success: 1
file_date_updated: 2020-10-08T17:25:45Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 57-66
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: The Wittgenstein Prize
publication: 'Proceedings of the 2019 22nd ACM International Conference on Hybrid
Systems: Computation and Control'
publication_identifier:
isbn:
- '9781450362825'
publication_status: published
publisher: ACM
quality_controlled: '1'
scopus_import: '1'
status: public
title: Interface-aware signal temporal logic
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
year: '2019'
...
---
_id: '6442'
abstract:
- lang: eng
text: This paper investigates the use of fundamental solutions for animating detailed
linear water surface waves. We first propose an analytical solution for efficiently
animating circular ripples in closed form. We then show how to adapt the method
of fundamental solutions (MFS) to create ambient waves interacting with complex
obstacles. Subsequently, we present a novel wavelet-based discretization which
outperforms the state of the art MFS approach for simulating time-varying water
surface waves with moving obstacles. Our results feature high-resolution spatial
details, interactions with complex boundaries, and large open ocean domains. Our
method compares favorably with previous work as well as known analytical solutions.
We also present comparisons between our method and real world examples.
acknowledged_ssus:
- _id: ScienComp
article_number: '130'
article_processing_charge: No
author:
- first_name: Camille
full_name: Schreck, Camille
id: 2B14B676-F248-11E8-B48F-1D18A9856A87
last_name: Schreck
- first_name: Christian
full_name: Hafner, Christian
id: 400429CC-F248-11E8-B48F-1D18A9856A87
last_name: Hafner
- first_name: Christopher J
full_name: Wojtan, Christopher J
id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87
last_name: Wojtan
orcid: 0000-0001-6646-5546
citation:
ama: Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation.
ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002
apa: Schreck, C., Hafner, C., & Wojtan, C. (2019). Fundamental solutions for
water wave animation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3306346.3323002
chicago: Schreck, Camille, Christian Hafner, and Chris Wojtan. “Fundamental Solutions
for Water Wave Animation.” ACM Transactions on Graphics. ACM, 2019. https://doi.org/10.1145/3306346.3323002.
ieee: C. Schreck, C. Hafner, and C. Wojtan, “Fundamental solutions for water wave
animation,” ACM Transactions on Graphics, vol. 38, no. 4. ACM, 2019.
ista: Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave
animation. ACM Transactions on Graphics. 38(4), 130.
mla: Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.”
ACM Transactions on Graphics, vol. 38, no. 4, 130, ACM, 2019, doi:10.1145/3306346.3323002.
short: C. Schreck, C. Hafner, C. Wojtan, ACM Transactions on Graphics 38 (2019).
date_created: 2019-05-14T07:04:06Z
date_published: 2019-07-01T00:00:00Z
date_updated: 2023-08-25T10:18:46Z
day: '01'
ddc:
- '000'
- '005'
department:
- _id: ChWo
doi: 10.1145/3306346.3323002
ec_funded: 1
external_id:
isi:
- '000475740600104'
file:
- access_level: open_access
checksum: 1b737dfe3e051aba8f3f4ab1dceda673
content_type: application/pdf
creator: dernst
date_created: 2019-05-14T07:03:55Z
date_updated: 2020-07-14T12:47:30Z
file_id: '6443'
file_name: 2019_ACM_Schreck.pdf
file_size: 44328918
relation: main_file
file_date_updated: 2020-07-14T12:47:30Z
has_accepted_license: '1'
intvolume: ' 38'
isi: 1
issue: '4'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Submitted Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: Efficient Simulation of Natural Phenomena at Extremely Large Scales
- _id: 24F9549A-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '715767'
name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and
Modeling'
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '665385'
name: International IST Doctoral Program
publication: ACM Transactions on Graphics
publication_status: published
publisher: ACM
quality_controlled: '1'
related_material:
link:
- description: News on IST Homepage
relation: press_release
url: https://ist.ac.at/en/news/new-method-makes-realistic-water-wave-animations-more-efficient/
scopus_import: '1'
status: public
title: Fundamental solutions for water wave animation
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 38
year: '2019'
...
---
_id: '6413'
abstract:
- lang: eng
text: Phase-field methods have long been used to model the flow of immiscible fluids.
Their ability to naturally capture interface topological changes is widely recognized,
but their accuracy in simulating flows of real fluids in practical geometries
is not established. We here quantitatively investigate the convergence of the
phase-field method to the sharp-interface limit with simulations of two-phase
pipe flow. We focus on core-annular flows, in which a highly viscous fluid is
lubricated by a less viscous fluid, and validate our simulations with an analytic
laminar solution, a formal linear stability analysis and also in the fully nonlinear
regime. We demonstrate the ability of the phase-field method to accurately deal
with non-rectangular geometry, strong advection, unsteady fluctuations and large
viscosity contrast. We argue that phase-field methods are very promising for quantitatively
studying moderately turbulent flows, especially at high concentrations of the
disperse phase.
article_processing_charge: No
article_type: original
author:
- first_name: Baofang
full_name: Song, Baofang
last_name: Song
- first_name: Carlos
full_name: Plana, Carlos
last_name: Plana
- first_name: Jose M
full_name: Lopez Alonso, Jose M
id: 40770848-F248-11E8-B48F-1D18A9856A87
last_name: Lopez Alonso
orcid: 0000-0002-0384-2022
- first_name: Marc
full_name: Avila, Marc
last_name: Avila
citation:
ama: Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular
pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027
apa: Song, B., Plana, C., Lopez Alonso, J. M., & Avila, M. (2019). Phase-field
simulation of core-annular pipe flow. International Journal of Multiphase Flow.
Elsevier. https://doi.org/10.1016/j.ijmultiphaseflow.2019.04.027
chicago: Song, Baofang, Carlos Plana, Jose M Lopez Alonso, and Marc Avila. “Phase-Field
Simulation of Core-Annular Pipe Flow.” International Journal of Multiphase
Flow. Elsevier, 2019. https://doi.org/10.1016/j.ijmultiphaseflow.2019.04.027.
ieee: B. Song, C. Plana, J. M. Lopez Alonso, and M. Avila, “Phase-field simulation
of core-annular pipe flow,” International Journal of Multiphase Flow, vol.
117. Elsevier, pp. 14–24, 2019.
ista: Song B, Plana C, Lopez Alonso JM, Avila M. 2019. Phase-field simulation of
core-annular pipe flow. International Journal of Multiphase Flow. 117, 14–24.
mla: Song, Baofang, et al. “Phase-Field Simulation of Core-Annular Pipe Flow.” International
Journal of Multiphase Flow, vol. 117, Elsevier, 2019, pp. 14–24, doi:10.1016/j.ijmultiphaseflow.2019.04.027.
short: B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of
Multiphase Flow 117 (2019) 14–24.
date_created: 2019-05-13T07:58:35Z
date_published: 2019-08-01T00:00:00Z
date_updated: 2023-08-25T10:19:55Z
day: '01'
department:
- _id: BjHo
doi: 10.1016/j.ijmultiphaseflow.2019.04.027
external_id:
arxiv:
- '1902.07351'
isi:
- '000474496000002'
intvolume: ' 117'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1902.07351
month: '08'
oa: 1
oa_version: Preprint
page: 14-24
publication: International Journal of Multiphase Flow
publication_identifier:
issn:
- '03019322'
publication_status: published
publisher: Elsevier
quality_controlled: '1'
scopus_import: '1'
status: public
title: Phase-field simulation of core-annular pipe flow
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 117
year: '2019'
...