Formal Verification of Causal Order-Based Load Distribution Mechanism Using Event-B

Author(s):  
Pooja Yadav ◽  
Raghuraj Suryavanshi ◽  
Arun Kumar Singh ◽  
Divakar Yadav
2013 ◽  
Vol 41 (4) ◽  
pp. 232-246
Author(s):  
Timo Völkl ◽  
Robert Lukesch ◽  
Martin Mühlmeier ◽  
Michael Graf ◽  
Hermann Winner

ABSTRACT The potential of a race tire strongly depends on its thermal condition, the load distribution in its contact patch, and the variation of wheel load. The approach described in this paper uses a modular structure consisting of elementary blocks for thermodynamics, transient excitation, and load distribution in the contact patch. The model provides conclusive tire characteristics by adopting the fundamental parameters of a simple mathematical force description. This then allows an isolated parameterization and examination of each block in order to subsequently analyze particular influences on the full model. For the characterization of the load distribution in the contact patch depending on inflation pressure, camber, and the present force state, a mathematical description of measured pressure distribution is used. This affects the tire's grip as well as the heat input to its surface and its casing. In order to determine the thermal condition, one-dimensional partial differential equations at discrete rings over the tire width solve the balance of energy. The resulting surface and rubber temperatures are used to determine the friction coefficient and stiffness of the rubber. The tire's transient behavior is modeled by a state selective filtering, which distinguishes between the dynamics of wheel load and slip. Simulation results for the range of occurring states at dry conditions show a sufficient correlation between the tire model's output and measured tire forces while requiring only a simplified and descriptive set of parameters.


Author(s):  
Adyson Magalhaes Maia ◽  
Yacine Ghamri-Doudane ◽  
Dario Vieira ◽  
Miguel Franklin de Castro

Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


Author(s):  
V. E. Perekutnev ◽  
V. V. Zotov

Operation of inhaul rubber steel cables in vertical mine hoisting is discussed. The research in the field of mine hoisting is reviewed, and the further R&D directions are identified. Some studies concern life extension of hoisting ropes. One of the promising trends seems to be application of belt pullers as inhaul cables, which can essentially enhance mine hoist efficiency. In the meanwhile, capabilities of rubber steel cables suffer from deficient attention. The performance capabilities of rubber steel cables of top manufacturers (Promkanat and SAG) are compared, and application ranges in vertical mine hoisting are determined for such cables. It is found that the Polish manufacturer’s rubber steel cables offer a wider range of application. The analysis shows that rubber steel cables can be used as inhaul cables of vertical mine hoisters. Rubber steel cables possess suitable characteristics and are capable to elevate considerable loads to various hoisting heights. In particular, the existing rubber steel cables ensure carrying capacity of hoists up to 20-25 t at the hoisting heights to 400-500 m and sometimes can elevate skips with tonnage of 10 t to a height up to 1000 m and more. The further feasibility study of operation of inhaul steel rubber cables in hoisting units should address motion stability of a puller on a driving drum, load distribution in ropes of base of rubber steel cables, validation of hoister design, adjustability of rubber steel cable length during its operation, etc.


Sign in / Sign up

Export Citation Format

Share Document