This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control. The safety specifications for these driver assistance modules are expressed in terms of set invariance. Control barrier functions are used to design a family of control solutions that guarantee the forward invariance of a set, which implies satisfaction ...

This paper introduces a unified model, which can accommodate both a continuoustime Itô process used to model high-frequency stock prices and a GARCH process employed to model low-frequency stock prices, by embedding a discrete-time GARCH volatility in its continuous-time instantaneous volatility. This model is called a unified GARCH-Itô model. We adopt realized volatility estimators based on hi...

This study addressed barriers associated with the use of Safety Analyst, a state-of-the-art tool that has been developed to assist during the entire Traffic Safety Management process but that is not widely used due to a number of challenges as described in this paper. As part of this study, a comprehensive database system and tools to provide data to multiple traffic safety applications, with a...

during the last two decades, financial institutions worldwide have witnessed a lot of stress in managing their margins in wake of the new risks, challenges and increase in the competition posed to them by the factors of liberalization and deregulation. the key to create value and achieve competitive edge lies in the better operational efficiency and productivity of these institutions under such...

Abstract Background Urban safety performance functions are used to predict crash frequencies, mostly based on Negative Binomial (NB) count models. They could be differentiated for considering homogeneous subsets of segments/intersections and different predictors. Materials methods The main research questions concerned: a) finding the best possible segments intersections modelling, by discussing...