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 ...

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...

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...

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 ...

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...