中文
相关论文

相关论文: A Time-Triggered Constraint-Based Calculus for Avi…

200 篇论文

The research project has been made for mathematical modeling of aerospace system Space-to-Surface for avoid intercepting process by flight objects Surface-to-Air. The research has been completed and created mathematical models which used…

其他计算机科学 · 计算机科学 2009-08-25 Serge Gorneff

Addressing the Integrated Timetabling and Vehicle Scheduling (TTVS) problem is important for improving transit operations. Recently, the emerging modular autonomous vehicles composed of modular autonomous units have made it possible to…

最优化与控制 · 数学 2026-02-09 Dongyang Xia , Jihui Ma , Shadi Sharif Azadeh

Controlling wave-matter interactions with metamaterials (MTMs) for the calculation of mathematical operations has become an important paradigm for analogue computing given their ability to dramatically increase computational processing…

光学 · 物理学 2023-10-16 Tony Knightley , Alex Yakovlev , Victor Pacheco-Peña

We introduce a temporal feature encoding architecture called Time Series Representation Model (TSRM) for multivariate time series forecasting and imputation. The architecture is structured around CNN-based representation layers, each…

机器学习 · 计算机科学 2025-04-29 Robert Leppich , Michael Stenger , Daniel Grillmeyer , Vanessa Borst , Samuel Kounev

We consider mixed-integer quadratic optimization problems with banded matrices and indicator variables. These problems arise pervasively in statistical inference problems with time-series data, where the banded matrix captures the temporal…

最优化与控制 · 数学 2024-05-07 Andres Gomez , Shaoning Han , Leonardo Lozano

Estimated time of arrival (ETA) is a very important factor in the transportation system. It has attracted increasing attentions and has been widely used as a basic service in navigation systems and intelligent transportation systems. In…

机器学习 · 计算机科学 2024-07-02 YuRui Huang , Jie Zhang , HengDa Bao , Yang Yang , Jian Yang

This work proposes an event-triggered moving horizon estimation (ET-MHE) scheme for general nonlinear systems. The key components of the proposed scheme are a novel event-triggering mechanism (ETM) and the suitable design of the MHE cost…

系统与控制 · 电气工程与系统科学 2025-06-06 Isabelle Krauss , Julian D. Schiller , Victor G. Lopez , Matthias A. Müller

This paper addresses the challenge of large model (LM)-embedded wireless network for handling the trade-off problem of model accuracy and network latency. To guarantee a high-quality of users' service, the network latency should be…

信号处理 · 电气工程与系统科学 2025-08-05 Yichen Jin , Zongze Li , Zeyi Ren , Qingfeng Lin , Yik-Chung Wu

The recent progress in TinyML technologies triggers the need to address the challenge of balancing inference time and classification quality. TinyML systems are defined by specific constraints in computation, memory and energy. These…

机器学习 · 计算机科学 2025-10-01 Tobiasz Puslecki , Krzysztof Walkowiak

The Intelligent Transportation System (ITS) targets to a coordinated traffic system by applying the advanced wireless communication technologies for road traffic scheduling. Towards an accurate road traffic control, the short-term traffic…

机器学习 · 计算机科学 2017-01-10 Xun Zhou , Changle Li , Zhe Liu , Tom H. Luan , Zhifang Miao , Lina Zhu , Lei Xiong

This paper considers the integrated problem of quay crane assignment, quay crane scheduling, yard location assignment, and vehicle dispatching operations at a container terminal. The main objective is to minimize vessel turnover times and…

人工智能 · 计算机科学 2017-12-15 Damla Kizilay , Deniz T. Eliiyi , Pascal Van Hentenryck

In this paper, a self-triggered control scheme for constrained discrete-time control systems is presented. The key idea of our approach is to construct a transition system or a graph structure from a collection of polyhedral sets, which are…

最优化与控制 · 数学 2017-02-17 Kazumune Hashimoto , Shuichi Adachi , Dimos V. Dimarogonas

This study introduces a lightweight U-Net model optimized for real-time semantic segmentation of aerial images, targeting the efficient utilization of Commercial Off-The-Shelf (COTS) embedded computing platforms. We maintain the accuracy of…

计算机视觉与模式识别 · 计算机科学 2025-03-13 Julien Posso , Hugo Kieffer , Nicolas Menga , Omar Hlimi , Sébastien Tarris , Hubert Guerard , Guy Bois , Matthieu Couderc , Eric Jenn

The ever-increasing mobile data demands have posed significant challenges in the current radio access networks, while the emerging computation-heavy Internet of things (IoT) applications with varied requirements demand more flexibility and…

信号处理 · 电气工程与系统科学 2018-04-16 Nan Cheng , Wenchao Xu , Weisen Shi , Yi Zhou , Ning Lu , Haibo Zhou , Xuemin , Shen

We propose a hybrid physics-informed machine learning framework to approximate invariant manifolds (IMs) of discrete-time dynamical systems driven by exogenous autonomous dynamics (exosystems). Such systems appear in applications ranging…

As a quantum-inspired, non-traditional analog solver architecture, the analog Ising machine (AIM) has emerged as a distinctive computational paradigm to address the rapidly growing demand for computational power. However, the mathematical…

量子物理 · 物理学 2026-02-06 Langyu Li , Ruoyu Wu , Yong Wang , Guofeng Zhang , Jinhu Lü , Qing Gao , Yu Pan

We investigate the fundamental multiple access (MA) scheme in an active intelligent reflecting surface (IRS) aided energy-constrained Internet-of-Things (IoT) system, where an active IRS is deployed to assist the uplink transmission from…

信息论 · 计算机科学 2022-02-01 Guangji Chen , Qingqing Wu , Chong He , Wen Chen , Jie Tang , Shi Jin

In this paper, a proportional-integral servo-control design method is developed for multi-input-multioutput linear time invariant systems with operational constraints imposed on the system control input and on an output of the same…

系统与控制 · 电气工程与系统科学 2025-04-17 Eugene Lavretsky

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time.…

软件工程 · 计算机科学 2021-04-05 Sabah Al-Fedaghi

The problem of scheduling under resource constraints is widely applicable. One prominent example is power management, in which we have a limited continuous supply of power but must schedule a number of power-consuming tasks. Such problems…

人工智能 · 计算机科学 2016-02-11 Szymon Sidor , Peng Yu , Cheng Fang , Brian Williams