
独自のPhysical AI「Smart MPC」で製造業の生産技術を変える!産業用ラズパイへのオールインワン型プロダクト「E-Smart MPC」も提供中です。 中の人→@takuya_fukatsu
東京都千代田区外神田4丁目6番7号 カンダエイトビル 7F
Joined March 2022
- Tweets615
- Following157
- Followers2.5K
- Likes562
Pinned Tweet
機械学習エンジニア / データサイエンティスト募集中です!
弊社は数理科学分野を専門にされているアカデミア人材を大歓迎いたします!
アカデミアで培った研究力や思考力を社会で生かしてみたい方がいらっしゃれば、気軽にご応募・お声がけください!
acaric.jp/company-search…
株式会社 Proxima Technology retweeted
アカデミア人材や研究者志向が強い方に向けて、元アカデミア志望だった人間がなぜ起業という道を選び、そしてどうなったかというストーリーです。
理論物理学者になることが夢だった私が、民間就職を経て起業に至るまで|深津卓弥 @takuya_fukatsu note.com/takuya_fukatsu/n/nc…
株式会社 Proxima Technology retweeted
【好評既刊】
深津卓弥/菱沼徹/荒牧大輔・著
『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 離散制御入力を扱う方法
株式会社 Proxima Technology retweeted
要約版の記事もZennに投稿してあります!
MPC(モデル予測制御)専用ソルバーの歴史 ― プラントの分単位からマイクロ秒の組込み制御まで|株式会社 Proxima Technology zenn.dev/takuya_fukatsu/arti… #zenn
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました!
汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります!
特に高速なMPCに興味がある方は是非ご一読を!
mono.ipros.com/popup/downloa…
株式会社 Proxima Technology retweeted
最近弊社に入社したメンバーの転職体験記です!
ポスドクの転職は「敗北」とは限らない―数学博士がアカデミアの外で見つけた新たな生き方|ポスドクの転職体験記 @PhD_careerpath #転職体験記 note.com/postdoc_career/n/nc…
今回配信した「MPC専用ソルバーの歴史」というホワイトペーパーにつきましては、高速なMPC、組み込み向けMPC等に関心がある方は是非ご一読ください!
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました!
汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります!
特に高速なMPCに興味がある方は是非ご一読を!
mono.ipros.com/popup/downloa…
株式会社 Proxima Technology retweeted
「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました!
汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります!
特に高速なMPCに興味がある方は是非ご一読を!
mono.ipros.com/popup/downloa…
株式会社 Proxima Technology retweeted
「PythonとCasADiで学ぶLie群上の最適化」というnotebookを公開しました。SO(2)、SE(2)、SO(3)、SE(3)といった回転群や剛体変換を扱った、CasADi本の付録的立ち位置の資料です。
colab.research.google.com/gi…
株式会社 Proxima Technology retweeted
一番言いたかったのはこの部分です。
AIの進化によって数学の面白さを純粋に楽しめる時代が来てくれることを期待しています。
noteを書きました。
なぜAI全盛の今の時代に数学を学ぶのだろうか?|深津卓弥 @takuya_fukatsu note.com/takuya_fukatsu/n/nd…
株式会社 Proxima Technology retweeted
noteを書きました。
なぜAI全盛の今の時代に数学を学ぶのだろうか?|深津卓弥 @takuya_fukatsu note.com/takuya_fukatsu/n/nd…
株式会社 Proxima Technology retweeted
JREC-IN Portal上へのエンジニア職の公募情報掲載の許可が下りました!researchmapと連携していただいている方が結構多いので、お声かけするときの文面を考えやすくてありがたいですね。
JREC-IN Portal : 機械学習エンジニア / データサイエンティスト職 jrecin.jst.go.jp/seek/SeekJo…
株式会社 Proxima Technology retweeted
弊社は「数学の社会実装」を目指していて、その手段として数理最適化や最適制御理論、その他各種数理アルゴリズムを用い、また実装先として製造業界を中心として事業を行っております。
この試みに興味を持った方がいらっしゃれば是非とも気軽にお声掛けください!
#数学
wantedly.com/companies/compa…
株式会社 Proxima Technology retweeted
【宣伝】
機械学習エンジニア / データサイエンティスト募集中です!
弊社は数理科学分野に詳しい人材を大歓迎いたします!
acaric.jp/company-search/det…
株式会社 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をお持ちください。
株式会社 Proxima Technology retweeted
PiLink株式会社様との産業用ラズパイ向けのUPS(スーパーキャパシタ内蔵)を共同開発させていただきました!
リチウムイオン電池に比べて火災リスクが低く、制御盤の中に納めやすい設計となっております!
PiLinkとProxima Technology、産業用Raspberry Pi向けスーパーキャパシタ内蔵UPSを共同開発 prtimes.jp/main/html/rd/p/00… @PRTIMES_JPより
株式会社 Proxima Technology retweeted
PiLinkとProxima Technology、産業用Raspberry Pi向けスーパーキャパシタ内蔵UPSを共同開発 prtimes.jp/main/html/rd/p/00… @PRTIMES_JPより
PiLinkとProxima Technology、産業用Raspberry Pi向けスーパーキャパシタ内蔵UPSを共同開発 prtimes.jp/main/html/rd/p/00… @PRTIMES_JPより
株式会社 Proxima Technology retweeted
いつもはSmart MPCの機械学習モデルとしては、MLPやLSTM、mambaあたりを使うことが多いんですが、クアッドローターの制御を対象にリザバーコンピューティングを試してみたところこれもよさそうだな、ということがわかりました。
やっぱり学習データ量がかなり少なくてもうまく収束しますね…
株式会社 Proxima Technology retweeted
博士/アカデミア人材のキャリアパスとしてのテック系スタートアップという選択肢 note.com/takuya_fukatsu/n/n0…
個人的には新卒では仕組みが出来上がってる大企業を目指した方がいいなと思っているのだけど、proximaさんは方針がはっきりしてるので良いと思ってるなー















