On Verification and Parameter Design in Hybrid Automaton Using Invariant

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-11-01

著者

• Wang Lili

  Graduate School Of Engineering Mie University

• Zanma Tadanao

  Graduate School Of Engineering Mie University

• Ishida Muneaki

  Graduate School Of Engineering Mie University

関連論文

• Studies of Ephedra Plants in Asia. Part 4. : Morphological differences between Ephedra sinica Stapf and E. intermedia Schrenk et C.A.Meyer, and the botanical origin of Ma-huang produced in Qinghai Province
• Identification of Human Operations Using Data Clustering and its Applications to Automation
• Off-line Model Predictive Control of DCDC Converter and its Experimental Verification
• On Verification and Parameter Design in Hybrid Automaton Using Invariant

スポンサーリンク