Extending model checkers for hybrid system verification: the case study ofSPIN

2013 ◽  
Vol 24 (6) ◽  
pp. 438-471 ◽  
Author(s):  
María-del-Mar Gallardo ◽  
Laura Panizo
Keyword(s):  
Hybrid System ◽  
System Verification

HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY

2006 ◽  
Vol 17 (04) ◽  
pp. 885-901 ◽  
Author(s):  
ANSGAR FEHNKER ◽  
BRUCE KROGH
Keyword(s):  
Model Checking ◽  
Hybrid System ◽  
Formal Model ◽  
Control Case ◽  
Automotive Control ◽  
Electronic Throttle ◽  
System Verification ◽  
Automated Process ◽  
Informal Description

Though model checking itself is a fully automated process, verifying correctness of a hybrid system design using model checking is not. This paper describes the necessary steps, and choices to be made, to go from an informal description of the problem to the final verification result for a formal model and requirement. It uses an automotive control system for illustration.

scholarly journals Hybrid Seven-bar Press Mechanism

2018 ◽  
Vol 12 (3) ◽  
pp. 181-187
Author(s):  
M. Erkan Kütük ◽  
L. Canan Dülger
Keyword(s):  
Genetic Algorithm ◽  
Objective Function ◽  
Design Optimization ◽  
Hybrid System ◽  
Degrees Of Freedom ◽  
Dimensional Synthesis ◽  
Design Variables ◽  
Optimization Study ◽  
Metal Stamping

An optimization study with kinetostatic analysis is performed on hybrid seven-bar press mechanism. This study is based on previous studies performed on planar hybrid seven-bar linkage. Dimensional synthesis is performed, and optimum link lengths for the mechanism are found. Optimization study is performed by using genetic algorithm (GA). Genetic Algorithm Toolbox is used with Optimization Toolbox in MATLAB®. The design variables and the constraints are used during design optimization. The objective function is determined and eight precision points are used. A seven-bar linkage system with two degrees of freedom is chosen as an example. Metal stamping operation with a dwell is taken as the case study. Having completed optimization, the kinetostatic analysis is performed. All forces on the links and the crank torques are calculated on the hybrid system with the optimized link lengths

scholarly journals Design Optimization of Explosion-Resistant System Consisting of Steel Slab and CFRP Frame

Materials ◽  
2021 ◽  
Vol 14 (10) ◽  
pp. 2589
Author(s):  
Jung J. Kim
Keyword(s):  
Hybrid System ◽  
Impact Load ◽  
Load Condition ◽  
High Strength ◽  
Dynamic Responses ◽  
Elastoplastic Behavior ◽  
Reinforced Polymer ◽  
Steel Slab ◽  
Strength Material

This study presents an explosion-resistant hybrid system containing a steel slab and a carbon fiber-reinforced polymer (CFRP) frame. CFRP, which is a high-strength material, acts as an impact reflection part. Steel slab, which is a high-ductility material, plays a role as an impact energy absorption part. Based on the elastoplastic behavior of steel, a numerical model is proposed to simulate the dynamic responses of the hybrid system under the air pressure from an explosion. Based on this, a case study is conducted to analyze and identify the optimal design of the proposed hybrid system, which is subjected to an impact load condition. The observations from the case study show the optimal thicknesses of 8.2 and 7 mm for a steel slab and a ϕ100 mm CFRP pipe for the hybrid system, respectively. In addition, the ability of the proposed hybrid system to resist an uncertain explosion is demonstrated in the case study based on the reliability methodology.

A comparison of sizing methods for a long-term renewable hybrid system. Case study: Galapagos Islands 2031

2021 ◽  
Author(s):  
A. Cano ◽  
Paul Arévalo ◽  
F. Jurado
Keyword(s):  
Hybrid System ◽  
Power Supply ◽  
Galapagos Islands ◽  
Galápagos Islands

This research compared different sizing methods to improve the current autonomous hybrid system in the Galapagos Islands in 2031, analyzing the loss of power supply probability (LPSP).

scholarly journals Design of a Stand-Alone Energy Hybrid System for a Makeshift Health Care Center: A Case Study

2021 ◽  
pp. 102346
Author(s):  
Tamal Chowdhury ◽  
Hemal Chowdhury ◽  
Samiul Hasan ◽  
Md Salman Rahman ◽  
Muhammad Mostafa Kamal Bhuiya ◽  
...  
Keyword(s):  
Health Care ◽  
Hybrid System ◽  
Care Center ◽  
Health Care Center

scholarly journals A case study of PV-wind-diesel-battery hybrid system

2017 ◽  
Vol 1 (4) ◽  
pp. 138-147 ◽  
Author(s):  
Adem Uğurlu ◽  
Cihan Gökçöl
Keyword(s):  
Hybrid System

scholarly journals Progress on Powertrain Verification Challenge with C2E2

10.29007/1kq2 ◽  
2018 ◽  
Author(s):  
Chuchu Fan ◽  
Parasara Sridhar Duggirala ◽  
Sayan Mitra ◽  
Mahesh Viswanathan
Keyword(s):  
Rate Of Convergence ◽  
Control Systems ◽  
Hybrid System ◽  
State Machines ◽  
Powertrain Control ◽  
Verification Tool ◽  
Discrepancy Rate ◽  
System Verification ◽  
Made In

In this paper, we present the progress we have made in verifying the benchmark powertrain control systems introduced in the last ARCH workshop. We implemented the algorithm for computing local discrepancy (rate of convergence or divergence of trajectories) reported in the hybrid system verification tool C2E2. We created Stateflow translations of the original models to aid the processing using C2E2 tool. We also had to encode the different driver behaviors in the form of state machines. With these customizations, we have been successful in verifying one of the easier (but still challenging) benchmarks from the powertrain suite. In this paper, we present some of the engineering challenges and describe the artifacts we created in the process.

scholarly journals A DIAGNOSTIC EXPERT SYSTEM TO OVERCOME CONSTRUCTION PROBLEMS IN RIGID HIGHWAY PAVEMENT

2013 ◽  
Vol 19 (6) ◽  
pp. 846-861 ◽  
Author(s):  
Ahmed Mancy Mosa ◽  
Mohd Raihan Taha ◽  
Amiruddin Ismail ◽  
Riza Atiq O. K. Rahmat
Keyword(s):  
Expert System ◽  
Expert Knowledge ◽  
Computer Software ◽  
Efficient Solutions ◽  
Construction Sites ◽  
Literature Reviews ◽  
System Verification ◽  
Cost Efficient ◽  
Expert Reasoning

Constructing highway pavements faces complex problems, which are affected by multiple factors, where solution is nearly impossible without expert assistance. Diagnosing such construction problems and suggesting most suitable cost efficient solutions requires significant engineering expertise, which might not be available in all construction sites due to inadequate resource and remote locations. Developing an expert system in this domain is a very effective way to help novice engineers to overcome these problems and to learn about them. Moreover, the system can be used as an archive to document engineering knowledge and to share expertise among the experts in this domain. This article describes the development and evaluation stages of such a system, including knowledge acquisition, knowledge representation, system building, and system verification and validation. The initial knowledge is acquired from literature reviews. More expert knowledge is elicited through interviews and questionnaires. This knowledge is documented, analyzed, represented, and converted to computer software using the Visual Basic programming language and the system is called ES-CCPRHP. The system has been verified and validated in three ways: by extensive testing, comparison between system performance and expert reasoning, and case study. It can therefore be employed with confidence by end users.

Sign in / Sign up

Export Citation Format

Share Document