Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications

この論文は、交通規則違反や衝突リスクなど多様な運転リスクを人間のようにバランスさせるため、線形時相論理(LTL)の仕様と占有測度に基づく線形計画法を組み合わせ、自律運転システムのリスク感知型制御方策を合成する手法を提案し、Carla シミュレーターによる検証でその有効性を示したものである。

Shuhao Qi, Zengjie Zhang, Zhiyong Sun + 1 more2026-03-06💻 cs

Lyapunov Characterization for ISS of Impulsive Switched Systems

本論文は、安定・不安定なフローを併せ持つインパルススイッチングシステムに対し、モード依存平均滞留時間と離脱時間の条件下で、非減少型および減少型の時間変数 ISS リャプノフ関数の存在が ISS の必要十分条件であることを示し、さらに未知のスイッチング信号に対しても ISS を保証する手法を提案している。

Saeed Ahmed, Patrick Bachmann, Stephan Trenn2026-03-06🔢 math

C*: A Coverage Path Planning Algorithm for Unknown Environments using Rapidly Covering Graphs

本論文は、未知環境におけるリアルタイムなカバレッジ経路計画を実現し、完全な環境カバレッジを保証するとともに、既存手法と比較してカバレッジ時間や経路長などの性能を大幅に向上させる新たなサンプリングベースのアルゴリズム「C*」を提案し、その有効性をシミュレーションおよび実機実験で検証したものである。

Zongyuan Shen, James P. Wilson, Shalabh Gupta2026-03-06💻 cs

A Signal Contract for Online Language Grounding and Discovery in Decision-Making

この論文は、自然言語による時間的コンテキスト更新を意思決定プロセスと分離し、推論のみに基づくミドルウェア「LUCIFER」を通じて制御に直接関連する信号に変換する「シグナル契約」を提案し、捜索救助シナリオにおける安全性と情報収集効率の向上を実証したものである。

Dimitris Panagopoulos, Adolfo Perrusquia, Weisi Guo2026-03-06💻 cs

Design and Experimental Validation of Sensorless 4-Channel Bilateral Teleoperation for Low-Cost Manipulators

本論文は、力センサを備えない低コストマニピュレータ向けに、非線形ダイナミクス補償と外乱オブザーバを統合したセンサレス4チャネル双方向制御を提案し、高速・接触動作における安定した遠隔操作を実現するとともに、その力フィードバックを用いた模倣学習の成功率向上を実証したものである。

Koki Yamane, Yunhan Li, Masashi Konosu + 4 more2026-03-06💻 cs

CBF-RL: Safety Filtering Reinforcement Learning in Training with Control Barrier Functions

本論文は、強化学習の訓練段階に制御バリア関数(CBF)を組み込むことで、安全制約を方策自体に内包させ、実世界での展開時にオンラインの安全フィルタを不要としつつ、より安全かつ効率的な学習を実現する「CBF-RL」という枠組みを提案し、ヒューマノイドロボットなどでの実証を通じてその有効性を示したものである。

Lizhi Yang, Blake Werner, Massimiliano de Sa + 1 more2026-03-06💻 cs

Breaking and Fixing Defenses Against Control-Flow Hijacking in Multi-Agent Systems

この論文は、マルチエージェントシステムにおける制御フローハイジャック攻撃が既存の防御策を回避できることを実証し、安全性と機能性の根本的な矛盾を指摘した上で、制御フロー整合性と最小権限の原則に基づいた新たな防御システム「ControlValve」を提案・評価しています。

Rishi Jha, Harold Triedman, Justin Wagle, Vitaly Shmatikov2026-03-06🔒 cs.CR

Simple generators of rational function fields

この論文は、多変数有理関数体の部分体の生成系を入力として、部分スパーブ・グロブナー基底計算や特定次数の多項式の効率的な探索などのアルゴリズム的革新を用いて、より効率的かつ高品質な単純な生成系を導出する手法を提案し、構造パラメータ同定など多様な応用分野における有用性を示すものである。

Alexander Demin, Gleb Pogudin2026-03-06🔢 math

Optimal Real-Time Fusion of Time-Series Data Under Rényi Differential Privacy

本論文は、Rényi 差分プライバシー制約下において、複数のセンサーからの時系列データを融合して状態推定誤差を最小化する最適リアルタイム融合枠組みを提案し、プライバシー予算の適応的配分と閉ループ制御を実現する構造的な最適性条件を導出するとともに、交通密度推定の実例を通じてその有効性を示しています。

Chuanghong Weng, Ehsan Nekouei2026-03-06💻 cs

A System-of-Systems Convergence Paradigm for Societal Challenges of the Anthropocene

本論文は、気候変動や都市化などの複雑な社会的課題に対処するため、異なる分野のオントロジーの隔たりを乗り越え、システム思考や数学、コンピューティングなどを統合したメタ認知マップに基づき、SysML を活用したシステム・オブ・システムズ収束パラダイムを提唱し、チェサピーク湾流域の事例を通じてその有効性を示しています。

Megan S. Harris, Mohammad Mahdi Naderi, Ehsanoddin Ghorbanichemazkati + 11 more2026-03-06💻 cs

Dual-Interaction-Aware Cooperative Control Strategy for Alleviating Mixed Traffic Congestion

本論文は、混合交通環境におけるボトルネック渋滞を緩和するため、CAV と HDV の相互作用を局所・大域的に認識し、安全行動を補正するマルチエージェント強化学習に基づく「二重相互作用認識協調制御戦略(DIACC)」を提案し、交通効率と適応性の大幅な向上を実証したものである。

Zhengxuan Liu, Yuxin Cai, Yijing Wang + 3 more2026-03-06💻 cs

AMV-L: Lifecycle-Managed Agent Memory for Tail-Latency Control in Long-Running LLM Systems

本論文は、長期稼働する LLM エージェントのメモリ管理において、単なる保持期間(TTL)や LRU ではなく、メモリ項目の価値に基づいてライフサイクルを制御し、検索候補セットを制限することで、極端な遅延を抑制しつつスループットを大幅に向上させるフレームワーク「AMV-L」を提案し、その有効性を示したものである。

Emmanuel Bamidele2026-03-06💻 cs