نتایج جستجو برای: hybrid methods

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

Journal: :Rel. Eng. & Sys. Safety 2005
Jang-Soo Lee Sung Deok Cha

When specifying requirements for software controlling hybrid systems and conducting safety analysis, engineers experience that requirements are often known only in qualitative terms and that existing fault tree analysis techniques provide little guidance on formulating and evaluating potential failure modes. In this paper, we propose Causal Requirements Safety Analysis (CRSA) as a technique to ...

2011
Alessio Ferrari Enrico Vicario

This dissertation is the result of a three years research experience at General Electric Transportation Systems (GETS), Intelligent Systems division of Florence. GETS is a well known railway signalling manufacturer that started practicing formal methods in 2002, with exploratory projects performed in collaboration with the Computer Engineering department (D.S.I. Dipartimento di Sistemi e Inform...

Journal: :NII Shonan Meet. Rep. 2015
Daisuke Ishii Kohei Suenaga Walid Taha

Cyber-­Physical Systems (CPSs) consist of computers that are coupled tightly to a physical environment through sensors and actuators. Both the hybrid systems and the dynamics research communities have produced formal tools that are very important for rigorous design of CPSs, namely reachability analysis and validated numerics, respectively. Unfortunately, CPS designers encounter some challenges...

Journal: :international journal of smart electrical engineering 0
shiva rahimipour amirkabir university of technology mahnaz mohaqeq amirkabir university of technology s.mehdi hashemi amirkabir university of technology

short term prediction of traffic flow is one of the most essential elements of all proactive traffic control systems. although various methodologies have been applied to forecast traffic parameters, several researchers have showed that compared with the individual methods, hybrid methods provide more accurate results . these results made the hybrid tools and approaches a more common method for ...

Journal: :Journal of Nonlinear Sciences and Applications 2018

Journal: :Journal of Computational and Applied Mathematics 2008

Journal: :IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews) 2002

Journal: :Human-Intelligent Systems Integration 2021

Abstract In recent history, reinforcement learning (RL) proved its capability by solving complex decision problems mastering several games. Increased computational power and the advances in approximation with neural networks (NN) paved path to RL’s successful applications. Even though RL can tackle more nowadays, it still relies on runtime. Quantum computing promises solve these issues encode i...

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

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