Showing 1–50 of 75 results for author: Yong, S

ONLY: One-Layer Intervention Sufficiently Mitigates Hallucinations in Large Vision-Language Models

Authors: Zifu Wan, Ce Zhang, Silong Yong, Martin Q. Ma, Simon Stepputtis, Louis-Philippe Morency, Deva Ramanan, Katia Sycara, Yaqi Xie

Abstract: Recent Large Vision-Language Models (LVLMs) have introduced a new paradigm for understanding and reasoning about image input through textual responses. Although they have achieved remarkable performance across a range of multi-modal tasks, they face the persistent challenge of hallucination, which introduces practical weaknesses and raises concerns about their reliable deployment in real-world app… ▽ More Recent Large Vision-Language Models (LVLMs) have introduced a new paradigm for understanding and reasoning about image input through textual responses. Although they have achieved remarkable performance across a range of multi-modal tasks, they face the persistent challenge of hallucination, which introduces practical weaknesses and raises concerns about their reliable deployment in real-world applications. Existing work has explored contrastive decoding approaches to mitigate this issue, where the output of the original LVLM is compared and contrasted with that of a perturbed version. However, these methods require two or more queries that slow down LVLM response generation, making them less suitable for real-time applications. To overcome this limitation, we propose ONLY, a training-free decoding approach that requires only a single query and a one-layer intervention during decoding, enabling efficient real-time deployment. Specifically, we enhance textual outputs by selectively amplifying crucial textual information using a text-to-visual entropy ratio for each token. Extensive experimental results demonstrate that our proposed ONLY consistently outperforms state-of-the-art methods across various benchmarks while requiring minimal implementation effort and computational cost. Code is available at https://github.com/zifuwan/ONLY. △ Less

Submitted 1 July, 2025; originally announced July 2025.

Comments: Accepted by ICCV 2025. Project page: https://zifuwan.github.io/ONLY/

"I'm Petting the Laptop, Which Has You Inside It": Reflecting on Lived Experiences of Online Friendship

Authors: Seraphina Yong, Ashlee Milton, Evan Suma Rosenberg, Stevie Chancellor, Svetlana Yarosh

Abstract: Online(-only) friendships have become increasingly common in daily lives post-COVID despite debates around their mental health benefits and equivalence to ''real'' relationships. Previous research has reflected a need to understand how online friends engage beyond individual platforms, and the lack of platform-agnostic inquiry limits our ability to fully understand the dynamics of online friendshi… ▽ More Online(-only) friendships have become increasingly common in daily lives post-COVID despite debates around their mental health benefits and equivalence to ''real'' relationships. Previous research has reflected a need to understand how online friends engage beyond individual platforms, and the lack of platform-agnostic inquiry limits our ability to fully understand the dynamics of online friendship. We employed an activity-grounded analysis of 25 interviews on lived experiences of close online friendship spanning multiple years. Our findings present unique challenges and strategies in online friendships, such as stigma from real-life circles, an ambivalent relationship with online communities, and counter-theoretical reappropriations of communication technology. This study contributes to HCI research in online communities and social interface design by refocusing prior impressions of strong vs. weak-ties in online social spaces and foregrounding time-stable interactions in design for relationship maintenance through technology. Our work also promotes critical reflection on biased perspectives towards technology-mediated practices and consideration of online friends as an invisible marginalized community. △ Less

Submitted 24 June, 2025; originally announced June 2025.

Comments: CSCW 2025, 29 article pages, 5 pages of references, 3 figures

Lightweight Relational Embedding in Task-Interpolated Few-Shot Networks for Enhanced Gastrointestinal Disease Classification

Authors: Xinliu Zhong, Leo Hwa Liang, Angela S. Koh, Yeo Si Yong

Abstract: Traditional diagnostic methods like colonoscopy are invasive yet critical tools necessary for accurately diagnosing colorectal cancer (CRC). Detection of CRC at early stages is crucial for increasing patient survival rates. However, colonoscopy is dependent on obtaining adequate and high-quality endoscopic images. Prolonged invasive procedures are inherently risky for patients, while suboptimal or… ▽ More Traditional diagnostic methods like colonoscopy are invasive yet critical tools necessary for accurately diagnosing colorectal cancer (CRC). Detection of CRC at early stages is crucial for increasing patient survival rates. However, colonoscopy is dependent on obtaining adequate and high-quality endoscopic images. Prolonged invasive procedures are inherently risky for patients, while suboptimal or insufficient images hamper diagnostic accuracy. These images, typically derived from video frames, often exhibit similar patterns, posing challenges in discrimination. To overcome these challenges, we propose a novel Deep Learning network built on a Few-Shot Learning architecture, which includes a tailored feature extractor, task interpolation, relational embedding, and a bi-level routing attention mechanism. The Few-Shot Learning paradigm enables our model to rapidly adapt to unseen fine-grained endoscopic image patterns, and the task interpolation augments the insufficient images artificially from varied instrument viewpoints. Our relational embedding approach discerns critical intra-image features and captures inter-image transitions between consecutive endoscopic frames, overcoming the limitations of Convolutional Neural Networks (CNNs). The integration of a light-weight attention mechanism ensures a concentrated analysis of pertinent image regions. By training on diverse datasets, the model's generalizability and robustness are notably improved for handling endoscopic images. Evaluated on Kvasir dataset, our model demonstrated superior performance, achieving an accuracy of 90.1\%, precision of 0.845, recall of 0.942, and an F1 score of 0.891. This surpasses current state-of-the-art methods, presenting a promising solution to the challenges of invasive colonoscopy by optimizing CRC detection through advanced image analysis. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Comments: 6 pages, 15 figures

Journal ref: 2024 IEEE Conference on Artificial Intelligence (CAI), 2024, 839-844

Beyond the Individual: A Community-Engaged Framework for Ethical Online Community Research

Authors: Matthew Zent, Seraphina Yong, Dhruv Bala, Stevie Chancellor, Joseph A. Konstan, Loren Terveen, Svetlana Yarosh

Abstract: Online community research routinely poses minimal risk to individuals, but does the same hold true for online communities? In response to high-profile breaches of online community trust and increased debate in the social computing research community on the ethics of online community research, this paper investigates community-level harms and benefits of research. Through 9 participatory-inspired w… ▽ More Online community research routinely poses minimal risk to individuals, but does the same hold true for online communities? In response to high-profile breaches of online community trust and increased debate in the social computing research community on the ethics of online community research, this paper investigates community-level harms and benefits of research. Through 9 participatory-inspired workshops with four critical online communities (Wikipedia, InTheRooms, CaringBridge, and r/AskHistorians) we found researchers should engage more directly with communities' primary purpose by rationalizing their methods and contributions in the context of community goals to equalize the beneficiaries of community research. To facilitate deeper alignment of these expectations, we present the FACTORS (Functions for Action with Communities: Teaching, Overseeing, Reciprocating, and Sustaining) framework for ethical online community research. Finally, we reflect on our findings by providing implications for researchers and online communities to identify and implement functions for navigating community-level harms and benefits. △ Less

Submitted 17 March, 2025; originally announced March 2025.

Comments: CSCW 2025, 24 article pages, 33 pages of references & appendices, 4 figures

OMG: Opacity Matters in Material Modeling with Gaussian Splatting

Authors: Silong Yong, Venkata Nagarjun Pudureddiyur Manivannan, Bernhard Kerbl, Zifu Wan, Simon Stepputtis, Katia Sycara, Yaqi Xie

Abstract: Decomposing geometry, materials and lighting from a set of images, namely inverse rendering, has been a long-standing problem in computer vision and graphics. Recent advances in neural rendering enable photo-realistic and plausible inverse rendering results. The emergence of 3D Gaussian Splatting has boosted it to the next level by showing real-time rendering potentials. An intuitive finding is th… ▽ More Decomposing geometry, materials and lighting from a set of images, namely inverse rendering, has been a long-standing problem in computer vision and graphics. Recent advances in neural rendering enable photo-realistic and plausible inverse rendering results. The emergence of 3D Gaussian Splatting has boosted it to the next level by showing real-time rendering potentials. An intuitive finding is that the models used for inverse rendering do not take into account the dependency of opacity w.r.t. material properties, namely cross section, as suggested by optics. Therefore, we develop a novel approach that adds this dependency to the modeling itself. Inspired by radiative transfer, we augment the opacity term by introducing a neural network that takes as input material properties to provide modeling of cross section and a physically correct activation function. The gradients for material properties are therefore not only from color but also from opacity, facilitating a constraint for their optimization. Therefore, the proposed method incorporates more accurate physical properties compared to previous works. We implement our method into 3 different baselines that use Gaussian Splatting for inverse rendering and achieve significant improvements universally in terms of novel view synthesis and material modeling. △ Less

Submitted 3 March, 2025; v1 submitted 15 February, 2025; originally announced February 2025.

Comments: Published as a conference paper at ICLR 2025

Aug3D: Augmenting large scale outdoor datasets for Generalizable Novel View Synthesis

Authors: Aditya Rauniyar, Omar Alama, Silong Yong, Katia Sycara, Sebastian Scherer

