Skip to main content

Showing 1–40 of 40 results for author: Ding, C

Searching in archive eess. Search in all archives.
.
  1. arXiv:2407.01530  [pdf, other

    eess.IV cs.CV

    xLSTM-UNet can be an Effective 2D \& 3D Medical Image Segmentation Backbone with Vision-LSTM (ViL) better than its Mamba Counterpart

    Authors: Tianrun Chen, Chaotao Ding, Lanyun Zhu, Tao Xu, Deyi Ji, Ying Zang, Zejian Li

    Abstract: Convolutional Neural Networks (CNNs) and Vision Transformers (ViT) have been pivotal in biomedical image segmentation, yet their ability to manage long-range dependencies remains constrained by inherent locality and computational overhead. To overcome these challenges, in this technical report, we first propose xLSTM-UNet, a UNet structured deep learning neural network that leverages Vision-LSTM (… ▽ More

    Submitted 1 July, 2024; originally announced July 2024.

  2. arXiv:2406.02430  [pdf, other

    eess.AS cs.SD

    Seed-TTS: A Family of High-Quality Versatile Speech Generation Models

    Authors: Philip Anastassiou, Jiawei Chen, Jitong Chen, Yuanzhe Chen, Zhuo Chen, Ziyi Chen, Jian Cong, Lelai Deng, Chuang Ding, Lu Gao, Mingqing Gong, Peisong Huang, Qingqing Huang, Zhiying Huang, Yuanyuan Huo, Dongya Jia, Chumin Li, Feiya Li, Hui Li, Jiaxin Li, Xiaoyang Li, Xingxing Li, Lin Liu, Shouda Liu, Sichao Liu , et al. (21 additional authors not shown)

    Abstract: We introduce Seed-TTS, a family of large-scale autoregressive text-to-speech (TTS) models capable of generating speech that is virtually indistinguishable from human speech. Seed-TTS serves as a foundation model for speech generation and excels in speech in-context learning, achieving performance in speaker similarity and naturalness that matches ground truth human speech in both objective and sub… ▽ More

    Submitted 4 June, 2024; originally announced June 2024.

  3. A 49.8mm2 Fully Integrated, 1.5m Transmission-Range, High-Data-Rate IR-UWB Transmitter for Brain Implants

    Authors: Cong Ding, Mingxiang Gao, Anja K. Skrivervik, Mahsa Shoaran

    Abstract: To address the challenge of extending the transmission range of implantable TXs while also minimizing their size and power consumption, this paper introduces a transcutaneous, high data-rate, fully integrated IR-UWB transmitter that employs a novel co-designed power amplifier (PA) and antenna interface for enhanced performance. With the co-designed interface, we achieved the smallest footprint of… ▽ More

    Submitted 7 May, 2024; originally announced May 2024.

    Journal ref: 2024 IEEE Custom Integrated Circuits Conference (CICC)

  4. arXiv:2404.17667  [pdf, other

    eess.SP cs.LG

    SiamQuality: A ConvNet-Based Foundation Model for Imperfect Physiological Signals

    Authors: Cheng Ding, Zhicheng Guo, Zhaoliang Chen, Randall J Lee, Cynthia Rudin, Xiao Hu

    Abstract: Foundation models, especially those using transformers as backbones, have gained significant popularity, particularly in language and language-vision tasks. However, large foundation models are typically trained on high-quality data, which poses a significant challenge, given the prevalence of poor-quality real-world data. This challenge is more pronounced for develo** foundation models for phys… ▽ More

    Submitted 26 April, 2024; originally announced April 2024.

  5. arXiv:2404.15353  [pdf, other

    eess.SP cs.AI cs.LG

    SQUWA: Signal Quality Aware DNN Architecture for Enhanced Accuracy in Atrial Fibrillation Detection from Noisy PPG Signals

    Authors: Runze Yan, Cheng Ding, Ran Xiao, Aleksandr Fedorov, Randall J Lee, Fadi Nahab, Xiao Hu

    Abstract: Atrial fibrillation (AF), a common cardiac arrhythmia, significantly increases the risk of stroke, heart disease, and mortality. Photoplethysmography (PPG) offers a promising solution for continuous AF monitoring, due to its cost efficiency and integration into wearable devices. Nonetheless, PPG signals are susceptible to corruption from motion artifacts and other factors often encountered in ambu… ▽ More

    Submitted 14 April, 2024; originally announced April 2024.

    Comments: 15 pages; 9 figures; 2024 Conference on Health, Inference, and Learning (CHIL)

  6. arXiv:2312.14441  [pdf, other

    eess.SY cs.LG

    DMC4ML: Data Movement Complexity for Machine Learning

    Authors: Chen Ding, Christopher Kanan, Dylan McKellips, Toranosuke Ozawa, Arian Shahmirza, Wesley Smith

    Abstract: The greatest demand for today's computing is machine learning. This paper analyzes three machine learning algorithms: transformers, spatial convolution, and FFT. The analysis is novel in three aspects. First, it measures the cost of memory access on an abstract memory hierarchy, instead of traditional time or space complexity. Second, the analysis is asymptotic and identifies the primary sources o… ▽ More

    Submitted 22 December, 2023; originally announced December 2023.

  7. arXiv:2312.02300  [pdf

    cs.LG eess.SP

    Reconsideration on evaluation of machine learning models in continuous monitoring using wearables

    Authors: Cheng Ding, Zhicheng Guo, Cynthia Rudin, Ran Xiao, Fadi B Nahab, Xiao Hu

    Abstract: This paper explores the challenges in evaluating machine learning (ML) models for continuous health monitoring using wearable devices beyond conventional metrics. We state the complexities posed by real-world variability, disease dynamics, user-specific characteristics, and the prevalence of false notifications, necessitating novel evaluation strategies. Drawing insights from large-scale heart stu… ▽ More

    Submitted 4 December, 2023; originally announced December 2023.

  8. arXiv:2310.14155  [pdf

    eess.SP

    Photoplethysmography based atrial fibrillation detection: an updated review from July 2019

    Authors: Cheng Ding, Ran Xiao, Weijia Wang, Elizabeth Holdsworth, Xiao Hu

    Abstract: Atrial fibrillation (AF) is a prevalent cardiac arrhythmia associated with significant health ramifications, including an elevated susceptibility to ischemic stroke, heart disease, and heightened mortality. Photoplethysmography (PPG) has emerged as a promising technology for continuous AF monitoring for its cost-effectiveness and widespread integration into wearable devices. Our team previously co… ▽ More

    Submitted 21 October, 2023; originally announced October 2023.

  9. arXiv:2309.08916  [pdf, other

    cs.AI eess.IV q-bio.NC

    BGGAN: Generative AI Enables Representing Brain Structure-Function Connections for Alzheimer's Disease

    Authors: Chen Ding, Shuqiang Wang

    Abstract: The relationship between brain structure and function is critical for revealing the pathogenesis of brain disease, including Alzheimer's disease (AD). However, it is a great challenge to map brain structure-function connections due to various reasons. In this work, a bidirectional graph generative adversarial networks (BGGAN) is proposed to represent brain structure-function connections. Specifica… ▽ More

    Submitted 5 October, 2023; v1 submitted 16 September, 2023; originally announced September 2023.

  10. arXiv:2307.05385  [pdf, other

    eess.SP cs.AI cs.LG

    Learned Kernels for Sparse, Interpretable, and Efficient Medical Time Series Processing

    Authors: Sully F. Chen, Zhicheng Guo, Cheng Ding, Xiao Hu, Cynthia Rudin

    Abstract: Background: Rapid, reliable, and accurate interpretation of medical signals is crucial for high-stakes clinical decision-making. The advent of deep learning allowed for an explosion of new models that offered unprecedented performance in medical time series processing but at a cost: deep learning models are often compute-intensive and lack interpretability. Methods: We propose Sparse Mixture of… ▽ More

    Submitted 2 April, 2024; v1 submitted 6 July, 2023; originally announced July 2023.

    Comments: 26 pages, 9 figures

  11. arXiv:2307.05339  [pdf, other

    eess.SP cs.LG

    A Self-Supervised Algorithm for Denoising Photoplethysmography Signals for Heart Rate Estimation from Wearables

    Authors: Pranay Jain, Cheng Ding, Cynthia Rudin, Xiao Hu

    Abstract: Smart watches and other wearable devices are equipped with photoplethysmography (PPG) sensors for monitoring heart rate and other aspects of cardiovascular health. However, PPG signals collected from such devices are susceptible to corruption from noise and motion artifacts, which cause errors in heart rate estimation. Typical denoising approaches filter or reconstruct the signal in ways that elim… ▽ More

    Submitted 7 July, 2023; originally announced July 2023.

    Comments: 13 pages, 6 figures

  12. arXiv:2306.10246  [pdf, other

    eess.IV

    Conceptual Study and Performance Analysis of Tandem Dual-Antenna Spaceborne SAR Interferometry

    Authors: Fengming Hu, Feng Xu, Xiaolan Qiu, Chibiao Ding, Yaqiu **

    Abstract: Multi-baseline synthetic aperture radar interferometry (MB-InSAR), capable of map** 3D surface model with high precision, is able to overcome the ill-posed problem in the single-baseline InSAR by use of the baseline diversity. Single pass MB acquisition with the advantages of high coherence and simple phase components has a more practical capability in 3D reconstruction than conventional repeat-… ▽ More

    Submitted 16 June, 2023; originally announced June 2023.

    Comments: 16 pages, 20 figures

  13. arXiv:2211.03333  [pdf

    eess.SP

    Learning From Alarms: A Robust Learning Approach for Accurate Photoplethysmography-Based Atrial Fibrillation Detection using Eight Million Samples Labeled with Imprecise Arrhythmia Alarms

    Authors: Cheng Ding, Zhicheng Guo, Cynthia Rudin, Ran Xiao, Amit Shah, Duc H. Do, Randall J Lee, Gari Clifford, Fadi B Nahab, Xiao Hu

    Abstract: Atrial fibrillation (AF) is a common cardiac arrhythmia with serious health consequences if not detected and treated early. Detecting AF using wearable devices with photoplethysmography (PPG) sensors and deep neural networks has demonstrated some success using proprietary algorithms in commercial solutions. However, further advancement of this paradigm of continuous AF detection in ambulatory sett… ▽ More

    Submitted 12 November, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

  14. A 16-Channel Low-Power Neural Connectivity Extraction and Phase-Locked Deep Brain Stimulation SoC

    Authors: Uisub Shin, Cong Ding, Virginia Woods, Alik S. Widge, Mahsa Shoaran

    Abstract: Growing evidence suggests that phase-locked deep brain stimulation (DBS) can effectively regulate abnormal brain connectivity in neurological and psychiatric disorders. This letter therefore presents a low-power SoC with both neural connectivity extraction and phase-locked DBS capabilities. A 16-channel low-noise analog front-end (AFE) records local field potentials (LFPs) from multiple brain regi… ▽ More

    Submitted 3 July, 2022; originally announced July 2022.

    Journal ref: IEEE Solid-State Circuits Letters, vol. 6, pp. 21-24, Jan. 2023

  15. arXiv:2206.01408  [pdf, other

    cs.CV cs.LG eess.IV

    MetaLR: Meta-tuning of Learning Rates for Transfer Learning in Medical Imaging

    Authors: Yixiong Chen, Li Liu, **gxian Li, Hua Jiang, Chris Ding, Zongwei Zhou

    Abstract: In medical image analysis, transfer learning is a powerful method for deep neural networks (DNNs) to generalize well on limited medical data. Prior efforts have focused on develo** pre-training algorithms on domains such as lung ultrasound, chest X-ray, and liver CT to bridge domain gaps. However, we find that model fine-tuning also plays a crucial role in adapting medical knowledge to target ta… ▽ More

    Submitted 29 May, 2023; v1 submitted 3 June, 2022; originally announced June 2022.

    Comments: MICCAI 2023

  16. NeuralTree: A 256-Channel 0.227-$μ$J/Class Versatile Neural Activity Classification and Closed-Loop Neuromodulation SoC

    Authors: Uisub Shin, Cong Ding, Bingzhao Zhu, Yashwanth Vyza, Alix Trouillet, Emilie C. M. Revol, Stéphanie P. Lacour, Mahsa Shoaran

    Abstract: Closed-loop neural interfaces with on-chip machine learning can detect and suppress disease symptoms in neurological disorders or restore lost functions in paralyzed patients. While high-density neural recording can provide rich neural activity information for accurate disease-state detection, existing systems have low channel counts and poor scalability, which could limit their therapeutic effica… ▽ More

    Submitted 8 December, 2022; v1 submitted 12 May, 2022; originally announced May 2022.

    Journal ref: IEEE Journal of Solid-State Circuits, vol. 57, no. 11, pp. 3243-3257, Nov. 2022

  17. arXiv:2204.03855  [pdf, other

    eess.AS cs.CL

    Hierarchical Softmax for End-to-End Low-resource Multilingual Speech Recognition

    Authors: Qianying Liu, Zhuo Gong, Zhengdong Yang, Yuhang Yang, Sheng Li, Chenchen Ding, Nobuaki Minematsu, Hao Huang, Fei Cheng, Chenhui Chu, Sadao Kurohashi

    Abstract: Low-resource speech recognition has been long-suffering from insufficient training data. In this paper, we propose an approach that leverages neighboring languages to improve low-resource scenario performance, founded on the hypothesis that similar linguistic units in neighboring languages exhibit comparable term frequency distributions, which enables us to construct a Huffman tree for performing… ▽ More

    Submitted 30 April, 2023; v1 submitted 8 April, 2022; originally announced April 2022.

    Comments: 7 pages, ICASSP 2023

  18. arXiv:2203.16539  [pdf, other

    cs.LG eess.SP physics.optics

    Identification of diffracted vortex beams at different propagation distances using deep learning

    Authors: Heng Lv, Yan Guo, Zi-Xiang Yang, Chunling Ding, Wu-Hao Cai, Chenglong You, Rui-Bo **

    Abstract: Orbital angular momentum of light is regarded as a valuable resource in quantum technology, especially in quantum communication and quantum sensing and ranging. However, the OAM state of light is susceptible to undesirable experimental conditions such as propagation distance and phase distortions, which hinders the potential for the realistic implementation of relevant technologies. In this articl… ▽ More

    Submitted 30 March, 2022; originally announced March 2022.

    Comments: 9 pages, 4 figures

    Journal ref: Frontiers in Physics 10, 843932 (2022)

  19. A Novel Gradient Descent Least Squares (GDLS) Algorithm for Efficient SMV Gridless Line Spectrum Estimation with Applications in Tomographic SAR Imaging

    Authors: Ruizhe Shi, Zhe Zhang, Xiaolan Qiu, Chibiao Ding

    Abstract: This paper presents a novel efficient method for gridless line spectrum estimation problem with single snapshot, namely the gradient descent least squares (GDLS) method. Conventional single snapshot (a.k.a. single measure vector or SMV) line spectrum estimation methods either rely on smoothing techniques that sacrifice the array aperture, or adopt the sparsity constraint and utilize compressed sen… ▽ More

    Submitted 27 April, 2022; v1 submitted 16 March, 2022; originally announced March 2022.

  20. arXiv:2109.02047  [pdf, other

    cs.SD eess.AS

    The ByteDance Speaker Diarization System for the VoxCeleb Speaker Recognition Challenge 2021

    Authors: Keke Wang, Xudong Mao, Hao Wu, Chen Ding, Chuxiang Shang, Rui Xia, Yuxuan Wang

    Abstract: This paper describes the ByteDance speaker diarization system for the fourth track of the VoxCeleb Speaker Recognition Challenge 2021 (VoxSRC-21). The VoxSRC-21 provides both the dev set and test set of VoxConverse for use in validation and a standalone test set for evaluation. We first collect the duration and signal-to-noise ratio (SNR) of all audio and find that the distribution of the VoxConve… ▽ More

    Submitted 5 September, 2021; originally announced September 2021.

  21. arXiv:2108.05272  [pdf, other

    eess.SP

    Log-Spectral Matching GAN: PPG-based Atrial Fibrillation Detection can be Enhanced by GAN-based Data Augmentation with Integration of Spectral Loss

    Authors: Cheng Ding, Ran Xiao, Duc Do, David Scott Lee, Shadi Kalantarian, Randall J Lee, Xiao Hu

    Abstract: Photoplethysmography (PPG) is a ubiquitous physiological measurement that detects beat-to-beat pulsatile blood volume changes and hence has a potential for monitoring cardiovascular conditions, particularly in ambulatory settings. A PPG dataset that is created for a particular use case is often imbalanced, due to a low prevalence of the pathological condition it targets to predict and the paroxysm… ▽ More

    Submitted 31 January, 2022; v1 submitted 11 August, 2021; originally announced August 2021.

  22. arXiv:2003.04371  [pdf, other

    cs.AI cs.LG eess.SY

    A Multi-Agent Reinforcement Learning Approach For Safe and Efficient Behavior Planning Of Connected Autonomous Vehicles

    Authors: Songyang Han, Shanglin Zhou, Jiangwei Wang, Lynn Pepin, Caiwen Ding, Jie Fu, Fei Miao

    Abstract: The recent advancements in wireless technology enable connected autonomous vehicles (CAVs) to gather information about their environment by vehicle-to-vehicle (V2V) communication. In this work, we design an information-sharing-based multi-agent reinforcement learning (MARL) framework for CAVs, to take advantage of the extra information when making decisions to improve traffic efficiency and safety… ▽ More

    Submitted 3 September, 2022; v1 submitted 9 March, 2020; originally announced March 2020.

    Comments: This paper is submitted to IEEE Transactions on Intelligent Transportation Systems

  23. arXiv:2001.01052  [pdf, ps, other

    eess.SP

    Joint Beamforming and Computation Offloading for Multi-user Mobile-Edge Computing

    Authors: Changfeng Ding, Jun-Bo Wang, Ming Cheng, Chuanwen Chang, **-Yuan Wang, Min Lin

    Abstract: Mobile edge computing (MEC) is considered as an efficient method to relieve the computation burden of mobile devices. In order to reduce the energy consumption and time delay of mobile devices (MDs) in MEC, multiple users multiple input and multiple output (MU-MIMO) communications is considered to be applied to the MEC system. The purpose of this paper is to minimize the weighted sum of energy con… ▽ More

    Submitted 4 January, 2020; originally announced January 2020.

  24. arXiv:1912.05416  [pdf, other

    eess.SP cs.CV cs.DC cs.ET cs.LG cs.NE

    A SOT-MRAM-based Processing-In-Memory Engine for Highly Compressed DNN Implementation

    Authors: Geng Yuan, Xiaolong Ma, Sheng Lin, Zhengang Li, Caiwen Ding

    Abstract: The computing wall and data movement challenges of deep neural networks (DNNs) have exposed the limitations of conventional CMOS-based DNN accelerators. Furthermore, the deep structure and large model size will make DNNs prohibitive to embedded systems and IoT devices, where low power consumption are required. To address these challenges, spin orbit torque magnetic random-access memory (SOT-MRAM)… ▽ More

    Submitted 24 November, 2019; originally announced December 2019.

  25. arXiv:1911.03267  [pdf, other

    eess.IV cs.CV cs.LG eess.SP

    Algorithmic Design and Implementation of Unobtrusive Multistatic Serial LiDAR Image

    Authors: Chi Ding, Zheng Cao, Matthew S. Emigh, Jose C. Principe, Bing Ouyang, Anni Vuorenkoski, Fraser Dalgleish, Brian Ramos, Yanjun Li

    Abstract: To fully understand interactions between marine hydrokinetic (MHK) equipment and marine animals, a fast and effective monitoring system is required to capture relevant information whenever underwater animals appear. A new automated underwater imaging system composed of LiDAR (Light Detection and Ranging) imaging hardware and a scene understanding software module named Unobtrusive Multistatic Seria… ▽ More

    Submitted 8 November, 2019; originally announced November 2019.

  26. arXiv:1911.02007  [pdf, other

    eess.IV cs.LG stat.ML

    Deep Compressed Pneumonia Detection for Low-Power Embedded Devices

    Authors: Hongjia Li, Sheng Lin, Ning Liu, Caiwen Ding, Yanzhi Wang

    Abstract: Deep neural networks (DNNs) have been expanded into medical fields and triggered the revolution of some medical applications by extracting complex features and achieving high accuracy and performance, etc. On the contrast, the large-scale network brings high requirements of both memory storage and computation resource, especially for portable medical devices and other embedded systems. In this wor… ▽ More

    Submitted 4 November, 2019; originally announced November 2019.

  27. arXiv:1908.10017  [pdf, other

    eess.SP cs.AR cs.ET cs.LG cs.NE

    Tiny but Accurate: A Pruned, Quantized and Optimized Memristor Crossbar Framework for Ultra Efficient DNN Implementation

    Authors: Xiaolong Ma, Geng Yuan, Sheng Lin, Caiwen Ding, Fuxun Yu, Tao Liu, Wujie Wen, Xiang Chen, Yanzhi Wang

    Abstract: The state-of-art DNN structures involve intensive computation and high memory storage. To mitigate the challenges, the memristor crossbar array has emerged as an intrinsically suitable matrix computation and low-power acceleration framework for DNN applications. However, the high accuracy solution for extreme model compression on memristor crossbar array architecture is still waiting for unravelin… ▽ More

    Submitted 27 August, 2019; originally announced August 2019.

  28. arXiv:1907.09077  [pdf, other

    cs.NE cs.ET cs.LG eess.SP

    A Stochastic-Computing based Deep Learning Framework using Adiabatic Quantum-Flux-Parametron SuperconductingTechnology

    Authors: Ruizhe Cai, Ao Ren, Olivia Chen, Ning Liu, Caiwen Ding, Xuehai Qian, Jie Han, Wenhui Luo, Nobuyuki Yoshikawa, Yanzhi Wang

    Abstract: The Adiabatic Quantum-Flux-Parametron (AQFP) superconducting technology has been recently developed, which achieves the highest energy efficiency among superconducting logic families, potentially huge gain compared with state-of-the-art CMOS. In 2016, the successful fabrication and testing of AQFP-based circuits with the scale of 83,000 JJs have demonstrated the scalability and potential of implem… ▽ More

    Submitted 21 July, 2019; originally announced July 2019.

  29. arXiv:1906.01796  [pdf, other

    cs.CV cs.AI cs.LG eess.IV

    One-pass Multi-task Networks with Cross-task Guided Attention for Brain Tumor Segmentation

    Authors: Chenhong Zhou, Changxing Ding, Xinchao Wang, Zhentai Lu, Dacheng Tao

    Abstract: Class imbalance has emerged as one of the major challenges for medical image segmentation. The model cascade (MC) strategy significantly alleviates the class imbalance issue via running a set of individual deep models for coarse-to-fine segmentation. Despite its outstanding performance, however, this method leads to undesired system complexity and also ignores the correlation among the models. To… ▽ More

    Submitted 7 February, 2020; v1 submitted 4 June, 2019; originally announced June 2019.

    Comments: 14 pages, 7 figures, To appear in IEEE Transactions on Image Processing

  30. arXiv:1812.07106  [pdf, other

    cs.CV cs.LG eess.SP

    E-RNN: Design Optimization for Efficient Recurrent Neural Networks in FPGAs

    Authors: Zhe Li, Caiwen Ding, Siyue Wang, Wujie Wen, Youwei Zhuo, Chang Liu, Qinru Qiu, Wenyao Xu, Xue Lin, Xuehai Qian, Yanzhi Wang

    Abstract: Recurrent Neural Networks (RNNs) are becoming increasingly important for time series-related applications which require efficient and real-time implementations. The two major types are Long Short-Term Memory (LSTM) and Gated Recurrent Unit (GRU) networks. It is a challenging task to have real-time, efficient, and accurate hardware RNN implementations because of the high sensitivity to imprecision… ▽ More

    Submitted 12 December, 2018; originally announced December 2018.

    Comments: In The 25th International Symposium on High-Performance Computer Architecture (HPCA 2019)

  31. arXiv:1803.01107  [pdf

    cs.SD eess.AS

    Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks

    Authors: Jiang-jian Xie, Chang-qing Ding, Wen-bin Li, Cheng-hao Cai

    Abstract: Based on the transfer learning, we design a bird species identification model that uses the VGG-16 model (pretrained on ImageNet) for feature extraction, then a classifier consisting of two fully-connected hidden layers and a Softmax layer is attached. We compare the performance of the proposed model with the original VGG16 model. The results show that the former has higher train efficiency, but l… ▽ More

    Submitted 3 March, 2018; originally announced March 2018.

    Comments: 11 pages,11 figures

  32. arXiv:1202.6110  [pdf, other

    eess.SY math.OC

    An Optimal Control Approach to the Persistent Monitoring Problem

    Authors: Christos. G. Cassandras, Xuchao Lin, Xu Chu Ding

    Abstract: We propose an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile nodes to minimize an uncertainty metric in a given mission space. For multi agent in a one-dimensional mission space, we show that the optimal solution is obtained in terms of a sequence of switching locations and waiting time on these switching points, thus reducing… ▽ More

    Submitted 27 February, 2012; originally announced February 2012.

    Comments: Technical Report accompanying CDC 2012 submission

  33. arXiv:1202.2185  [pdf, other

    cs.RO eess.SY math.OC

    Temporal Logic Motion Control using Actor-Critic Methods

    Authors: Xu Chu Ding, **g Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin A. Belta

    Abstract: In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, partitioned environment. We assume that the robot has noisy sensors and actuators and model its motion through the regions of the environment as a Markov Decision Process (MDP). The robot control problem becomes finding the… ▽ More

    Submitted 23 February, 2012; v1 submitted 9 February, 2012; originally announced February 2012.

    Comments: Technical Report which accompanies an ICRA2012 paper

  34. arXiv:1109.1251  [pdf, other

    cs.RO eess.SY math.OC

    Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

    Authors: Yushan Chen, Xu Chu Ding, Calin Belta

    Abstract: We introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied by the agents. We consider a purely discrete scenario, in which the dynamics of each agent is modeled as a finite transition system. The proposed computational framework con… ▽ More

    Submitted 6 September, 2011; originally announced September 2011.

    Comments: Technical Report accompanying an accepted paper for CDC2011

  35. arXiv:1108.4698  [pdf, ps, other

    cs.RO eess.SY math.OC

    Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control

    Authors: Reza Moazzez Estan**i, Xu Chu Ding, Morteza Lahijanian, **g Wang, Calin A. Belta, Ioannis Ch. Paschalidis

    Abstract: We consider the problem of finding a control policy for a Markov Decision Process (MDP) to maximize the probability of reaching some states while avoiding some other states. This problem is motivated by applications in robotics, where such problems naturally arise when probabilistic models of robot motion are required to satisfy temporal logic task specifications. We transform this problem into a… ▽ More

    Submitted 30 August, 2011; v1 submitted 23 August, 2011; originally announced August 2011.

    Comments: Technical report accompanying an accepted paper to CDC 2011

  36. arXiv:1108.3240  [pdf, other

    cs.RO eess.SY math.OC

    Multi-robot Deployment From LTL Specifications with Reduced Communication

    Authors: Marius Kloetzer, Xu Chu Ding, Calin Belta

    Abstract: In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of interest. Our hierarchical approach consists of four steps: (i) the construction of finite abstractions for the motions of each robot, (ii) the parallel composition of the abstractions, (iii) the generation of a satisfyin… ▽ More

    Submitted 16 August, 2011; originally announced August 2011.

    Comments: CDC 2011 Technical Report

  37. arXiv:1108.3221  [pdf, other

    eess.SY cs.RO math.OC

    An Optimal Control Approach for the Persistent Monitoring Problem

    Authors: Christos G. Cassandras, Xu Chu Ding, Xuchao Lin

    Abstract: We propose an optimal control framework for persistent monitoring problems where the objective is to control the movement of mobile agents to minimize an uncertainty metric in a given mission space. For a single agent in a one-dimensional space, we show that the optimal solution is obtained in terms of a sequence of switching locations, thus reducing it to a parametric optimization problem. Using… ▽ More

    Submitted 5 October, 2011; v1 submitted 16 August, 2011; originally announced August 2011.

    Comments: Technical report accompanying the CDC2011 submission

  38. arXiv:1104.1159  [pdf, other

    math.OC cs.RO eess.SY

    LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees

    Authors: Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus

    Abstract: We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set of properties that can be satisfied at the regions of a partitioned environment. We assume that the probabilities with which the properties are satisfied at the regions are known, and the robot can determine the truth va… ▽ More

    Submitted 7 April, 2011; v1 submitted 6 April, 2011; originally announced April 2011.

    Comments: Technical Report accompanying IFAC 2011

  39. arXiv:1103.4342  [pdf, other

    cs.RO eess.SY math.OC

    MDP Optimal Control under Temporal Logic Constraints

    Authors: Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus

    Abstract: In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given as a Linear Temporal Logic (LTL) formula over a set of propositions defined on the states of the MDP. We synthesize a control policy such that the MDP satisfies the given specification almost surely, if such a policy exi… ▽ More

    Submitted 23 March, 2011; v1 submitted 22 March, 2011; originally announced March 2011.

    Comments: Technical report accompanying the CDC2011 submission

  40. arXiv:1103.4065  [pdf, other

    eess.SY cs.RO math.OC

    Probabilistically Safe Vehicle Control in a Hostile Environment

    Authors: Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta

    Abstract: In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission objective expressed as a temporal logic specification over a set of properties satisfied at regions of a partitioned environment. We model the movements of adversaries in between regions of the environment as Poisson processes… ▽ More

    Submitted 24 March, 2011; v1 submitted 21 March, 2011; originally announced March 2011.