نتایج جستجو برای: hierarchical system

تعداد نتایج: 2296331  

1999
Gerd Behrmann Kim G. Larsen Henrik R. Andersen Henrik Hulgaard

We investigate techniques for verifying hierarchical systems, i.e.,-nite state systems with a nesting capability. The straightforward way of analyzing a hierarchical system is to rst atten it into an equivalent non-hierarchical system and then apply existing nite state system ver-iication techniques. Though conceptually simple, attening is severely punished by the hierarchical depth of a system...

Aircraft engines constitute a comp‌lex system, requiring adequate mon-itoring to ensure flight safety and timely maintenance. The best way to achieve this, is modeling the engine. Therefore, in this paper, a suitable mathematical model from engine controller design point of view, for a specific aero turbine engine is proposed by the aid of MATLAB/Simulink software. The model is capable of reduc...

Journal: :DEStech Transactions on Computer Science and Engineering 2018

Journal: :International Journal for Research in Applied Science and Engineering Technology 2020

Journal: :International Journal of Fuzzy Logic and Intelligent Systems 2008

Journal: :International Journal of Approximate Reasoning 2003

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید