Precision spraying: from map to sprayer control using model-checking
نویسندگان
چکیده
منابع مشابه
Precision spraying: using fine tuning and electronics
In the spray application process the key factor is to know the location and volume of the target. With this knowledge it is possible to make precise adjustments to the quantity of product being applied in relation to the size of the target vegetation. The new technologies of precision spraying allow growers to apply pesticides only to the target canopy or fruit, to apply the correct quantity ac...
متن کاملControl-flow checking using watchdog assists and extended-precision checksums
troller), it has the advantage of maintaining sequential consistency, thus allowing parallel programs to work as expected. VII. SUMMARY AND CONCLUSIONS The delays due to error checking being performed in series with intermodule communication are one of the primary causes of performance degradation associated with implementing concurrent error detection and correction in VLSI systems. This perfo...
متن کاملImproving Design Patterns Finder Precision Using a Model Checking Approach
In this paper we propose an approach exploiting the model checking technique to automatically refine the results produced by a Design Patterns mining tool called Design Pattern Finder (DPF) to improve the precision of its results by verifying the detected DPs automatically. To assess the feasibility of the proposed approach along with its effectiveness, we have applied it to an open source Obje...
متن کاملOptimizing Control Strategy Using Statistical Model Checking
This paper proposes a new efficient approach to optimize energy consumption for energy aware buildings. Our approach relies on stochastic hybrid automata for representing energy aware systems. The model is parameterized by several cost values that need to be optimized in order to minimize energy consumption. Our approach exploits a stochastic semantic together with simulation in order to estima...
متن کاملFrom model checking to equilibrium checking
Equilibrium checking is concerned with establishing whether a given temporal logic formula φ is satisfied in some or all equilibrium computations of a multi-agent system – that is, whether the system will exhibit the behaviour φ under the assumption that agents within the system act rationally in pursuit of their preferences. After motivating and introducing the framework of equilibrium checkin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Agricultural Informatics
سال: 2017
ISSN: 2061-862X
DOI: 10.17700/jai.2017.8.3.392