NSF CAREER 賞がスポーツベット ボーナス者のサイバー物理システムスポーツベット ボーナスを支援
月曜日, 1月. 25, 2016
スポーツベット ボーナス — 国立科学財団が発行した スポーツベット ボーナス賞 より良い交通機関の開発に貢献するスポーツベット ボーナスのコンピューティングおよび情報科学の研究者に, ヘルスケアおよびエネルギー システム.
パヴィトラ・スポーツベット ボーナス, コンピューティングおよび情報科学の助教授, 5年間で446ドルを受け取りました,000 CAREER 賞を受賞したプロジェクト「スポーツベット ボーナスの堅牢な検証」."
「サイバーフィジカル システムは現代社会の重要な部分であり、輸送分野で革新的な用途を持っています, ヘルスケアおよびエネルギー部門,「スポーツベット ボーナス言いました. 「この研究は、堅牢な検証の新しいパラダイムを通じて、サイバー物理システムの分析のための既存の方法論における重要なギャップを埋めることになります, 信頼性の高いサイバー物理システムの開発が可能になります, 特に自動車および航空宇宙システム."
国立科学財団の教員早期キャリア開発プログラムは、機関の使命に照らしてスポーツベット ボーナスと教育を効果的に統合する早期キャリアの教員を支援する財団の最も栄誉ある賞の 1 つ.
「私たちの生活の中でますます普及しつつあるシステムに関する重要な研究に対して、パヴィトラ氏が CAREER 賞を受賞したことに感激しています,」ダレン・ドーソンは言いました, 工学部学部長. 「このレベルでの権威ある教員の評価は、2025 年までにトップ 50 の公立研究大学になるというスポーツベット ボーナスの計画の重要な部分です."
彼女のキャリア プロジェクト用, スポーツベット ボーナスサイバーフィジカル システムを確実に開発するという課題に取り組みます, 物理世界と対話するソフトウェア ネットワーク. スポーツベット ボーナス数種類のサイバー物理システムに焦点を当てます, 航空宇宙を含む, 自動車およびロボット システム.
スポーツベット ボーナスサイバーフィジカル システムの設計をさらに深く掘り下げ、高レベルの仕様を確保するために総合的なアプローチを採用します. 現在の分析のほとんどは、サイバーフィジカル システム ソフトウェアにおける低レベルのエラーの検出に焦点を当てています. スポーツベット ボーナスさらに一歩進んで、高レベルの機能特性に対処する堅牢な検証パラダイムを開発したいと考えています, 航空管制における衝突回避など.
「新しい財団を調査したい, 堅牢な分析のための抽象化と検証アルゴリズム, 堅牢性の新たな量的および位相的側面を考慮して,「スポーツベット ボーナス言いました. ''制御理論のアイデアを活用して、形式的手法とハイブリッド制御システムの分野の知識を深めたい, 力学システム理論, 最適化理論と充足可能性モジュロ理論."
プラバーカールと彼女の研究チームもプロトタイプツールを開発する予定. 彼女は学部生と大学院生にハイブリッド制御システム設計について教えるための新しい分野横断的なコースを作成する予定. 調査と支援活動を通じて, スポーツベット ボーナス学部生を採用し、指導します, 特に過小評価されているグループの人々. 彼女は、STEM 関連のキャリアに興味のある高校生向けの物理システム プログラムやアクティビティも企画します.
「この CAREER 賞は、私の研究を活性化する上で非常に重要です,「スポーツベット ボーナス言いました. 「特に, 一部の初期学生をサポートすることで、コンピューティングおよび情報科学部門における強力なハイブリッド システム グループの構築が促進されます."
プラバーカールの主なスポーツベット ボーナス対象には、サイバー物理システムの正式な分析が含まれます, ハイブリッド制御システムの検証と合成のための理論的および実践的な方法の両方に重点を置く. 彼女は、ハイブリッド システムと形式的検証の分野のいくつかの会議のプログラム委員会の委員を務め、いくつかのワークショップやセミナーの議長を務めました. 彼女は欧州連合からキュリー夫人キャリア統合助成金も受け取っています.