Abstract: Recent photorealistic Novel View Synthesis (NVS) advances have increasingly gained attention. However, these approaches remain constrained to small indoor scenes. While optimization-based NVS models have attempted to address this, generalizable feed-forward methods, offering significant advantages, remain underexplored. In this work, we train PixelNeRF, a feed-forward NVS model, on the large-scale… ▽ More Recent photorealistic Novel View Synthesis (NVS) advances have increasingly gained attention. However, these approaches remain constrained to small indoor scenes. While optimization-based NVS models have attempted to address this, generalizable feed-forward methods, offering significant advantages, remain underexplored. In this work, we train PixelNeRF, a feed-forward NVS model, on the large-scale UrbanScene3D dataset. We propose four training strategies to cluster and train on this dataset, highlighting that performance is hindered by limited view overlap. To address this, we introduce Aug3D, an augmentation technique that leverages reconstructed scenes using traditional Structure-from-Motion (SfM). Aug3D generates well-conditioned novel views through grid and semantic sampling to enhance feed-forward NVS model learning. Our experiments reveal that reducing the number of views per cluster from 20 to 10 improves PSNR by 10%, but the performance remains suboptimal. Aug3D further addresses this by combining the newly generated novel views with the original dataset, demonstrating its effectiveness in improving the model's ability to predict novel views. △ Less

Submitted 10 January, 2025; originally announced January 2025.

Comments: IROS 2024 Workshop, 9 Pages, 7 Figures

GL-NeRF: Gauss-Laguerre Quadrature Enables Training-Free NeRF Acceleration

Authors: Silong Yong, Yaqi Xie, Simon Stepputtis, Katia Sycara

Abstract: Volume rendering in neural radiance fields is inherently time-consuming due to the large number of MLP calls on the points sampled per ray. Previous works would address this issue by introducing new neural networks or data structures. In this work, We propose GL-NeRF, a new perspective of computing volume rendering with the Gauss-Laguerre quadrature. GL-NeRF significantly reduces the number of MLP… ▽ More Volume rendering in neural radiance fields is inherently time-consuming due to the large number of MLP calls on the points sampled per ray. Previous works would address this issue by introducing new neural networks or data structures. In this work, We propose GL-NeRF, a new perspective of computing volume rendering with the Gauss-Laguerre quadrature. GL-NeRF significantly reduces the number of MLP calls needed for volume rendering, introducing no additional data structures or neural networks. The simple formulation makes adopting GL-NeRF in any NeRF model possible. In the paper, we first justify the use of the Gauss-Laguerre quadrature and then demonstrate this plug-and-play attribute by implementing it in two different NeRF models. We show that with a minimal drop in performance, GL-NeRF can significantly reduce the number of MLP calls, showing the potential to speed up any NeRF model. △ Less

Submitted 19 October, 2024; originally announced October 2024.

Comments: NeurIPS 2024. Project page: https://silongyong.github.io/GL-NeRF_project_page/

Optimal Interval Observers for Bounded Jacobian Nonlinear Dynamical Systems

Authors: Mohammad Khajenejad, Tarun Pati, Sze Zheng Yong

Abstract: In this chapter, we introduce two interval observer designs for discrete-time (DT) and continuous-time (CT) nonlinear systems with bounded Jacobians that are affected by bounded uncertainties. Our proposed methods utilize the concepts of mixed-monotone decomposition and embedding systems to design correct-by-construction interval framers, i.e., the interval framers inherently bound the true state… ▽ More In this chapter, we introduce two interval observer designs for discrete-time (DT) and continuous-time (CT) nonlinear systems with bounded Jacobians that are affected by bounded uncertainties. Our proposed methods utilize the concepts of mixed-monotone decomposition and embedding systems to design correct-by-construction interval framers, i.e., the interval framers inherently bound the true state of the system without needing any additional constraints. Further, our methods leverage techniques for positive/cooperative systems to guarantee global uniform ultimate boundedness of the framer error, i.e., the proposed interval observer is input-to-state stable. Specifically, our two interval observer designs minimize the $\mathcal{H}_{\infty}$ and $L_1$ gains, respectively, of the associated linear comparison system of the framer error dynamics. Moreover, our designs adopt a multiple-gain observer structure, which offers additional degrees of freedom, along with coordinate transformations that may improve the feasibility of the resulting optimization programs. We will also discuss and propose computationally tractable optimization formulations to compute the observer gains. Finally, we compare the efficacy of the proposed designs against existing DT and CT interval observers. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: Submitted to Springer as a book chapter

A potential mass-gap black hole in a wide binary with a circular orbit

Authors: Wang Song, Zhao Xinlin, Feng Fabo, Ge Hongwei, Shao Yong, Cui Yingzhen, Gao Shijie, Zhang Lifu, Wang Pei, Li Xue, Bai Zhongrui, Yuan Hailong, Huang Yang, Yuan Haibo, Zhang Zhixiang, Yi Tuan, Xiang Maosheng, Li Zhenwei, Li Tanda, Zhang Junbo, Zhang Meng, Han Henggeng, Fan Dongwei, Li Xiangdong, Chen Xuefei , et al. (6 additional authors not shown)

Abstract: Mass distribution of black holes identified through X-ray emission suggests a paucity of black holes in the mass range of 3 to 5 solar masses. Modified theories have been devised to explain this mass gap, and it is suggested that natal kicks during supernova explosion can more easily disrupt binaries with lower mass black holes. Although recent LIGO observations reveal the existence of compact rem… ▽ More Mass distribution of black holes identified through X-ray emission suggests a paucity of black holes in the mass range of 3 to 5 solar masses. Modified theories have been devised to explain this mass gap, and it is suggested that natal kicks during supernova explosion can more easily disrupt binaries with lower mass black holes. Although recent LIGO observations reveal the existence of compact remnants within this mass gap, the question of whether low-mass black holes can exist in binaries remains a matter of debate. Such a system is expected to be noninteracting without X-ray emission, and can be searched for using radial velocity and astrometric methods. Here we report Gaia DR3 3425577610762832384, a wide binary system including a red giant star and an unseen object, exhibiting an orbital period of approximately 880 days and near-zero eccentricity. Through the combination of radial velocity measurements from LAMOST and astrometric data from Gaia DR2 and DR3 catalogs, we determine a mass of $3.6^{+0.8}_{-0.5}$ $M_{\odot}$ of the unseen component. This places the unseen companion within the mass gap, strongly suggesting the existence of binary systems containing low-mass black holes. More notably, the formation of its surprisingly wide circular orbit challenges current binary evolution and supernova explosion theories. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: Published in Nature Astronomy, see https://www.nature.com/articles/s41550-024-02359-9

Safety-Critical Control with Offline-Online Neural Network Inference

Authors: Junhui Zhang, Sze Zheng Yong, Dimitra Panagou

Abstract: This paper presents a safety-critical control framework for an ego agent moving among other agents. The approach infers the dynamics of the other agents, and incorporates the inferred quantities into the design of control barrier function (CBF)-based controllers for the ego agent. The inference method combines offline and online learning with radial basis function neural networks (RBFNNs). The RBF… ▽ More This paper presents a safety-critical control framework for an ego agent moving among other agents. The approach infers the dynamics of the other agents, and incorporates the inferred quantities into the design of control barrier function (CBF)-based controllers for the ego agent. The inference method combines offline and online learning with radial basis function neural networks (RBFNNs). The RBFNNs are initially trained offline using collected datasets. To enhance the generalization of the RBFNNs, the weights are then updated online with new observations, without requiring persistent excitation conditions in order to enhance the applicability of the method. Additionally, we employ adaptive conformal prediction to quantify the estimation error of the RBFNNs for the other agents' dynamics, generating prediction sets to cover the true value with high probability. Finally, we formulate a CBF-based controller for the ego agent to guarantee safety with the desired confidence level by accounting for the prediction sets of other agents' dynamics in the sampled-data CBF conditions. Simulation results are provided to demonstrate the effectiveness of the proposed method. △ Less

Submitted 1 August, 2024; originally announced August 2024.

Galaxy 3D Shape Recovery using Mixture Density Network

Authors: Suk Yee Yong, K. E. Harborne, Caroline Foster, Robert Bassett, Gregory B. Poole, Mitchell Cavanagh

Abstract: Since the turn of the century, astronomers have been exploiting the rich information afforded by combining stellar kinematic maps and imaging in an attempt to recover the intrinsic, three-dimensional (3D) shape of a galaxy. A common intrinsic shape recovery method relies on an expected monotonic relationship between the intrinsic misalignment of the kinematic and morphological axes and the triaxia… ▽ More Since the turn of the century, astronomers have been exploiting the rich information afforded by combining stellar kinematic maps and imaging in an attempt to recover the intrinsic, three-dimensional (3D) shape of a galaxy. A common intrinsic shape recovery method relies on an expected monotonic relationship between the intrinsic misalignment of the kinematic and morphological axes and the triaxiality parameter. Recent studies have, however, cast doubt about underlying assumptions relating shape and intrinsic kinematic misalignment. In this work, we aim to recover the 3D shape of individual galaxies using their projected stellar kinematic and flux distributions using a supervised machine learning approach with mixture density network (MDN). Using a mock dataset of the EAGLE hydrodynamical cosmological simulation, we train the MDN model for a carefully selected set of common kinematic and photometric parameters. Compared to previous methods, we demonstrate potential improvements achieved with the MDN model to retrieve the 3D galaxy shape along with the uncertainties, especially for prolate and triaxial systems. We make specific recommendations for recovering galaxy intrinsic shapes relevant for current and future integral field spectroscopic galaxy surveys. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: Accepted for publication in PASA. 18 pages, 12 figures, 2 tables

