中文
相关论文

相关论文: Run Time Assurance for Simultaneous Constraint Sat…

200 篇论文

Vision-language-action models (VLAs) show potential as generalist robot policies. However, these models pose extreme safety challenges during real-world deployment, including the risk of harm to the environment, the robot itself, and…

机器人学 · 计算机科学 2026-04-21 Borong Zhang , Yuhao Zhang , Jiaming Ji , Yingshan Lei , Yishuai Cai , Josef Dai , Yuanpei Chen , Yaodong Yang

Agile unmanned aerial vehicle (UAV) navigation in cluttered environments demands a planning architecture that is both computationally efficient and structurally expressive enough to reason over multiple feasible motions. This paper presents…

Existing intelligent driving technology often has a problem in balancing smooth driving and fast obstacle avoidance, especially when the vehicle is in a non-structural environment, and is prone to instability in emergency situations.…

机器人学 · 计算机科学 2022-08-02 Yitian Wang , Jun Lin , Liu Zhang , Tianhao Wang , Hao Xu , Guanyu Zhang , Yang Liu

As aircraft systems become increasingly autonomous, the human-machine role allocation changes and opportunities for new failure modes arise. This necessitates an approach to identify the safety requirements for the increasingly autonomous…

软件工程 · 计算机科学 2021-10-27 Siddhartha Bhattacharyya , Jennifer Davis , Anubhav Gupta , Nandith Narayan , Michael Matessa

We present the Neural Simplex Architecture (NSA), a new approach to runtime assurance that provides safety guarantees for neural controllers (obtained e.g. using reinforcement learning) of autonomous and other complex systems without unduly…

人工智能 · 计算机科学 2020-03-26 Dung T. Phan , Radu Grosu , Nils Jansen , Nicola Paoletti , Scott A. Smolka , Scott D. Stoller

The aim of this article is to investigate the performance of near-field integrated sensing and communication (ISAC) systems using rotatable movable antennas (RMAs). In the proposed RMA-enabled system, the positions and rotations of antennas…

信号处理 · 电气工程与系统科学 2025-11-17 Yunan Sun , Hao Xu , Chongjun Ouyang , Hongwen Yang

Many safety-critical control systems must operate under latent uncertainty that sensors cannot directly resolve at decision time. Such uncertainty, arising from unknown physical properties, exogenous disturbances, or unobserved environment…

系统与控制 · 电气工程与系统科学 2026-04-07 Clinton Enwerem , John S. Baras , Calin Belta

Initial alignment is one of the key technologies in strapdown inertial navigation system (SINS) to provide initial state information for vehicle attitude and navigation. For some situations, such as the attitude heading reference system,…

机器人学 · 计算机科学 2024-05-03 Hongliang Zhang , Yilan Zhou , Lei Wang , Tengchao Huang

Aircraft Ship Integrated Secure and Traverse (ASIST) is a system designed to arrest helicopters safely and efficiently on ships. Originally, a precision Helicopter Position Sensing Equipment (HPSE) tracked and monitored the position of the…

计算机视觉与模式识别 · 计算机科学 2023-12-01 Ari Goodman , Gurpreet Singh , Ryan O'Shea , Peter Teague , James Hing

Non-fixed flexible antenna architectures, such as fluid antenna system (FAS), movable antenna (MA), and pinching antenna, have garnered significant interest in recent years. Among them, rotatable antenna (RA) technology has recently drawn…

信号处理 · 电气工程与系统科学 2025-10-06 Yanhua Tan , Beixiong Zheng , Yi Fang , Derrick Wing Kwan Ng , Jie Xu , Rui Zhang

Alignment plays a fundamental role in many machine learning problems, such as multi-network analysis, multimodal learning, and point cloud registration. Recent works increasingly leverage optimal transport (OT) for distributional alignment,…

机器学习 · 计算机科学 2026-05-26 Qi Yu , Ruizhong Qiu , Zhichen Zeng , My T. Thai , Huan Liu , Hanghang Tong

Robotic foundation models achieve strong generalization by leveraging internet-scale vision-language representations, but their massive computational cost creates a fundamental bottleneck: high inference latency. In dynamic environments,…

机器人学 · 计算机科学 2026-02-17 Noriaki Hirose , Catherine Glossop , Dhruv Shah , Sergey Levine

Low-end embedded devices are increasingly used in various smart applications and spaces. They are implemented under strict cost and energy budgets, using microcontroller units (MCUs) that lack security features available in general-purpose…

密码学与安全 · 计算机科学 2023-10-20 Adam Caulfield , Norrathep Rattanavipanon , Ivan De Oliveira Nunes

Multi-object tracking (MOT) in computer vision remains a significant challenge, requiring precise localization and continuous tracking of multiple objects in video sequences. The emergence of data sets that emphasize robust…

计算机视觉与模式识别 · 计算机科学 2024-07-16 Thuc Nguyen-Quang , Minh-Triet Tran

In this paper, we investigate the attitude tracking problem of uncertain flexible spacecraft systems subject to external disturbances. In sharp contrast to existing results, the dynamics of flexible spacecraft systems and external…

最优化与控制 · 数学 2024-03-20 Zean Bao , Maobin Lu , Fang Deng , Jie Chen

Object tracking from Unmanned Aerial Vehicles (UAVs) is challenged by platform dynamics, camera motion, and limited onboard resources. Existing visual trackers either lack robustness in complex scenarios or are too computationally demanding…

计算机视觉与模式识别 · 计算机科学 2026-03-27 Augustin Borne , Pierre Notin , Christophe Hennequin , Sebastien Changey , Stephane Bazeille , Christophe Cudel , Franz Quint

This work is devoted to generating optimal guidance commands in real time for attitude-constrained solar sailcrafts in coplanar circular-to-circular interplanetary transfers. Firstly, a nonlinear optimal control problem is established, and…

最优化与控制 · 数学 2023-11-17 Kun Wang , Fangmin Lu , Zheng Chen , Jun Li

Transmission switching (TS) has gained significant attention recently. However, barriers still remain and must be overcome before the technology can be adopted by the industry. The state of the art challenges include AC feasibility and…

Deep learning models have demonstrated exceptional performance across a wide range of computer vision tasks. However, their performance often degrades significantly when faced with distribution shifts, such as domain or dataset changes.…

计算机视觉与模式识别 · 计算机科学 2025-07-09 Samuel Barbeau , Pedram Fekri , David Osowiechi , Ali Bahri , Moslem Yazdanpanah , Masih Aminbeidokhti , Christian Desrosiers

Mission-critical system, such as satellite systems, healthcare systems, and nuclear power plant control systems, undergo rigorous testing to ensure they meet specific operational requirements throughout their operation. This includes…

软件工程 · 计算机科学 2025-10-07 Raphaël Ollando , Seung Yeob Shin , Mario Minardi , Nikolas Sidiropoulos
‹ 上一页 1 8 9 10 下一页 ›