English
Related papers

Related papers: A Time-Triggered Constraint-Based Calculus for Avi…

200 papers

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…

Other Computer Science · Computer Science 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…

Optimization and Control · Mathematics 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…

Optics · Physics 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…

Machine Learning · Computer Science 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…

Optimization and Control · Mathematics 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…

Machine Learning · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Signal Processing · Electrical Eng. & Systems 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…

Machine Learning · Computer Science 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…

Machine Learning · Computer Science 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…

Artificial Intelligence · Computer Science 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…

Optimization and Control · Mathematics 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Signal Processing · Electrical Eng. & Systems 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…

Quantum Physics · Physics 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…

Information Theory · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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.…

Software Engineering · Computer Science 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…

Artificial Intelligence · Computer Science 2016-02-11 Szymon Sidor , Peng Yu , Cheng Fang , Brian Williams