math.OC」カテゴリーアーカイブ

IMPACT: A Toolchain for Nonlinear Model Predictive Control Specification, Prototyping, and Deployment

要約 自動コード生成機能を備えた非線形モデル予測制御 (NMPC) 仕様の柔軟な … 続きを読む

カテゴリー: cs.RO, cs.SY, eess.SY, math.OC | IMPACT: A Toolchain for Nonlinear Model Predictive Control Specification, Prototyping, and Deployment はコメントを受け付けていません

Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization

要約 この論文では、モデルの不確実性が存在する場合に動的システムの安全性と安定性 … 続きを読む

カテゴリー: cs.RO, math.OC | Safe and Stable Control Synthesis for Uncertain System Models via Distributionally Robust Optimization はコメントを受け付けていません

On Koopman-based surrogate models for non-holonomic robots

要約 拡張動的モード分解に基づく動的システムのデータ駆動型代理モデルは、今日では … 続きを読む

カテゴリー: 37Mxx, 68T40, 93C15, 93C57, 93C85, cs.RO, math.OC | On Koopman-based surrogate models for non-holonomic robots はコメントを受け付けていません

Variational Principles for Mirror Descent and Mirror Langevin Dynamics

要約 1970 年代に Nemirovski と Yudin によって導入された … 続きを読む

カテゴリー: cs.LG, math.OC | Variational Principles for Mirror Descent and Mirror Langevin Dynamics はコメントを受け付けていません

Real-time elastic partial shape matching using a neural network-based adjoint method

要約 サーフェス マッチングは、通常、物理的なポリシーの欠如による構造的な破損に … 続きを読む

カテゴリー: cs.AI, math.OC | Real-time elastic partial shape matching using a neural network-based adjoint method はコメントを受け付けていません

Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP

要約 連続時間マルコフ決定過程 (CTMDP) は、高密度の確率的環境下での逐次 … 続きを読む

カテゴリー: cs.AI, cs.LG, math.OC | Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP はコメントを受け付けていません

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

要約 このホワイト ペーパーでは、線形時相論理 (LTL) として表現される複雑 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO, math.OC | Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications はコメントを受け付けていません

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

要約 このホワイト ペーパーでは、線形時相論理 (LTL) として表現される複雑 … 続きを読む

カテゴリー: cs.AI, cs.FL, cs.LG, cs.RO, math.OC | Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications はコメントを受け付けていません

Muti-Agent Proximal Policy Optimization For Data Freshness in UAV-assisted Networks

要約 無人航空機 (UAV) は、ワイヤレス通信ネットワークで幅広いタスクを実行 … 続きを読む

カテゴリー: cs.LG, math.OC | Muti-Agent Proximal Policy Optimization For Data Freshness in UAV-assisted Networks はコメントを受け付けていません

Betty: An Automatic Differentiation Library for Multilevel Optimization

要約 勾配ベースのマルチレベル最適化 (MLO) は、ハイパーパラメーターの最適 … 続きを読む

カテゴリー: cs.AI, cs.LG, math.OC | Betty: An Automatic Differentiation Library for Multilevel Optimization はコメントを受け付けていません