Journal ref: Publ. Astron. Soc. Aust. 41 (2024) e033

Sigma: Siamese Mamba Network for Multi-Modal Semantic Segmentation

Authors: Zifu Wan, Pingping Zhang, Yuhao Wang, Silong Yong, Simon Stepputtis, Katia Sycara, Yaqi Xie

Abstract: Multi-modal semantic segmentation significantly enhances AI agents' perception and scene understanding, especially under adverse conditions like low-light or overexposed environments. Leveraging additional modalities (X-modality) like thermal and depth alongside traditional RGB provides complementary information, enabling more robust and reliable prediction. In this work, we introduce Sigma, a Sia… ▽ More Multi-modal semantic segmentation significantly enhances AI agents' perception and scene understanding, especially under adverse conditions like low-light or overexposed environments. Leveraging additional modalities (X-modality) like thermal and depth alongside traditional RGB provides complementary information, enabling more robust and reliable prediction. In this work, we introduce Sigma, a Siamese Mamba network for multi-modal semantic segmentation utilizing the advanced Mamba. Unlike conventional methods that rely on CNNs, with their limited local receptive fields, or Vision Transformers (ViTs), which offer global receptive fields at the cost of quadratic complexity, our model achieves global receptive fields with linear complexity. By employing a Siamese encoder and innovating a Mamba-based fusion mechanism, we effectively select essential information from different modalities. A decoder is then developed to enhance the channel-wise modeling ability of the model. Our proposed method is rigorously evaluated on both RGB-Thermal and RGB-Depth semantic segmentation tasks, demonstrating its superiority and marking the first successful application of State Space Models (SSMs) in multi-modal perception tasks. Code is available at https://github.com/zifuwan/Sigma. △ Less

Submitted 12 September, 2024; v1 submitted 5 April, 2024; originally announced April 2024.

Comments: Accepted by WACV 2025. Project page: https://zifuwan.github.io/Sigma/

A Change of Scenery: Transformative Insights from Retrospective VR Embodied Perspective-Taking of Conflict With a Close Other

Authors: Seraphina Yong, Leo Cui, Evan Suma Rosenberg, Svetlana Yarosh

