# University of Michigan 米国 Ann Arbor の研究大学(UMich)。[[Ang Chen]] のグループがクラウド IaC × LLM エージェント研究を牽引し、本 wiki の IaC 系ソースの主所属。 - [[Zodiac]]([[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]], SOSP '24): IaC のセマンティックチェック発掘。4 著者のうち [[Yiming Qiu]]・[[Patrick Tser Jern Kon]]・[[Ang Chen]] の 3 名が所属([[Ryan Beckett]] のみ [[Microsoft]])。 - [[NSync]]([[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]]): IaC reconciliation。[[Amazon Web Services]] との共同。 - [[Lilac]]([[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]]): IaC lifting。[[UC San Diego]] との共同。Zodiac の [[Yiming Qiu]]・[[Patrick Tser Jern Kon]] が再び共著。 デプロイ前検証(Zodiac)・逆生成(Lilac)・drift 修復(NSync)という IaC ライフサイクルの 3 方向を、同一研究室が LLM + symbolic で並行して攻めている。 - [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]](OSR 2025): 上記 IaC 研究群を「SDK・CLI・IaC・ClickOps の 4 [[クラウド管理モダリティ]]」へ一般化するビジョン論文。著者 9 名のうち [[Yibo Huang]]・[[Yunming Xiao]]・[[Tongyuan Miao]]・[[Archit Bhatnagar]] を含む 8 名が当大学所属で、[[University of California, Berkeley]](Yiming Qiu の第 2 所属)・[[Andreessen Horowitz]]([[Martin Casado]])と共同。 - Orion([[@2008__OSDI__Automating Network Application Dependency Discovery - Experiences, Limitations, and New Solutions]], OSDI '08): エンタープライズネットワーク依存性自動発見。[[Xu Chen]]・[[Z. Morley Mao]] が所属し [[Microsoft Research]] と共同開発。 - [[TrainCheck]]([[@2025__OSDI__Training with Confidence - Catching Silent Errors in Deep Learning Training with Automated Proactive Checks]], OSDI '25): DL 訓練サイレントエラー検知。[[OrderLab]](PI: [[Peng Huang]])、筆頭著者 [[Yuxuan Jiang]]。訓練不変条件の自動推論・継続検証による実運用向けフレームワーク。 - フィードバック制御理論: [[Dawn M. Tilbury]](機械工学)は *Feedback Control of Computing Systems*(Wiley, 2004)の共著者の1人。[[Joseph L. Hellerstein]]・[[Yixin Diao]]・[[Sujay Parekh]]([[IBM T.J. Watson Research Center]])と共同で、差分方程式によるシステム同定・PID 制御をコンピューティングシステムへ応用する研究をまとめた。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 2 Model Construction]], [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 4 System Modeling with Block Diagrams]])。第6章では、複数の極を持つ高次系(移動平均フィルタやPI制御を加えた2〜3次系)を対象に、支配極による一次系近似で整定時間・オーバーシュートを予測する枠組みへ拡張している。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 6 Higher-Order Systems]])。第7章では、状態空間モデルによるMIMO(多入力多出力)拡張と可制御性・可観測性の分析にこの枠組みを広げている。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 7 State-Space Models]])。第9章では、比例制御単独では消せない定常偏差を積分・PI・PID制御で解消する設計手法(極配置設計・根軌跡設計・CHR法)を扱う。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 9 PID Controllers]])。第10章では、状態フィードバック制御(静的・precompensator付き静的・動的の3アーキテクチャ)と、その設計技法である極配置設計・LQR(線形二次レギュレータ)を扱う。LQRは望ましい極を人が指定する極配置設計とは異なり、重み行列$Q$・$R$で制御誤差と制御努力のコストを与えて最適化する設計思想であり、Apache HTTP ServerのMIMO制御実験で極配置設計より優れた追従性能を示す。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 10 State-Space Feedback Control]])。最終章の第11章では、線形・決定的・時不変という仮定を緩和するゲインスケジューリング・自己調整レギュレータ・最小分散制御・流体流近似・ファジィ制御を扱う。(Source: [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 11 Advanced Topics]]) ## 関連 - ソース: [[@2024__SOSP__Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs]] / [[@2025__arXiv__Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents]] / [[@2025__AIOps__Automated Lifting for Cloud Infrastructure-as-Code Programs]] / [[@2025__OSR__Cloud Infrastructure Management in the Age of AI Agents]] / [[@2008__OSDI__Automating Network Application Dependency Discovery - Experiences, Limitations, and New Solutions]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 2 Model Construction]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 4 System Modeling with Block Diagrams]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 3 Z-Transforms and Transfer Functions]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 5 First-Order Systems]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 6 Higher-Order Systems]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 7 State-Space Models]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 9 PID Controllers]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 10 State-Space Feedback Control]] / [[@2004__Wiley__Feedback Control of Computing Systems - Chapter 11 Advanced Topics]] / [[@2026__SIGCOMM__CubeTrace Microscopic Network Tracing for Heterogeneous Cloud Gateways]] / [[@2015__WWW__LINE - Large-scale Information Network Embedding]] - 所属研究者: [[Ang Chen]] / [[Yiming Qiu]] / [[Patrick Tser Jern Kon]] / [[Zhenning Yang]] / [[Jingjia Peng]] / [[Archit Bhatnagar]] / [[Tongyuan Miao]] / [[Yunming Xiao]] / [[Yibo Huang]] / [[Xu Chen]] / [[Z. Morley Mao]] / [[Peng Huang]] / [[Yuxuan Jiang]] / [[Dawn M. Tilbury]] / [[Qiaozhu Mei]] - 関連プロダクト: [[Zodiac]] / [[NSync]] / [[Lilac]] / [[TrainCheck]] - 関連研究室: [[OrderLab]] - 関連組織: [[Amazon Web Services]] / [[UC San Diego]] / [[University of California, Berkeley]] / [[Andreessen Horowitz]] / [[Microsoft Research]] / [[IBM T.J. Watson Research Center]] - 関連 MOC: [[Network - MOC]] / [[Software Engineering - MOC]] ## 出典 - [[@2026__SIGCOMM__CubeTrace Microscopic Network Tracing for Heterogeneous Cloud Gateways]](Ang Chenの所属(SIGCOMM 2026))