Results 21 to 30 of about 3,036 (230)
Research on control logic of anti-lock braking system of pure electric smart car
Brake-by-wire technology is one of the key technologies of pure electric smart cars. In order to improve the safety and stability of automobile braking, it is necessary to study the control logic of the anti-lock braking system of a pure electric smart ...
Liu Bin +3 more
doaj +1 more source
Integrating model checking with HiP-HOPS in model-based safety analysis [PDF]
The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by ...
Papadopoulos, Yiannis +1 more
core +1 more source
The high redundant brake-by-wire system reveals vehicular safety handling ability and rarely emerges in the automotive area at the present time. This paper presents a novel brake-by-wire system, DREHB (Double Redundant Electro-Hydraulic Brake), with ...
Chao Li +6 more
doaj +1 more source
Exploring the impact of different cost heuristics in the allocation of safety integrity levels [PDF]
Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements.
Araújo, Rui Esteves +6 more
core +2 more sources
A Novel Electronic Wedge Brake Based on Active Disturbance Rejection Control
The electronic wedge brake system (EWB) used in the automotive industry is a new structure designed for brake-by-wire systems. This paper proposes a novel EWB system which is mainly composed of a screw-driven wedged inner brake pad, a fixed outer brake ...
Feng Xu, Chongdu Cho
doaj +1 more source
Probabilistic Monte-Carlo method for modelling and prediction of electronics component life [PDF]
Power electronics are widely used in electric vehicles, railway locomotive and new generation aircrafts. Reliability of these components directly affect the reliability and performance of these vehicular platforms.
Alghassi, Ali +3 more
core +1 more source
A Model for Industrial Real-Time Systems [PDF]
Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic.
G. Behrmann +10 more
core +1 more source
Formal requirements modeling with executable use cases and Coloured Petri Nets [PDF]
This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical
Fernandes, João M. +2 more
core +1 more source
Recent developments have demonstrated that the brake pedal simulator (BPS) is becoming an indispensable apparatus for the break-by-wire systems in future electric vehicles.
Daoming Wang +4 more
doaj +1 more source
A Hierarchical Control Scheme for Adaptive Cruise Control System Based on Model Predictive Control
An adaptive cruise control (ACC) system can improve safety and comfort during driving by taking over longitudinal control of the vehicle. It requires the coordination between the upper-layer controller and the lower-layer actuators.
Hongyuan Mu +3 more
doaj +1 more source