Abstract: Close relationships are irreplaceable social resources, yet prone to high-risk conflict. Building on findings from the fields of HCI, virtual reality, and behavioral therapy, we evaluate the unexplored potential of retrospective VR-embodied perspective-taking to fundamentally influence conflict resolution in close others. We develop a biographically-accurate Retrospective Embodied Perspective-Taki… ▽ More Close relationships are irreplaceable social resources, yet prone to high-risk conflict. Building on findings from the fields of HCI, virtual reality, and behavioral therapy, we evaluate the unexplored potential of retrospective VR-embodied perspective-taking to fundamentally influence conflict resolution in close others. We develop a biographically-accurate Retrospective Embodied Perspective-Taking system (REPT) and conduct a mixed-methods evaluation of its influence on close others' reflection and communication, compared to video-based reflection methods currently used in therapy (treatment as usual, or TAU). Our key findings provide evidence that REPT was able to significantly improve communication skills and positive sentiment of both partners during conflict, over TAU. The qualitative data also indicated that REPT surpassed basic perspective-taking by exclusively stimulating users to embody and reflect on both their own and their partner's experiences at the same level. In light of these findings, we provide implications and an agenda for social embodiment in HCI design: conceptualizing the use of `embodied social cognition,' and envisioning socially-embodied experiences as an interactive context. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 18 pages, 5 figures, Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems

Control Barrier Functions for Linear Continuous-Time Input-Delay Systems with Limited-Horizon Previewable Disturbances

Authors: Tarun Pati, Seunghoon Hwang, Sze Zheng Yong

Abstract: Cyber-physical and autonomous systems are often equipped with mechanisms that provide predictions/projections of future disturbances, e.g., road curvatures, commonly referred to as preview or lookahead, but this preview information is typically not leveraged in the context of deriving control barrier functions (CBFs) for safety. This paper proposes a novel limited preview control barrier function… ▽ More Cyber-physical and autonomous systems are often equipped with mechanisms that provide predictions/projections of future disturbances, e.g., road curvatures, commonly referred to as preview or lookahead, but this preview information is typically not leveraged in the context of deriving control barrier functions (CBFs) for safety. This paper proposes a novel limited preview control barrier function (LPrev-CBF) that avoids both ends of the spectrum, where on one end, the standard CBF approach treats the (previewable) disturbances simply as worst-case adversarial signals and on the other end, a recent Prev-CBF approach assumes that the disturbances are previewable and known for the entire future. Moreover, our approach applies to input-delay systems and has recursive feasibility guarantees since we explicitly take input constraints/bounds into consideration. Thus, our approach provides strong safety guarantees in a less conservative manner than standard CBF approaches while considering a more realistic setting with limited preview and input delays. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 8 Pages, 3 figures. This paper was submitted and accepted to the American Controls Conference 2024, we are in the process of final manuscript submission to ACC after addressing the reviewers. In this Arxiv version of the paper, most of the comments from ACC reviewers have been addressed

Detection of metal enrichment by SN 2011jm in NGC 4809

Authors: Yulong Gao, Qiusheng Gu, Ping Zhou, Shi Yong, Xiangdong Li

Abstract: The cosmic metals are believed to originate from stellar and supernovae (SNe) nucleosynthesis, dispersed into the interstellar medium (ISM) through stellar winds and supernova explosions. In this paper, we present the clear evidence of metal enrichment by a type Ic SN 2011jm in the galaxy NGC 4809, utilizing high spatial resolution Integral Field Units (IFU) observations obtained from the Very Lar… ▽ More The cosmic metals are believed to originate from stellar and supernovae (SNe) nucleosynthesis, dispersed into the interstellar medium (ISM) through stellar winds and supernova explosions. In this paper, we present the clear evidence of metal enrichment by a type Ic SN 2011jm in the galaxy NGC 4809, utilizing high spatial resolution Integral Field Units (IFU) observations obtained from the Very Large Telescope (VLT)/Multi Unit Spectroscopic Explorer (MUSE). Despite SN 2011jm being surrounded by metal-deficient ISM ($\sim 0.25 \ Z_\odot$) at a scale about 100 pc, we clearly detect enriched oxygen abundance ($\sim 0.35 \ Z_\odot$) and a noteworthy nitrogen-to-oxygen ratio at the SN site. Remarkably, the metal pollution is confined to a smaller scale ( $\leq$ 13 pc). We posit that the enhanced ionized metal stems from stellar winds emitted by massive stars or previous SNe explosions. This observation may represent the first direct detection of chemical pollution by stellar feedback in star-forming galaxies beyond the Local Volume. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 9 pages, 4 figures; accepted for publication in ApJL

A Real-Time Lyrics Alignment System Using Chroma And Phonetic Features For Classical Vocal Performance

Authors: Jiyun Park, Sangeon Yong, Taegyun Kwon, Juhan Nam

Abstract: The goal of real-time lyrics alignment is to take live singing audio as input and to pinpoint the exact position within given lyrics on the fly. The task can benefit real-world applications such as the automatic subtitling of live concerts or operas. However, designing a real-time model poses a great challenge due to the constraints of only using past input and operating within a minimal latency.… ▽ More The goal of real-time lyrics alignment is to take live singing audio as input and to pinpoint the exact position within given lyrics on the fly. The task can benefit real-world applications such as the automatic subtitling of live concerts or operas. However, designing a real-time model poses a great challenge due to the constraints of only using past input and operating within a minimal latency. Furthermore, due to the lack of datasets for real-time models for lyrics alignment, previous studies have mostly evaluated with private in-house datasets, resulting in a lack of standard evaluation methods. This paper presents a real-time lyrics alignment system for classical vocal performances with two contributions. First, we improve the lyrics alignment algorithm by finding an optimal combination of chromagram and phonetic posteriorgram (PPG) that capture melodic and phonetics features of the singing voice, respectively. Second, we recast the Schubert Winterreise Dataset (SWD) which contains multiple performance renditions of the same pieces as an evaluation set for the real-time lyrics alignment. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Comments: To Appear IEEE ICASSP 2024

An Embodied Generalist Agent in 3D World

Authors: Jiangyong Huang, Silong Yong, Xiaojian Ma, Xiongkun Linghu, Puhao Li, Yan Wang, Qing Li, Song-Chun Zhu, Baoxiong Jia, Siyuan Huang

Abstract: Leveraging massive knowledge from large language models (LLMs), recent machine learning models show notable successes in general-purpose task solving in diverse domains such as computer vision and robotics. However, several significant challenges remain: (i) most of these models rely on 2D images yet exhibit a limited capacity for 3D input; (ii) these models rarely explore the tasks inherently def… ▽ More Leveraging massive knowledge from large language models (LLMs), recent machine learning models show notable successes in general-purpose task solving in diverse domains such as computer vision and robotics. However, several significant challenges remain: (i) most of these models rely on 2D images yet exhibit a limited capacity for 3D input; (ii) these models rarely explore the tasks inherently defined in 3D world, e.g., 3D grounding, embodied reasoning and acting. We argue these limitations significantly hinder current models from performing real-world tasks and approaching general intelligence. To this end, we introduce LEO, an embodied multi-modal generalist agent that excels in perceiving, grounding, reasoning, planning, and acting in the 3D world. LEO is trained with a unified task interface, model architecture, and objective in two stages: (i) 3D vision-language (VL) alignment and (ii) 3D vision-language-action (VLA) instruction tuning. We collect large-scale datasets comprising diverse object-level and scene-level tasks, which require considerable understanding of and interaction with the 3D world. Moreover, we meticulously design an LLM-assisted pipeline to produce high-quality 3D VL data. Through extensive experiments, we demonstrate LEO's remarkable proficiency across a wide spectrum of tasks, including 3D captioning, question answering, embodied reasoning, navigation and manipulation. Our ablative studies and scaling analyses further provide valuable insights for developing future embodied generalist agents. Code and data are available on project page. △ Less

Submitted 9 May, 2024; v1 submitted 17 November, 2023; originally announced November 2023.

Comments: ICML 2024. The first four authors contribute equally. Project page: https://embodied-generalist.github.io

Unravelling Interaction and Temperature Contributions in Unpolarized Trapped Fermionic Atoms in the BCS Regime

Authors: Sejung Yong, Sian Barbosa, Jennifer Koch, Felix Lang, Axel Pelster, Artur Widera

Abstract: In the BCS limit density profiles for unpolarized trapped fermionic clouds of atoms are largely featureless. Therefore, it is a delicate task to analyze them in order to quantify their respective interaction and temperature contributions. Temperature measurements have so far been mostly considered in an indirect way, where one sweeps isentropically from the BCS to the BEC limit. Instead we suggest… ▽ More In the BCS limit density profiles for unpolarized trapped fermionic clouds of atoms are largely featureless. Therefore, it is a delicate task to analyze them in order to quantify their respective interaction and temperature contributions. Temperature measurements have so far been mostly considered in an indirect way, where one sweeps isentropically from the BCS to the BEC limit. Instead we suggest here a direct thermometry, which relies on measuring the column density and comparing the obtained data with a Hartree-Bogoliubov mean-field theory combined with a local density approximation. In case of an attractive interaction between two-components of $^{6}$Li atoms trapped in a tri-axial harmonic confinement we show that minimizing the error within such an experiment-theory collaboration turns out to be a reasonable criterion for analyzing in detail measured densities and, thus, for ultimately determining the sample temperatures. The findings are discussed in view of various possible sources of errors. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 7 pages, 4 figures

Resilient State Estimation for Nonlinear Discrete-Time Systems via Input and State Interval Observer Synthesis

Authors: Mohammad Khajenejad, Zeyuan Jin, Thach Ngoc Dinh, Sze Zheng Yong

Abstract: This paper addresses the problem of resilient state estimation and attack reconstruction for bounded-error nonlinear discrete-time systems with nonlinear observations/ constraints, where both sensors and actuators can be compromised by false data injection attack signals/unknown inputs. By leveraging mixed-monotone decomposition of nonlinear functions, as well as affine parallel outer-approximatio… ▽ More This paper addresses the problem of resilient state estimation and attack reconstruction for bounded-error nonlinear discrete-time systems with nonlinear observations/ constraints, where both sensors and actuators can be compromised by false data injection attack signals/unknown inputs. By leveraging mixed-monotone decomposition of nonlinear functions, as well as affine parallel outer-approximation of the observation functions, along with introducing auxiliary states to cancel out the effect of the attacks/unknown inputs, our proposed observer recursively computes interval estimates that by construction, contain the true states and unknown inputs of the system. Moreover, we provide several semi-definite programs to synthesize observer gains to ensure input-to-state stability of the proposed observer and optimality of the design in the sense of minimum $\mathcal{H}_{\infty}$ gain. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 7 pages

Uncertainty Quantification of the Virial Black Hole Mass with Conformal Prediction

Authors: Suk Yee Yong, Cheng Soon Ong

Abstract: Precise measurements of the black hole mass are essential to gain insight on the black hole and host galaxy co-evolution. A direct measure of the black hole mass is often restricted to nearest galaxies and instead, an indirect method using the single-epoch virial black hole mass estimation is used for objects at high redshifts. However, this method is subjected to biases and uncertainties as it is… ▽ More Precise measurements of the black hole mass are essential to gain insight on the black hole and host galaxy co-evolution. A direct measure of the black hole mass is often restricted to nearest galaxies and instead, an indirect method using the single-epoch virial black hole mass estimation is used for objects at high redshifts. However, this method is subjected to biases and uncertainties as it is reliant on the scaling relation from a small sample of local active galactic nuclei. In this study, we propose the application of conformalised quantile regression (CQR) to quantify the uncertainties of the black hole predictions in a machine learning setting. We compare CQR with various prediction interval techniques and demonstrated that CQR can provide a more useful prediction interval indicator. In contrast to baseline approaches for prediction interval estimation, we show that the CQR method provides prediction intervals that adjust to the black hole mass and its related properties. That is it yields a tighter constraint on the prediction interval (hence more certain) for a larger black hole mass, and accordingly, bright and broad spectral line width source. Using a combination of neural network model and CQR framework, the recovered virial black hole mass predictions and uncertainties are comparable to those measured from the Sloan Digital Sky Survey. The code is publicly available at https://github.com/yongsukyee/uncertain_blackholemass. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: Accepted for publication in MNRAS. 15 pages, 11 figures, 2 tables

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference

Authors: Zeyuan Jin, Nasim Baharisangari, Zhe Xu, Sze Zheng Yong

Abstract: This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that govern their mode sequences, where only sampled data of the unknown dynamics and tasks are available. To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unkno… ▽ More This paper addresses the problem of data-driven model discrimination for unknown switched systems with unknown linear temporal logic (LTL) specifications, representing tasks, that govern their mode sequences, where only sampled data of the unknown dynamics and tasks are available. To tackle this problem, we propose data-driven methods to over-approximate the unknown dynamics and to infer the unknown specifications such that both set-membership models of the unknown dynamics and LTL formulas are guaranteed to include the ground truth model and specification/task. Moreover, we present an optimization-based algorithm for analyzing the distinguishability of a set of learned/inferred model-task pairs as well as a model discrimination algorithm for ruling out model-task pairs from this set that are inconsistent with new observations at run time. Further, we present an approach for reducing the size of inferred specifications to increase the computational efficiency of the model discrimination algorithms. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Probing Quasar Viewing Angle with the Variability Structure Function

Authors: Ji-Jia Tang, Christian Wolf, John Tonry, Samuel Lai, Suk Yee Yong, Zachary Steyn

Abstract: Given the anisotropic emission from quasar accretion discs, their viewing angle affects estimates of the quasar luminosity, black-hole mass and Eddington ratio. Discs appear overluminous when viewed pole-on and underluminous when viewed at high inclination. In radio-quiet quasars, the viewing angle is usually unknown, although spectroscopic indicators have been proposed. Here, we use a recently di… ▽ More Given the anisotropic emission from quasar accretion discs, their viewing angle affects estimates of the quasar luminosity, black-hole mass and Eddington ratio. Discs appear overluminous when viewed pole-on and underluminous when viewed at high inclination. In radio-quiet quasars, the viewing angle is usually unknown, although spectroscopic indicators have been proposed. Here, we use a recently discovered universality in the variability structure function (SF) of quasar light curves (LCs), where all quasars show the same SF when clocks run in units of orbital timescale. As an offset from the mean relation can be caused by incorrect orbital timescales and thus incorrect luminosities, we correlate these offsets with suggested inclination indicators. We derive SFs from NASA/ATLAS LCs spanning $\sim 6$ years of observation, using a sample of 183 luminous quasars with measured H$β$ lines as well as 753 quasars with CIV and MgII lines. Starting from the proposed orientation indicators, we expect quasars with narrower H$β$ lines and with more blueshifted CIV lines to be viewed more pole-on and thus appear overluminous. In contrast, our SF analysis finds that presumed pole-on discs appear underluminous, consistently for both line indicators. We discuss possible explanations for the behaviour of quasars with highly blueshifted CIV lines irrespective of inclination angle, including dusty outflows that might render the accretion disc underluminous and flatter disc temperature profiles with longer orbital timescales than in thin-disc models but reach no satisfying conclusion. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: 15 pages, 10 figures, Accepted for publication in MNRAS

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems

Authors: Scott Brown, Mohammad Khajenejad, Sze Zheng Yong, Sonia MartInez

Abstract: In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting n… ▽ More In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows us to guarantee the invariance of the resulting near-maximal CIS while also computing sets of control inputs that enforce the invariance. Further, we propose an accelerated version of this procedure which refines the CIS by computing backward reachable sets of individual components of set unions, rather than all at once. This reduces the total number of iterations required for convergence, especially when compared with existing methods. Finally, we compare our methods to a sampling-based approach and demonstrate the improved accuracy and faster convergence. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 7 pages, submitted to CDC'23

A Phoneme-Informed Neural Network Model for Note-Level Singing Transcription

Authors: Sangeon Yong, Li Su, Juhan Nam

Abstract: Note-level automatic music transcription is one of the most representative music information retrieval (MIR) tasks and has been studied for various instruments to understand music. However, due to the lack of high-quality labeled data, transcription of many instruments is still a challenging task. In particular, in the case of singing, it is difficult to find accurate notes due to its expressivene… ▽ More Note-level automatic music transcription is one of the most representative music information retrieval (MIR) tasks and has been studied for various instruments to understand music. However, due to the lack of high-quality labeled data, transcription of many instruments is still a challenging task. In particular, in the case of singing, it is difficult to find accurate notes due to its expressiveness in pitch, timbre, and dynamics. In this paper, we propose a method of finding note onsets of singing voice more accurately by leveraging the linguistic characteristics of singing, which are not seen in other instruments. The proposed model uses mel-scaled spectrogram and phonetic posteriorgram (PPG), a frame-wise likelihood of phoneme, as an input of the onset detection network while PPG is generated by the pre-trained network with singing and speech data. To verify how linguistic features affect onset detection, we compare the evaluation results through the dataset with different languages and divide onset types for detailed analysis. Our approach substantially improves the performance of singing transcription and therefore emphasizes the importance of linguistic features in singing analysis. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: Accepted at ICASSP 2023

Neuroevolution of Physics-Informed Neural Nets: Benchmark Problems and Comparative Results

Authors: Nicholas Sung Wei Yong, Jian Cheng Wong, Pao-Hsiung Chiu, Abhishek Gupta, Chinchun Ooi, Yew-Soon Ong

Abstract: The potential of learned models for fundamental scientific research and discovery is drawing increasing attention worldwide. Physics-informed neural networks (PINNs), where the loss function directly embeds governing equations of scientific phenomena, is one of the key techniques at the forefront of recent advances. PINNs are typically trained using stochastic gradient descent methods, akin to the… ▽ More The potential of learned models for fundamental scientific research and discovery is drawing increasing attention worldwide. Physics-informed neural networks (PINNs), where the loss function directly embeds governing equations of scientific phenomena, is one of the key techniques at the forefront of recent advances. PINNs are typically trained using stochastic gradient descent methods, akin to their deep learning counterparts. However, analysis in this paper shows that PINNs' unique loss formulations lead to a high degree of complexity and ruggedness that may not be conducive for gradient descent. Unlike in standard deep learning, PINN training requires globally optimum parameter values that satisfy physical laws as closely as possible. Spurious local optimum, indicative of erroneous physics, must be avoided. Hence, neuroevolution algorithms, with their superior global search capacity, may be a better choice for PINNs relative to gradient descent methods. Here, we propose a set of five benchmark problems, with open-source codes, spanning diverse physical phenomena for novel neuroevolution algorithm development. Using this, we compare two neuroevolution algorithms against the commonly used stochastic gradient descent, and our baseline results support the claim that neuroevolution can surpass gradient descent, ensuring better physics compliance in the predicted outputs. %Furthermore, implementing neuroevolution with JAX leads to orders of magnitude speedup relative to standard implementations. △ Less

Submitted 6 December, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: 11 pages, 6 figures, 4 tables

Journal ref: Proceedings of the Companion Conference on Genetic and Evolutionary Computation July 2023

Neural Vocoder Feature Estimation for Dry Singing Voice Separation

Authors: Jaekwon Im, Soonbeom Choi, Sangeon Yong, Juhan Nam

Abstract: Singing voice separation (SVS) is a task that separates singing voice audio from its mixture with instrumental audio. Previous SVS studies have mainly employed the spectrogram masking method which requires a large dimensionality in predicting the binary masks. In addition, they focused on extracting a vocal stem that retains the wet sound with the reverberation effect. This result may hinder the r… ▽ More Singing voice separation (SVS) is a task that separates singing voice audio from its mixture with instrumental audio. Previous SVS studies have mainly employed the spectrogram masking method which requires a large dimensionality in predicting the binary masks. In addition, they focused on extracting a vocal stem that retains the wet sound with the reverberation effect. This result may hinder the reusability of the isolated singing voice. This paper addresses the issues by predicting mel-spectrogram of dry singing voices from the mixed audio as neural vocoder features and synthesizing the singing voice waveforms from the neural vocoder. We experimented with two separation methods. One is predicting binary masks in the mel-spectrogram domain and the other is directly predicting the mel-spectrogram. Furthermore, we add a singing voice detector to identify the singing voice segments over time more explicitly. We measured the model performance in terms of audio, dereverberation, separation, and overall quality. The results show that our proposed model outperforms state-of-the-art singing voice separation models in both objective and subjective evaluation except the audio quality. △ Less

Submitted 29 November, 2022; originally announced November 2022.

Comments: 6 pages, 4 figures

Journal ref: 14th Asia Pacific Signal and Information Processing Association Annual Summit and Conference (APSIPA), 2022

SQA3D: Situated Question Answering in 3D Scenes

Authors: Xiaojian Ma, Silong Yong, Zilong Zheng, Qing Li, Yitao Liang, Song-Chun Zhu, Siyuan Huang

Abstract: We propose a new task to benchmark scene understanding of embodied agents: Situated Question Answering in 3D Scenes (SQA3D). Given a scene context (e.g., 3D scan), SQA3D requires the tested agent to first understand its situation (position, orientation, etc.) in the 3D scene as described by text, then reason about its surrounding environment and answer a question under that situation. Based upon 6… ▽ More We propose a new task to benchmark scene understanding of embodied agents: Situated Question Answering in 3D Scenes (SQA3D). Given a scene context (e.g., 3D scan), SQA3D requires the tested agent to first understand its situation (position, orientation, etc.) in the 3D scene as described by text, then reason about its surrounding environment and answer a question under that situation. Based upon 650 scenes from ScanNet, we provide a dataset centered around 6.8k unique situations, along with 20.4k descriptions and 33.4k diverse reasoning questions for these situations. These questions examine a wide spectrum of reasoning capabilities for an intelligent agent, ranging from spatial relation comprehension to commonsense understanding, navigation, and multi-hop reasoning. SQA3D imposes a significant challenge to current multi-modal especially 3D reasoning models. We evaluate various state-of-the-art approaches and find that the best one only achieves an overall score of 47.20%, while amateur human participants can reach 90.06%. We believe SQA3D could facilitate future embodied AI research with stronger situation understanding and reasoning capability. △ Less

Submitted 12 April, 2023; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: ICLR 2023. First two authors contributed equally. Project website: https://sqa3d.github.io

SPARKESX: Single-dish PARKES data sets for finding the uneXpected -- A data challenge

Authors: Suk Yee Yong, George Hobbs, Minh T. Huynh, Vivien Rolland, Lars Petersson, Ray P. Norris, Shi Dai, Rui Luo, Andrew Zic

Abstract: New classes of astronomical objects are often discovered serendipitously. The enormous data volumes produced by recent high-time resolution, radio-telescope surveys imply that efficient algorithms are required for a discovery. Such algorithms are usually tuned to detect specific, known sources. Existing data sets therefore likely contain unknown astronomical sources, which will remain undetected u… ▽ More New classes of astronomical objects are often discovered serendipitously. The enormous data volumes produced by recent high-time resolution, radio-telescope surveys imply that efficient algorithms are required for a discovery. Such algorithms are usually tuned to detect specific, known sources. Existing data sets therefore likely contain unknown astronomical sources, which will remain undetected unless algorithms are developed that can detect a more diverse range of signals. We present the Single-dish PARKES data challenge for finding the uneXpected (SPARKESX), a compilation of real and simulated high-time resolution observations. SPARKESX comprises three mock surveys from the Parkes "Murriyang" radio telescope. A broad selection of simulated and injected expected signals (such as pulsars, fast radio bursts), poorly characterised signals (plausible flare star signatures) and unknown unknowns are generated for each survey. The goal of this challenge is to aid in the development of new algorithms that can detect a wide-range of source types. We show how successful a typical pipeline based on the standard pulsar search software, PRESTO, is at finding the injected signals. The dataset is publicly available at https://doi.org/10.25919/fd4f-0g20. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: Accepted for publication in MNRAS. 18 pages, 8 figures, 4 table

Simulating high-time resolution radio-telescope observations

Authors: Rui Luo, George Hobbs, Suk Yee Yong, Andrew Zic, Lawrence Toomey, Shi Dai, Alex Dunning, Di Li, Tommy Marshman, Chen Wang, Pei Wang, Shuangqiang Wang, Songbo Zhang

Abstract: We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy, receiver system and digitisation. The signatures of pulsars, fast radio bursts and flare stars are modelled, including frequency-dependent effects such as scattering… ▽ More We describe a new software package for simulating channelised, high-time resolution data streams from radio telescopes. The software simulates data from the telescope and observing system taking into account the observation strategy, receiver system and digitisation. The signatures of pulsars, fast radio bursts and flare stars are modelled, including frequency-dependent effects such as scattering and scintillation. We also simulate more generic signals using spline curves and images. Models of radio frequency interference include signals from satellites, terrestrial transmitters and impulsive, broadband signals. The simulated signals can also be injected into real data sets. Uses of this software include the production of machine learning training data sets, development and testing of new algorithms to search for anomalous patterns and to characterise processing pipelines. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Comments: 12 pages, 11 figures, MNRAS in press

$\mathcal{H}_{\infty}$-optimal Interval Observer Synthesis for Uncertain Nonlinear Dynamical Systems via Mixed-Monotone Decompositions

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: This paper introduces a novel $\mathcal{H}_{\infty}$-optimal interval observer synthesis for bounded-error/uncertain locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with noisy nonlinear observations. Specifically, using mixed-monotone decompositions, the proposed observer is correct by construction, i.e., the interval estimates readily frame the true states without… ▽ More This paper introduces a novel $\mathcal{H}_{\infty}$-optimal interval observer synthesis for bounded-error/uncertain locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with noisy nonlinear observations. Specifically, using mixed-monotone decompositions, the proposed observer is correct by construction, i.e., the interval estimates readily frame the true states without additional constraints or procedures. In addition, we provide sufficient conditions for input-to-state (ISS) stability of the proposed observer and for minimizing the $\mathcal{H}_{\infty}$ gain of the framer error system in the form of semi-definite programs (SDPs) with Linear Matrix Inequalities (LMIs) constraints. Finally, we compare the performance of the proposed $\mathcal{H}_{\infty}$-optimal interval observers with some benchmark CT and DT interval observers. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 6 pages

Interval Observer Synthesis for Locally Lipschitz Nonlinear Dynamical Systems via Mixed-Monotone Decompositions

Authors: Mohammad Khajenejad, Fatima Shoaib, Sze Zheng Yong

Abstract: This paper proposes a novel unified interval-valued observer synthesis approach for locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with nonlinear observations. A key feature of our proposed observer, which is derived using mixed-monotone decompositions, is that it is correct by construction (i.e., the true state trajectory of the system is framed by the states of t… ▽ More This paper proposes a novel unified interval-valued observer synthesis approach for locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with nonlinear observations. A key feature of our proposed observer, which is derived using mixed-monotone decompositions, is that it is correct by construction (i.e., the true state trajectory of the system is framed by the states of the observer) without the need for imposing additional constraints and assumptions such as global Lipschitz continuity or contraction, as is done in existing approaches in the literature. Furthermore, we derive sufficient conditions for designing stabilizing observer gains in the form of Linear Matrix Inequalities (LMIs). Finally, we compare the performance of our observer design with some benchmark CT and DT observers in the literature. △ Less

Submitted 23 February, 2022; originally announced February 2022.

Comments: Accepted in ACC22

Resilient Interval Observer for Simultaneous Estimation of States, Modes and Attack Policies

Authors: Mohammad Khajenejad, Zeyuan Jin, Sze Zheng Yong

Abstract: This paper considers the problem of designing interval observers for hidden mode switched nonlinear systems with bounded noise signals that are compromised by false data injection and switching attacks. The proposed observer consists of three components: i) a bank of mode-matched observers, which simultaneously estimates the corresponding mode-matched continuous states and discrete states (modes),… ▽ More This paper considers the problem of designing interval observers for hidden mode switched nonlinear systems with bounded noise signals that are compromised by false data injection and switching attacks. The proposed observer consists of three components: i) a bank of mode-matched observers, which simultaneously estimates the corresponding mode-matched continuous states and discrete states (modes), as well as learns a model of the unknown attack policy, ii) a mode observer that eliminates the incompatible modes based on a residual-based set-membership criterion, and iii) a global fusion observer that combines the outputs of i) and ii). Moreover, in addition to showing the correctness, stability and convergence of the mode-matched estimates, we provide sufficient conditions to guarantee that all false modes will be eliminated after sufficiently large finite time steps, i.e., the system is mode-detectable under the proposed observer. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Guaranteed State Estimation via Indirect Polytopic Set Computation for Nonlinear Discrete-Time Systems

Authors: Mohammad Khajenejad, Fatima Shoaib, Sze Zheng Yong

Abstract: This paper proposes novel set-theoretic approaches for state estimation in bounded-error discrete-time nonlinear systems, subject to nonlinear observations/constraints. By transforming the polytopic sets that are characterized as zonotope bundles (ZB) and/or constrained zonotopes (CZ), from the state space to the space of the generators of ZB/CZ, we leverage a recent result on the remainder-form m… ▽ More This paper proposes novel set-theoretic approaches for state estimation in bounded-error discrete-time nonlinear systems, subject to nonlinear observations/constraints. By transforming the polytopic sets that are characterized as zonotope bundles (ZB) and/or constrained zonotopes (CZ), from the state space to the space of the generators of ZB/CZ, we leverage a recent result on the remainder-form mixed-monotone decomposition functions to compute the propagated set, i.e., a ZB/CZ that is guaranteed to enclose the set of the state trajectories of the considered system. Further, by applying the remainder-form decomposition functions to the nonlinear observation function, we derive the updated set, i.e., an enclosing ZB/CZ of the intersection of the propagated set and the set of states that are compatible/consistent with the observations/constraints. Finally, we show that the mean value extension result in [1] for computing propagated sets can also be extended to compute the updated set when the observation function is nonlinear. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: Accepted for publication in CDC'21

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: This paper proposes a tractable family of remainder-form mixed-monotone decomposition functions that are useful for over-approximating the image set of nonlinear mappings in reachability and estimation problems. Our approach applies to a new class of nonsmooth, discontinuous nonlinear systems that we call either-sided locally Lipschitz semicontinuous (ELLS) systems, which we show to be a strict su… ▽ More This paper proposes a tractable family of remainder-form mixed-monotone decomposition functions that are useful for over-approximating the image set of nonlinear mappings in reachability and estimation problems. Our approach applies to a new class of nonsmooth, discontinuous nonlinear systems that we call either-sided locally Lipschitz semicontinuous (ELLS) systems, which we show to be a strict superset of locally Lipschitz continuous (LLC) systems, thus expanding the set of systems that are formally known to be mixed-monotone. In addition, we derive lower and upper bounds for the over-approximation error and show that the lower bound is achieved with our proposed approach, i.e., our approach constructs the tightest, tractable remainder-form mixed-monotone decomposition function. Moreover, we introduce a set inversion algorithm that along with the proposed decomposition functions, can be used for constrained reachability analysis and guaranteed state estimation for continuous- and discrete-time systems with bounded noise. △ Less

Submitted 24 June, 2024; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 17 pages, published in IEEE Transactions on Automatic Control, Examples 1 and 2 slightly revised on Arxiv

Journal ref: IEEE Transactions on Automatic Control ( Volume: 68, Issue: 12, December 2023)

Simultaneous Mode, State and Input Set-Valued Observers for Switched Nonlinear Systems

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: In this paper, we study the problem of designing a simultaneous mode, input, and state set-valued observer for a class of hidden mode switched nonlinear systems with bounded-norm noise and unknown input signals, where the hidden mode and unknown inputs can represent fault or attack models and exogenous fault/disturbance or adversarial signals, respectively. The proposed multiple-model design has t… ▽ More In this paper, we study the problem of designing a simultaneous mode, input, and state set-valued observer for a class of hidden mode switched nonlinear systems with bounded-norm noise and unknown input signals, where the hidden mode and unknown inputs can represent fault or attack models and exogenous fault/disturbance or adversarial signals, respectively. The proposed multiple-model design has three constituents: (i) a bank of mode-matched set-valued observers, (ii) a mode observer, and (iii) a global fusion observer. The mode-matched observers recursively find the sets of compatible states and unknown inputs conditioned on the mode being the true mode, while the mode observer eliminates incompatible modes by leveraging a residual-based criterion. Then, the global fusion observer outputs the estimated sets of states and unknown inputs by taking the union of the mode-matched set-valued estimates over all compatible modes. Moreover, sufficient conditions to guarantee the elimination of all false modes (i.e., mode-detectability) are provided and the effectiveness of our approach is demonstrated and compared with existing approaches using an illustrative example. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: Submitted to NAHS. arXiv admin note: text overlap with arXiv:2001.07370

Equalized Recovery State Estimators for Linear Systems with Delayed and Missing Observations

Authors: Syed M. Hassaan, Qiang Shen, Sze Zheng Yong

Abstract: This paper presents a dynamic state observer design for discrete-time linear time-varying systems that robustly achieves equalized recovery despite delayed or missing observations, where the set of all temporal patterns for the missing or delayed data is modeled by a finite-length language. By introducing a mapping of the language onto a reduced event-based language, we design a state estimator th… ▽ More This paper presents a dynamic state observer design for discrete-time linear time-varying systems that robustly achieves equalized recovery despite delayed or missing observations, where the set of all temporal patterns for the missing or delayed data is modeled by a finite-length language. By introducing a mapping of the language onto a reduced event-based language, we design a state estimator that adapts based on the history of available data at each step, and satisfies equalized recovery for all patterns in the reduced language. In contrast to existing equalized recovery estimators, the proposed design considers the equalized recovery level as a decision variable, which enables us to directly obtain the global minimum for the intermediate recovery level, resulting in improved estimation performance. Finally, we demonstrate the effectiveness of the proposed observer when compared to existing approaches using several illustrative examples. △ Less

Submitted 9 January, 2021; originally announced January 2021.

Comments: Submitted to L-CSS 2021 with presentation in ACC2021 as an option

User-Centered Programming Language Design: A Course-Based Case Study

Authors: Michael Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich

Abstract: Recently, user-centered methods have been proposed to improve the design of programming languages. In order to explore what benefits these methods might have for novice programming language designers, we taught a collection of user-centered programming language design methods to a group of eight students. We observed that natural programming and usability studies helped the students refine their l… ▽ More Recently, user-centered methods have been proposed to improve the design of programming languages. In order to explore what benefits these methods might have for novice programming language designers, we taught a collection of user-centered programming language design methods to a group of eight students. We observed that natural programming and usability studies helped the students refine their language designs and identify opportunities for improvement, even in the short duration of a course project. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Comments: 7 pages. Presented at HATRA 2020 (https://2020.splashcon.org/home/hatra-2020)

ACM Class: D.2; D.3

Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems

Authors: Mohammad Khajenejad, Zeyuan Jin, Sze Zheng Yong

Abstract: We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying our previously developed data-driven function over… ▽ More We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying our previously developed data-driven function over-approximation/abstraction approach to over-estimate the unknown dynamic model, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to contain the true augmented states. Then, using observed output/measurement signals, the observer iteratively shrinks the intervals by eliminating estimates that are not compatible with the measurements. Finally, given new interval estimates, the observer updates the over-approximation of the unknown model dynamics. Moreover, we provide sufficient conditions for uniform boundedness of the sequence of estimate interval widths, i.e., stability of the designed observer, in the form of tractable (mixed-)integer programs with finitely countable feasible sets. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: submitted to CDC2020. arXiv admin note: text overlap with arXiv:2004.01861

Simultaneous Input and State Interval Observers for Nonlinear Systems with Rank-Deficient Direct Feedthrough

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: We address the problem of designing simultaneous input and state interval observers for Lipschitz continuous nonlinear systems with rank-deficient feedthrough, unknown inputs and bounded noise signals. Benefiting from the existence of nonlinear decomposition functions and affine abstractions, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that… ▽ More We address the problem of designing simultaneous input and state interval observers for Lipschitz continuous nonlinear systems with rank-deficient feedthrough, unknown inputs and bounded noise signals. Benefiting from the existence of nonlinear decomposition functions and affine abstractions, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to contain the true states and unknown inputs. Moreover, we provide necessary and sufficient conditions for the existence and sufficient conditions for the stability (i.e., uniform boundedness of the sequence of estimate interval widths) of the designed observer, and show that the input interval estimates are tight, given the state intervals and decomposition functions. △ Less

Submitted 18 December, 2020; v1 submitted 4 April, 2020; originally announced April 2020.

Comments: submitted to ECC2021. arXiv admin note: text overlap with arXiv:2002.04761

Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance

Authors: Matthew Cavorsi, Mohammad Khajenejad, Ruochen Niu, Qiang Shen, Sze Zheng Yong

Abstract: This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we propose nonlinear discrete-time control barrier functions for partially control affine systems that lead to controlled invariance conditions that are affine in the control input, leading to a tractable formulation that e… ▽ More This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we propose nonlinear discrete-time control barrier functions for partially control affine systems that lead to controlled invariance conditions that are affine in the control input, leading to a tractable formulation that enables us to handle the safety optimal control problem for a broader range of applications with more complicated safety conditions than existing approaches. In addition, we develop mixed-integer formulations for basic and secondary Boolean compositions of multiple control barrier functions and further provide mixed-integer constraints for piecewise control barrier functions. Finally, we apply these discrete-time control barrier function tools to automotive safety problems of lane keeping and obstacle avoidance, which are shown to be effective in simulation. △ Less

Submitted 4 April, 2020; originally announced April 2020.

Comments: submitted to CDC2020

Incremental Affine Abstraction of Nonlinear Systems

Authors: Syed M. Hassaan, Mohammad Khajenejad, Spencer Jensen, Qiang Shen, Sze Zheng Yong

Abstract: In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes with expanding operating regions. Although the affine abstraction problem can be solved offline using a single linear program, existing approaches suffer from a co… ▽ More In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes with expanding operating regions. Although the affine abstraction problem can be solved offline using a single linear program, existing approaches suffer from a computation space complexity that grows exponentially with the state dimension. Hence, the motivation for incremental abstraction is to reduce the space complexity for high-dimensional systems, but at the cost of yielding potentially worse abstractions/overapproximations. Specifically, we start with an operating region that is a subregion of the state space and compute two affine hyperplanes that bracket the nonlinear function locally. Then, by incrementally expanding the operating region, we dynamically update the two affine hyperplanes such that we eventually yield hyperplanes that are guaranteed to over-approximate the nonlinear system over the entire domain. Finally, the effectiveness of the proposed approach is demonstrated using numerical examples of high-dimensional nonlinear systems. △ Less

Submitted 3 April, 2020; originally announced April 2020.

Comments: Submitted to L-CSS 2020 with presentation in CDC2020 as an option

Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction

Authors: Zeyuan Jin, Mohammad Khajenejad, Sze Zheng Yong

Abstract: In this paper, we consider the data-driven model invalidation problem for Lipschitz continuous systems, where instead of given mathematical models, only prior noisy sampled data of the systems are available. We show that this data-driven model invalidation problem can be solved using a tractable feasibility check. Our proposed approach consists of two main components: (i) a data-driven abstraction… ▽ More In this paper, we consider the data-driven model invalidation problem for Lipschitz continuous systems, where instead of given mathematical models, only prior noisy sampled data of the systems are available. We show that this data-driven model invalidation problem can be solved using a tractable feasibility check. Our proposed approach consists of two main components: (i) a data-driven abstraction part that uses the noisy sampled data to over-approximate the unknown Lipschitz continuous dynamics with upper and lower functions, and (ii) an optimization-based model invalidation component that determines the incompatibility of the data-driven abstraction with a newly observed length-T output trajectory. Finally, we discuss several methods to reduce the computational complexity of the algorithm and demonstrate their effectiveness with a simulation example of swarm intent identification. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: Accepted for Publication in American Control Conference (ACC) 2020

Simultaneous Input and State Interval Observers for Nonlinear Systems with Full-Rank Direct Feedthrough

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct feedthrough matrix has full column rank. The observer leverages the existence of bounding decomposition functions for mixed monotone mappings to recursively compute the maximal and minimal elements of the estimate interv… ▽ More A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct feedthrough matrix has full column rank. The observer leverages the existence of bounding decomposition functions for mixed monotone mappings to recursively compute the maximal and minimal elements of the estimate intervals that are compatible with output/measurement signals, and are proven to contain the true state and unknown input. Furthermore, we derive a Lipschitz-like property for decomposition functions, which provides several sufficient conditions for stability of the designed observer and boundedness of the sequence of estimate interval widths. Finally, the effectiveness of our approach is demonstrated using an illustrative example. △ Less

Submitted 11 February, 2020; originally announced February 2020.

Comments: 6 pages

Simultaneous State and Unknown Input Set-Valued Observers for Some Classes of Nonlinear Dynamical Systems

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: In this paper, we propose fixed-order set-valued (in the form of l2-norm hyperballs) observers for some classes of nonlinear bounded-error dynamical systems with unknown input signals that simultaneously find bounded hyperballs of states and unknown inputs that include the true states and inputs. Necessary and sufficient conditions in the form of Linear Matrix Inequalities (LMIs) for the stability… ▽ More In this paper, we propose fixed-order set-valued (in the form of l2-norm hyperballs) observers for some classes of nonlinear bounded-error dynamical systems with unknown input signals that simultaneously find bounded hyperballs of states and unknown inputs that include the true states and inputs. Necessary and sufficient conditions in the form of Linear Matrix Inequalities (LMIs) for the stability (in the sense of quadratic stability) of the proposed observers are derived for ($\mathcal{M},γ$)- Quadratically Constrained (($\mathcal{M},γ$)-QC) systems, which includes several classes of nonlinear systems: (I) Lipschitz continuous, (II) ($\mathcal{A},γ$)-QC* and (III) Linear Parameter-Varying (LPV) systems. This new quadratic constraint property is at least as general as the incremental quadratic constraint property for nonlinear systems and is proven in the paper to embody a broad range of nonlinearities. In addition, we design the optimal $\mathcal{H}_{\infty}$ observer among those that satisfy the quadratic stability conditions and show that the design results in Uniformly Bounded-Input Bounded-State (UBIBS) estimate radii/error dynamics and uniformly bounded sequences of the estimate radii. Furthermore, we provide closed-form upper bound sequences for the estimate radii and sufficient condition for their convergence to steady state. Finally, the effectiveness of the proposed set-valued observers is demonstrated through illustrative examples, where we compare the performance of our observers with some existing observers. △ Less

Submitted 4 February, 2021; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: Under review in Automatica

Journal ref: International Journal of Robust and Nonlinear Control, 2022

Simultaneous Mode, Input and State Set-Valued Observers with Applications to Resilient Estimation Against Sparse Attacks

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: A simultaneous mode, input and state set-valued observer is proposed for hidden mode switched linear systems with bounded-norm noise and unknown input signals. The observer consists of two constituents: (i) a bank of mode-matched observers and (ii) a mode estimator. Each mode-matched observer recursively outputs the mode-matched sets of compatible states and unknown inputs, while the mode estimato… ▽ More A simultaneous mode, input and state set-valued observer is proposed for hidden mode switched linear systems with bounded-norm noise and unknown input signals. The observer consists of two constituents: (i) a bank of mode-matched observers and (ii) a mode estimator. Each mode-matched observer recursively outputs the mode-matched sets of compatible states and unknown inputs, while the mode estimator eliminates incompatible modes, using a residual-based criterion. Then, the estimated sets of states and unknown inputs are the union of the mode-matched estimates over all compatible modes. Moreover, sufficient conditions to guarantee the elimination of all false modes are provided and the effectiveness of our approach is exhibited using an illustrative example. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 7 pages

Simultaneous input and state set-valued \mathcal{H}_{\infty}-observers for linear parameter-varying systems

Authors: Mohammad Khajenejad, Sze Zheng Yong

Abstract: A fixed-order set-valued observer is presented for linear parameter-varying systems with bounded-norm noise and under completely unknown attack signals, which simultaneously finds bounded sets of states and unknown inputs that include the true state and inputs. The proposed observer can be designed using semidefinite programming with LMI constraints and is optimal in the minimum \mathcal{H}_{\inft… ▽ More A fixed-order set-valued observer is presented for linear parameter-varying systems with bounded-norm noise and under completely unknown attack signals, which simultaneously finds bounded sets of states and unknown inputs that include the true state and inputs. The proposed observer can be designed using semidefinite programming with LMI constraints and is optimal in the minimum \mathcal{H}_{\infty}-norm sense. We show that the strong detectability of each constituent linear time-invariant system is a necessary condition for the existence of such an observer, as well as the boundedness of set-valued estimates. Furthermore, sufficient conditions are provided for the upper bounds of the estimation errors to converge to steady state values and finally, the results of such a set-valued observer are exhibited through an illustrative example. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 6 pages

Determining Quasar Orientation

Authors: Suk Yee Yong, Rachel L. Webster, Anthea L. King, Nicholas F. Bate, Kathleen Labrie, Matthew J. O'Dowd

Abstract: Since the discovery of active galactic nuclei (AGN) and their subclasses, a unification scheme of AGN has been long sought. Orientation-based unified models predict that some of the diversity within AGN subclasses can be explained by the different viewing angles of the observer. Several orientation categorisations have been suggested, but a widely applicable measure has yet to be found. Using the… ▽ More Since the discovery of active galactic nuclei (AGN) and their subclasses, a unification scheme of AGN has been long sought. Orientation-based unified models predict that some of the diversity within AGN subclasses can be explained by the different viewing angles of the observer. Several orientation categorisations have been suggested, but a widely applicable measure has yet to be found. Using the properties of the ultraviolet and optical broad emission lines of quasars, in particular the velocity offsets and line widths of high-ionisation CIV and low-ionisation MgII lines, a correlation has been measured. It is postulated that this correlation is due to the viewing angle of the observer. Comparison with other orientation tracers shows consistency with this interpretation. Using a simulation of a wide angle disk-wind model for the broad emission line region, we successfully replicate the observed correlation with inclination. Future more detailed modelling will not only enable improved accuracy in the determination of the viewing angle to individual AGN, but will also substantially increase our understanding of the emitting regions of AGN. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: Accepted for publication in MNRAS. 15 pages, 17 figures, 2 table

An experiment to search for dark matter interactions using sodium iodide detectors

Authors: Govinda Adhikari, Pushparaj Adhikari, Estella Barbosa de Souza, Nelson Carlin, Seonho Choi, Mitra Djamal, Anthony C. Ezeribe, Chang Hyon Ha, Insik Hahn, Antonia J. F. Hubbard, Eunju Jeon, Jay Hyun Jo, Hanwool Joo, Woon Gu Kang, Woosik Kang, Matthew Kauer, Bonghee Kim, Hyounggyu Kim, Hongjoo Kim, Kyungwon Kim, Nam Young Kim, Sun Kee Kim, Yeongduk Kim, Yong-Hamb Kim, Young Ju Ko , et al. (25 additional authors not shown)

Abstract: Observations of galaxies and primordial radiation suggest that the Universe is made mostly of non-luminous dark matter. Several types of new fundamental particles have been proposed as candidates for dark matter such as weakly interacting massive particles (WIMPs) but no definitive signal has been seen despite concerted efforts by many collaborations. One exception is the much-debated claim by the… ▽ More Observations of galaxies and primordial radiation suggest that the Universe is made mostly of non-luminous dark matter. Several types of new fundamental particles have been proposed as candidates for dark matter such as weakly interacting massive particles (WIMPs) but no definitive signal has been seen despite concerted efforts by many collaborations. One exception is the much-debated claim by the DAMA collaboration of a statistically significant annual modulation in the event rate of their experiment with a period and phase consistent with that expected from WIMP dark matter. Several groups have been working to develop experiments with the aim of reproducing DAMA's results using the same target medium. Here we report results from the initial operation of the COSINE-100 experiment. COSINE-100 uses sodium iodide as the target medium-the same medium as DAMA-and is designed to carry out a model-independent test of DAMA's claim. Initial data based on the first 59.5 days indicate that there is no excess of events over the expected background, confirming that DAMA's annual modulation signal is in severe tension with results from other experiments under the assumption of dark matter having spin independent interactions and the Standard Halo Model. COSINE-100 is now taking data to study the presence of dark matter-induced annual modulation in the event rate of the sodium iodide detectors. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 26 pages, 9 figures

Journal ref: Nature 564, 83-85 (2018)

Astro2020 Science White Paper - Quasar Microlensing: Revolutionizing our Understanding of Quasar Structure and Dynamics

Authors: Leonidas Moustakas, Matthew O'Dowd, Timo Anguita, Rachel Webster, George Chartas, Matthew Cornachione, Xinyu Dai, Carina Fian, Damien Hutsemekers, Jorge Jimenez-Vicente, Kathleen Labrie, Geraint Lewis, Chelsea Macleod, Evencio Mediavilla, Christopher W Morgan, Veronica Motta, Anna Nierenberg, David Pooley, Karina Rojas, Dominique Sluse, Georgios Vernardos, Joachim Wambsganss, Suk Yee Yong

Abstract: Microlensing by stars within distant galaxies acting as strong gravitational lenses of multiply-imaged quasars, provides a unique and direct measurement of the internal structure of the lensed quasar on nano-arcsecond scales. The measurement relies on the temporal variation of high-magnification caustic crossings which vary on timescales of days to years. Multiwavelength observations provide infor… ▽ More Microlensing by stars within distant galaxies acting as strong gravitational lenses of multiply-imaged quasars, provides a unique and direct measurement of the internal structure of the lensed quasar on nano-arcsecond scales. The measurement relies on the temporal variation of high-magnification caustic crossings which vary on timescales of days to years. Multiwavelength observations provide information from distinct emission regions in the quasar. Through monitoring of these strong gravitational lenses, a full tomographic view can emerge with Astronomical-Unit scale resolution. Work to date has demonstrated the potential of this technique in about a dozen systems. In the 2020s there will be orders of magnitude more systems to work with. Monitoring of lens systems for caustic-crossing events to enable triggering of multi-platform, multi-wavelength observations in the 2020s will fulfill the potential of quasar microlensing as a unique and comprehensive probe of active black hole structure and dynamics. △ Less

Submitted 29 April, 2019; originally announced April 2019.

Comments: White paper submitted to Astro2020 decadal survey; 7 pages, 3 figures

Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds

Authors: Kanishka Raj Singh, Qiang Shen, Sze Zheng Yong

Abstract: In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine functions that "includes" the dynamical characteristics of the original system. As such, guarantees for controllers or estimators based on the affine abstraction also apply to the original nonlinear system. Our approach con… ▽ More In this paper, we consider the problem of piecewise affine abstraction of nonlinear systems, i.e., the overapproximation of its nonlinear dynamics by a pair of piecewise affine functions that "includes" the dynamical characteristics of the original system. As such, guarantees for controllers or estimators based on the affine abstraction also apply to the original nonlinear system. Our approach consists of solving a linear programming (LP) problem that over-approximates the nonlinear function at only the grid points of a mesh with a given resolution and then accounting for the entire domain via an appropriate correction term. To achieve a desired approximation accuracy, we also iteratively subdivide the domain into subregions. Our method applies to nonlinear functions with different degrees of smoothness, including Lipschitz continuous functions, and improves on existing approaches by enabling the use of tighter bounds. Finally, we compare the effectiveness of our approach with existing optimization-based methods in simulation and illustrate its applicability for estimator design. △ Less

Submitted 6 November, 2018; originally announced November 2018.

Comments: 6 pages, Accepted by 2018 CDC