株式会社 Proxima Technology (@Proxima_ai_tech) header
株式会社 Proxima Technology (@Proxima_ai_tech) profile picture

独自のPhysical AI「Smart MPC」で製造業の生産技術を変える!産業用ラズパイへのオールインワン型プロダクト「E-Smart MPC」も提供中です。 中の人→@takuya_fukatsu

東京都千代田区外神田4丁目6番7号 カンダエイトビル 7F
Joined March 2022
Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)Photo by 株式会社 Proxima Technology (@Proxima_ai_tech)
機械学習エンジニア / データサイエンティスト募集中です! 弊社は数理科学分野を専門にされているアカデミア人材を大歓迎いたします! アカデミアで培った研究力や思考力を社会で生かしてみたい方がいらっしゃれば、気軽にご応募・お声がけください! acaric.jp/company-search…
4
8
1,373
【好評既刊】 深津卓弥/菱沼徹/荒牧大輔・著 『PythonとCasADiで学ぶモデル予測制御』 🟣🟣入門、かつ実践🟣🟣 モデル予測制御(MPC)の基本から実用までを、実装手順や応用例を幅広く紹介しながら詳しく解説‼️ 最適制御のオープンソースソフトウェアCasADiのPython版サンプルコードですぐに実践できる💪 【目次】 第1章 制御とは 1.1 制御の具体例 1.2 制御工学の基本概念 1.3 代表的な制御手法 1.4 補足事項 第2章 モデル予測制御(MPC)とは 2.1 MPCの直感的イメージ 2.2 MPCにおける有限ホライズン最適制御問題の定式化 2.3 MPCの特徴 2.4 補足事項 第3章 CasADi入門 3.1 導入 3.2 環境構築 3.3 シンボリックの基本 3.4 数理最適化 3.5 シンボリックの操作 3.6 関数オブジェクト 3.7 常微分方程式ソルバー 第4章 離散時間のモデル予測制御 4.1 生物個体数管理の制御問題 4.2 ロトカ・ヴォルテラのモデルの状態方程式 4.3 ロトカ・ヴォルテラのモデルの評価関数 4.4 MPCにおける最適化問題の定式化 4.5 MPC実装の流れ 4.6 MPC実装の詳細 第5章 連続時間のモデル予測制御 5.1 倒立振子モデル 5.2 倒立振子の評価関数 5.3 有限次元パラメータ近似 5.4 パラメータの設定 5.5 MPC実装の流れ 5.6 MPC実装の詳細 第6章 モデル予測制御の実装に向けて 6.1 時間離散化と最適化の順番 6.2 直接的アプローチによる連続時間最適制御問題の有限次元パラメータ近似 6.3 離散時間最適制御問題の構造と変数消去 6.4 オンライン最適化 第7章 CasADiにおける最適化ソルバーの比較 7.1 さまざまなソルバー 7.2 ソルバーの選定の必要性 7.3 QPソルバーの比較 7.4 NLPソルバーの比較 第8章 状態推定問題と移動ホライズン推定 8.1 導入 8.2 状態推定問題 8.3 移動ホライズン推定(MHE)とは 8.4 MHEによる状態推定の実装例 8.5 MHEを用いたMPC 第9章 より発展的な話題と将来の展望 付録A 最適化・数値計算の補足 A.1 ニュートン法 A.2 QP問題の解法 A.3 NLP問題の解法 A.4 最適制御に固有の構造を利用したQP問題の最適化計算 A.5 常微分方程式の初期値問題の数値計算法 付録B CasADi中級 B.1 CasADi環境構築 B.2 CasADiによるC言語コード生成とその利用方法 B.3 CasADiの関連ソフトウェア B.4 CasADiとacadosの連携 B.5 CasADiとPinocchioの連携 B.6 離散制御入力を扱う方法
1
5
25
1,681
株式会社 Proxima Technology retweeted
要約版の記事もZennに投稿してあります! MPC(モデル予測制御)専用ソルバーの歴史 ― プラントの分単位からマイクロ秒の組込み制御まで|株式会社 Proxima Technology zenn.dev/takuya_fukatsu/arti… #zenn
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
5
1
24
2,965
今回配信した「MPC専用ソルバーの歴史」というホワイトペーパーにつきましては、高速なMPC、組み込み向けMPC等に関心がある方は是非ご一読ください!
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
1
1
4
793
株式会社 Proxima Technology retweeted
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました! 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります! 特に高速なMPCに興味がある方は是非ご一読を! mono.ipros.com/popup/downloa…
1
8
2
51
6,323
株式会社 Proxima Technology retweeted
「PythonとCasADiで学ぶLie群上の最適化」というnotebookを公開しました。SO(2)、SE(2)、SO(3)、SE(3)といった回転群や剛体変換を扱った、CasADi本の付録的立ち位置の資料です。 colab.research.google.com/gi…
1
40
1
222
11,710
株式会社 Proxima Technology retweeted
JREC-IN Portal上へのエンジニア職の公募情報掲載の許可が下りました!researchmapと連携していただいている方が結構多いので、お声かけするときの文面を考えやすくてありがたいですね。 JREC-IN Portal : 機械学習エンジニア / データサイエンティスト職 jrecin.jst.go.jp/seek/SeekJo…
4
10
3,277
株式会社 Proxima Technology retweeted
弊社は「数学の社会実装」を目指していて、その手段として数理最適化や最適制御理論、その他各種数理アルゴリズムを用い、また実装先として製造業界を中心として事業を行っております。 この試みに興味を持った方がいらっしゃれば是非とも気軽にお声掛けください! #数学 wantedly.com/companies/compa…
10
2
45
9,555
株式会社 Proxima Technology retweeted
【宣伝】 機械学習エンジニア / データサイエンティスト募集中です! 弊社は数理科学分野に詳しい人材を大歓迎いたします! acaric.jp/company-search/det…
8
82
11,679
株式会社 Proxima Technology retweeted
【宣伝】弊社エンジニアの井上亜星も参加させていただきます! pri.riken.jp/symposium/ai4ma…
【業務連絡】明後日から東京日本橋で開催される理研シンポジウム「Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and Formal Reasoning」(pri.riken.jp/symposium/ai4ma…)に先立ち、明日、CaltechのSergei Gukovさんによる「AI for Math入門講義」とMathlib InitiativeのDirectorであるJohan Commelinさんによる「LEANの使用法のチュートリアル」があります。 参加登録はすでに締め切られており、以下は登録者への連絡事項です: チュートリアルにご自身のPCで参加される方は、会場にお越しになる前に、必ず以下の準備と動作確認を完了してください。 (1) LeanおよびVS CodeのLean 4拡張機能をインストールする (2) GlimpseOfLeanリポジトリを取得し、VS Codeでプロジェクトとして開く (3) Project Actions → Fetch Mathlib Build Cacheを実行する (4) GlimpseOfLean/Introduction.leanを開き、Infoviewに「1 goal」と ⊢ を含むゴールが表示され、エラーが出ないことを確認する Mathlibキャッシュは数GBあり、ダウンロードに時間がかかります。また、PCのセキュリティ設定等によって追加の対応が必要になる場合があります。このため、チュートリアル直前に会場でインストールを始めても、開始までに完了しない可能性があります。単にLeanをインストールするだけでなく、上記 (4) までの動作確認を必ず事前に済ませてください。 それでも問題が残る場合には、GukovさんとCommelinさんのチュートリアルの間の休憩時間に、TAへご相談ください。Commelinさんのチュートリアル開始後は、進行上、個別のインストール対応はできませんので、あらかじめご了承ください。 当日は、セットアップ済みのPCをお持ちください。
1
1
4
2,963
株式会社 Proxima Technology retweeted
PiLink株式会社様との産業用ラズパイ向けのUPS(スーパーキャパシタ内蔵)を共同開発させていただきました! リチウムイオン電池に比べて火災リスクが低く、制御盤の中に納めやすい設計となっております!
2
1
8
5,174
株式会社 Proxima Technology retweeted
いつもはSmart MPCの機械学習モデルとしては、MLPやLSTM、mambaあたりを使うことが多いんですが、クアッドローターの制御を対象にリザバーコンピューティングを試してみたところこれもよさそうだな、ということがわかりました。 やっぱり学習データ量がかなり少なくてもうまく収束しますね…
12
1
103
15,269
株式会社 Proxima Technology retweeted
E-Smart MPCの方の特許も無事、通りました!
2
11
1,279