Building Inspection System Software Based on Expert Knowledge

2022 ◽  
Vol 36 (2) ◽  
Author(s):  
Clara Pereira ◽  
João N. Silva ◽  
Ana Silva ◽  
Jorge de Brito ◽  
José D. Silvestre
Keyword(s):  
Expert Knowledge ◽  
Inspection System ◽  
System Software

Using Expert Knowledge to Identify Visual Cues for Landmine Detection

2008 ◽  
Author(s):  
James J. Staszewski ◽  
Alan D. Davison ◽  
David J. Dippel ◽  
Julia A. Tischuk
Keyword(s):  
Visual Cues ◽  
Expert Knowledge ◽  
Landmine Detection

Influential individuals: Approach to modeling

2018 ◽  
pp. 114-131
Author(s):  
O. Yu. Bondarenko
Keyword(s):  
Social Interactions ◽  
Social Status ◽  
Experimental Approach ◽  
Expert Knowledge ◽  
Formal Models ◽  
Leader Influence ◽  
Learning Game ◽  
Game Theoretic ◽  
Asymmetric Interactions ◽  
Influential Individuals

his article explores theoretical and experimental approach to modeling social interactions. Communication and exchange of information with other people affect individual’s behavior in numerous areas. Generally, such influence is exerted by leaders, outstanding individuals who have a higher social status or expert knowledge. Social interactions are analyzed in the models of social learning, game theoretic models, conformity models, etc. However, there is a lack of formal models of asymmetric interactions. Such models could help elicit certain qualities characterizing higher social status and perception of status by other individuals, find the presence of leader influence and analyze its mechanism.

Implementation of Fuzzy Logic Control on Battery Charging System

2019 ◽  
Vol 3 (1) ◽  
pp. 118-126 ◽  
Author(s):  
Prihangkasa Yudhiyantoro
Keyword(s):  
Complex System ◽  
Fuzzy Logic ◽  
Fuzzy Logic Control ◽  
Expert Knowledge ◽  
Experimental Result ◽  
Rule Base ◽  
Battery Charging ◽  
Charging System ◽  
Logic Control ◽  
Charging Control

This paper presents the implementation fuzzy logic control on the battery charging system. To control the charging process is a complex system due to the exponential relationship between the charging voltage, charging current and the charging time. The effective of charging process controller is needed to maintain the charging process. Because if the charging process cannot under control, it can reduce the cycle life of the battery and it can damage the battery as well. In order to get charging control effectively, the Fuzzy Logic Control (FLC) for a Valve Regulated Lead-Acid Battery (VRLA) Charger is being embedded in the charging system unit. One of the advantages of using FLC beside the PID controller is the fact that, we don’t need a mathematical model and several parameters of coefficient charge and discharge to software implementation in this complex system. The research is started by the hardware development where the charging method and the combination of the battery charging system itself to prepare, then the study of the fuzzy logic controller in the relation of the charging control, and the determination of the parameter for the charging unit will be carefully investigated. Through the experimental result and from the expert knowledge, that is very helpful for tuning of the  embership function and the rule base of the fuzzy controller.

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

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.

Sign in / Sign up

Export Citation Format

Share Document