Log in

Relevant bibliographies by topics / Zonotopic analysis / Journal articles

To see the other types of publications on this topic, follow the link: Zonotopic analysis.

Journal articles on the topic 'Zonotopic analysis'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 43 journal articles for your research on the topic 'Zonotopic analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Trapiello, Carlos, Vicenç Puig, and Damiano Rotondo. "A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer." Systems & Control Letters 157 (November 2021): 105056. http://dx.doi.org/10.1016/j.sysconle.2021.105056.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Harno, Hendra G., and Yoonsoo Kim. "Flight envelope estimation for helicopters under icing conditions via the zonotopic reachability analysis." Aerospace Science and Technology 102 (July 2020): 105859. http://dx.doi.org/10.1016/j.ast.2020.105859.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Sehli, Naima, Kaouther Ibn Taarit, Xubin Ping, Zhenhua Wang, Tarek Raïssi, and Moufida Ksouri. "Fault Detection and Isolation for Linear discrete-time Delayed Systems based on L∞ Observer and Zonotopic Analysis." IFAC-PapersOnLine 55, no. 25 (2022): 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.09.342.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Zhou, Meng, Zhengcai Cao, and Ye Wang. "Robust fault detection and isolation based on finite-frequency H- H unknown input observers and zonotopic threshold analysis." IEEE/CAA Journal of Automatica Sinica 6, no. 3 (2019): 750–59. http://dx.doi.org/10.1109/jas.2019.1911492.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Laurel, Jacob, Siyuan Brant Qian, Gagandeep Singh, and Sasa Misailovic. "Synthesizing Precise Static Analyzers for Automatic Differentiation." Proceedings of the ACM on Programming Languages 7, OOPSLA2 (2023): 1964–92. http://dx.doi.org/10.1145/3622867.

Full text

Abstract:

We present Pasado, a technique for synthesizing precise static analyzers for Automatic Differentiation. Our technique allows one to automatically construct a static analyzer specialized for the Chain Rule, Product Rule, and Quotient Rule computations for Automatic Differentiation in a way that abstracts all of the nonlinear operations of each respective rule simultaneously. By directly synthesizing an abstract transformer for the composite expressions of these 3 most common rules of AD, we are able to obtain significant precision improvement compared to prior works which compose standard abstr

APA, Harvard, Vancouver, ISO, and other styles

6

Henk, Martin, Eva Linke, and Jörg M. Wills. "Minimal zonotopes containing the crosspolytope." Linear Algebra and its Applications 432, no. 11 (2010): 2942–52. http://dx.doi.org/10.1016/j.laa.2009.12.041.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

TONDU, BERTRAND. "A ZONOTOPE-BASED APPROACH FOR MANIPULABILITY STUDY OF REDUNDANT ROBOT LIMBS." International Journal of Humanoid Robotics 10, no. 03 (2013): 1350023. http://dx.doi.org/10.1142/s0219843613500230.

Full text

Abstract:

Kinematic efficiency of robot limbs can be analyzed by means of the manipulability concept defined by Yoshikawa. However, when it is applied to redundant serial chains, that are the most common case in humanoid robotics, Yoshikawa's manipulability measure is not able to take into account the joint velocity range of each robot joint. In order to overcome this difficulty we propose to substitute in the place of the manipulability ellipsoid a manipulability zonotope resulting from the robot Jacobian transform of the joint velocities parallelotope. The proposed manipulability zonotope notion is si

APA, Harvard, Vancouver, ISO, and other styles

8

Xu, Guixiang, Ziyun Wang, and Zhicheng Ji. "A novel zonotopes set membership estimation-based fault diagnosis algorithm." Modern Physics Letters B 32, no. 34n36 (2018): 1840092. http://dx.doi.org/10.1142/s0217984918400924.

Full text

Abstract:

For solving the advanced manufacturing fault diagnosis issue, a novel zonotopes estimation-based fault diagnosis algorithm is proposed in this paper. By using the intersection of the convex polytope and the tight strip, the fault diagnosis problem is changed into the analysis of the set membership outer bound computation. If the feasible set is detected empty, the set membership filters are designed. The minimal volume is also calculated and the selected zonotopes can be viewed as the approximate boundary. The simulation results show the effectiveness and practicability of the presented fault

APA, Harvard, Vancouver, ISO, and other styles

9

Alonso-Gutiérrez, David, and Joscha Prochno. "On the geometry of random convex sets between polytopes and zonotopes." Journal of Mathematical Analysis and Applications 450, no. 1 (2017): 670–90. http://dx.doi.org/10.1016/j.jmaa.2017.01.042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Yang, Hao, Huaicheng Yan, Zhichen Li, Meng Wang, and Fuwen Yang. "Set-membership estimation for nonlinear systems based on zonotope analysis." Automatica 177 (July 2025): 112278. https://doi.org/10.1016/j.automatica.2025.112278.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Huang, Yushen, Ertai Luo, Stanley Bak, and Yifan Sun. "Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes." Nonlinear Analysis: Hybrid Systems 56 (May 2025): 101571. https://doi.org/10.1016/j.nahs.2024.101571.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Cococcioni, Marco, Marco Grazzi, Le Li, and Federico Ponchio. "A toolbox for measuring heterogeneity and efficiency using zonotopes." Stata Journal: Promoting communications on statistics and Stata 22, no. 1 (2022): 25–59. http://dx.doi.org/10.1177/1536867x221083854.

Full text

Abstract:

In this work, we describe the new command zonotope, which, by resorting to a geometry-based approach, provides a measure of productivity that fully accounts for the existing heterogeneity across firms within the same industry. The method we propose also enables assessment of the extent of multidimensional heterogeneity with applications to fields beyond that of production analysis. Finally, we detail the functioning of the software to perform the related empirical analysis, and we discuss the main computational issues encountered in its development.

APA, Harvard, Vancouver, ISO, and other styles

13

Alanwar, Amr, Frank J. Jiang, and Karl H. Johansson. "Polynomial logical zonotope: A set representation for reachability analysis of logical systems." Automatica 171 (January 2025): 111896. http://dx.doi.org/10.1016/j.automatica.2024.111896.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Bird, Trevor J., Herschel C. Pangborn, Neera Jain, and Justin P. Koeln. "Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems." Automatica 154 (August 2023): 111107. http://dx.doi.org/10.1016/j.automatica.2023.111107.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Dbouk, Hani, and Steffen Schön. "Reliable Bounding Zones and Inconsistency Measures for GPS Positioning using Geometrical Constraints." Acta Cybernetica 24, no. 3 (2020): 573–91. http://dx.doi.org/10.14232/actacyb.24.3.2020.16.

Full text

Abstract:

Reliable confidence domains for Global Navigation Satellite System (GNSS) positioning and inconsistency measures of the observations are of great importance for any navigation system, especially for safety critical applications. In this work, deterministic error bounds are introduced in form of intervals to assess remaining observation errors. The intervals can be computed based on expert knowledge or based on a sensitivity analysis of the measurement correction process. Using convex optimization, bounding zones are computed for GPS positioning using the geometrical constraints imposed by the

APA, Harvard, Vancouver, ISO, and other styles

16

Rauh, Andreas, and Luc Jaulin. "Novel Techniques for a Verified Simulation of Fractional-Order Differential Equations." Fractal and Fractional 5, no. 1 (2021): 17. http://dx.doi.org/10.3390/fractalfract5010017.

Full text

Abstract:

Verified simulation techniques have been investigated intensively by researchers who are dealing with ordinary and partial differential equations. Tasks that have been considered in this context are the solution to initial value problems and boundary value problems, parameter identification, as well as the solution of optimal control problems in cases in which bounded uncertainty in parameters and initial conditions are present. In contrast to system models with integer-order derivatives, fractional-order models have not yet gained the same attention if verified solution techniques are desired

APA, Harvard, Vancouver, ISO, and other styles

17

Xu, Chi, Zhenhua Wang, Vicenç Puig, and Yi Shen. "Simultaneous interval estimation of actuator fault and state for a class of nonlinear systems by zonotope analysis." Journal of Process Control 142 (October 2024): 103303. http://dx.doi.org/10.1016/j.jprocont.2024.103303.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Harno, Hendra G., Yoonsoo Kim, Jun Moon, and Hyochoong Bang. "Zonotopic Kalman filtering for stability augmentation and flight envelope estimation." Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering, April 9, 2021, 095441002199538. http://dx.doi.org/10.1177/0954410021995389.

Full text

Abstract:

This article introduces a novel methodology based on zonotopic Kalman filtering for stabilizing attitude dynamics and estimating flight envelopes of an unmanned helicopter via an observer-based (output) feedback control law and a reachability analysis, respectively. The helicopter dynamics is represented by a linear state-space model, based on which the feedback control law is designed. Since not all state variables are measurable, state information is acquired by applying a zonotopic Kalman filter to yield sets of state-variable estimates of the helicopter in terms of zonotopes. Not only are

APA, Harvard, Vancouver, ISO, and other styles

19

Wan, Jian, and Luc Jaulin. "Reducing the wrapping effect of set computation via Delaunay triangulation for guaranteed state estimation of nonlinear discrete-time systems." Computing, March 15, 2024. http://dx.doi.org/10.1007/s00607-024-01275-0.

Full text

Abstract:

AbstractSet computation methods have been widely used to compute reachable sets, design invariant sets and estimate system state for dynamic systems. The wrapping effect of such set computation methods plays an essential role in the accuracy of their solutions. This paper studies the wrapping effect of existing interval, zonotopic and polytopic set computation methods and proposes novel approaches to reduce the wrapping effect for these set computation methods based on the task of computing the dynamic evolution of a nonlinear uncertain discrete-time system with a set as the initial state. The

APA, Harvard, Vancouver, ISO, and other styles

20

Lamouchi, Rihab, Nacim Meslem, and Tarek Raïssi. "Tight interval state estimate for discrete‐time descriptor linear systems." International Journal of Robust and Nonlinear Control, February 16, 2024. http://dx.doi.org/10.1002/rnc.7265.

Full text

Abstract:

SummaryIn this work, two state estimation methods are proposed for a class of discrete‐time descriptor linear systems subject to bounded uncertainties. First, we propose set‐valued estimator algorithm using symmetric boxes to compute rigorous bounds of the system states. The observer gains are calculated using norm to attenuate the effects of the uncertainties and to improve the accuracy of the proposed estimator. Second, to obtain tighter state enclosures, zonotopic set computation are developed instead of interval analysis to design a new set‐valued state estimation algorithm. The performanc

APA, Harvard, Vancouver, ISO, and other styles

21

Meslem, Nacim. "Tight set-valued state estimation by combining reachability analysis and set-filtering approaches." Transactions of the Institute of Measurement and Control, September 8, 2023. http://dx.doi.org/10.1177/01423312231190193.

Full text

Abstract:

In this work, a new approach to design set-valued state estimator for linear discrete-time systems subject to additive and bounded process and measurement uncertainties is proposed. First, the system state equation is rewritten to obtain a stable numerical scheme on which an explicit reachability method is developed, based on zonotopic set computation and a re-initialization procedure. Then, to enhance the accuracy of the computed reachable set, a set-filtering technique is designed based on the system output equation and its intrinsic invariant relationships. The implementation of this filter

APA, Harvard, Vancouver, ISO, and other styles

22

Wang, Jing, Zhenlin Wang, and Meng Zhou. "Adaptive Event-Triggered Finite-Frequency Fault Detection With Zonotopic Threshold Analysis for LPV Systems." IEEE Transactions on Cybernetics, 2021, 1–11. http://dx.doi.org/10.1109/tcyb.2021.3054633.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

He, Yikang, Wenhan Zhang, Zhenhua Wang, and Wen He. "Indirect measurement of solar array rotation angle for satellite emergency rescue." Transactions of the Institute of Measurement and Control, November 23, 2022, 014233122211249. http://dx.doi.org/10.1177/01423312221124989.

Full text

Abstract:

In the emergency rescue mission, the primary task is to achieve the satellite’s orientation to the sun and ensure the energy supply. For this purpose, it is necessary to determine the rotation angle of solar array relative to satellite body. However, the rotation angle cannot be measured directly by the angle sensor in case of satellite emergency. To handle this issue, an indirect measurement method of solar array rotation angle is proposed in this paper. First, the indirect point measurement value of solar array rotation angle is given via the relationship between satellite body coordinate fr

APA, Harvard, Vancouver, ISO, and other styles

24

Zhang, Lulin, Zhuoxue Li, Yi Li, and Jiuxiang Dong. "State and Fault Interval Estimation for Discrete-time Takagi-Sugeno Fuzzy Systems via Intermediate Observer Base on Zonotopic Analysis." IEEE Transactions on Fuzzy Systems, 2024, 1–6. http://dx.doi.org/10.1109/tfuzz.2024.3459642.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Chen, Ye, Chunyan Zhang, and Yinya Li. "An event‐triggered zonotopic Gaussian state estimator for discrete‐time stochastic multiplicative systems with zonotopic set‐membership and stochastic uncertainties." International Journal of Robust and Nonlinear Control, April 18, 2024. http://dx.doi.org/10.1002/rnc.7388.

Full text

Abstract:

SummaryThis article addresses the challenge of estimating the state of a discrete‐time stochastic multiplicative system with zonotopic set‐membership and stochastic uncertainties. The stochastic system model incorporates additive and multiplicative Gaussian and zonotopic set‐membership uncertainties, posing challenges in accurately managing these sources of uncertainty. In practical scenarios with limited communication resources, it is crucial to reduce communication overhead, save resources, and prevent unnecessary information transmission. To achieve these objectives, this article proposes a

APA, Harvard, Vancouver, ISO, and other styles

26

Liu, Mengmeng, Jinyong Yu, and Ke Zhao. "Dynamic Event-Triggered Asynchronous Fault Detection via Zonotopic Threshold Analysis for Fuzzy Hidden Markov Jump Systems Subject to Generally Hybrid Probabilities." IEEE Transactions on Fuzzy Systems, 2024, 1–15. http://dx.doi.org/10.1109/tfuzz.2024.3441312.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Li, Yi, and Jiuxiang Dong. "Fault Detection Unknown Input Observer for Local Nonlinear Fuzzy Autonomous Ground Vehicles System Based on a Joint Peak-to-Peak Analysis and Zonotopic Analysis Threshold." IEEE Transactions on Vehicular Technology, 2025, 1–11. https://doi.org/10.1109/tvt.2025.3526169.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Li, Yi, and Jiuxiang Dong. "Fault Detection for Discrete-Time Interval Type-2 Takagi--Sugeno Fuzzy Systems using $H_{-}/L_{\infty }$ Unknown Input Observer and Zonotopic Analysis." IEEE Transactions on Fuzzy Systems, 2023, 1–12. http://dx.doi.org/10.1109/tfuzz.2023.3305456.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Li, Yi, and Jiuxiang Dong. "Fault Detection for Discrete-Time Takagi$\textendash$Sugeno Fuzzy Systems With Unmeasurable Premise Variable With L₂-L_∞/H_∞ Mixed Observer and Zonotopic Analysis." IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2025, 1–10. https://doi.org/10.1109/tsmc.2025.3548095.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Bouchard, Samuel, Clément Gosselin, and Brian Moore. "On the Ability of a Cable-Driven Robot to Generate a Prescribed Set of Wrenches." Journal of Mechanisms and Robotics 2, no. 1 (2009). http://dx.doi.org/10.1115/1.4000558.

Full text

Abstract:

This paper presents a new geometry-based method to determine if a cable-driven robot operating in a d-degree-of-freedom workspace (2≤d≤6) with n≥d cables can generate a given set of wrenches in a given pose, considering acceptable minimum and maximum tensions in the cables. To this end, the fundamental nature of the available wrench set is studied. The latter concept, defined here, is closely related to similar sets introduced by Ebert-Uphoff and co-workers (2004, “Force-Feasible Workspace Analysis for Underconstrained, Point-Mass Cable Robots,” IEEE Trans. Rob. Autom., 5, pp. 4956–4962; 2007,

APA, Harvard, Vancouver, ISO, and other styles

31

Hafez, Ahmad, Frank J. Jiang, Karl H. Johansson, and Amr Alanwar. "Reachability Analysis Using Constrained Polynomial Logical Zonotopes." IEEE Control Systems Letters, 2024, 1. http://dx.doi.org/10.1109/lcsys.2024.3414972.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Siefert, Jacob A., Trevor J. Bird, Andrew F. Thompson, et al. "Reachability Analysis Using Hybrid Zonotopes and Functional Decomposition." IEEE Transactions on Automatic Control, 2025, 1–16. https://doi.org/10.1109/tac.2025.3528352.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Andreoli, Francesco, and Claudio Zoli. "Robust dissimilarity comparisons with categorical outcomes." Social Choice and Welfare, August 16, 2022. http://dx.doi.org/10.1007/s00355-022-01419-1.

Full text

Abstract:

AbstractThe analysis of many phenomena requires partitioning societies into groups and studying the extent at which these groups are distributed with different intensities across relevant non-ordered categorical outcomes. When the groups are similarly distributed, their members have equal chances to achieve any of the attainable outcomes. Otherwise, a form of dissimilarity between groups distributions prevails. We characterize axiomatically the dissimilarity partial order of multi-group distributions defined over categorical outcomes. The main result provides an equivalent representation of th

APA, Harvard, Vancouver, ISO, and other styles

34

Kochdumper, Niklas, and Matthias Althoff. "Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis." IEEE Transactions on Automatic Control, 2020, 1. http://dx.doi.org/10.1109/tac.2020.3024348.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Zhang, Yuhao, Hang Zhang, and Xiangru Xu. "Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes." IEEE Control Systems Letters, 2023, 1. http://dx.doi.org/10.1109/lcsys.2023.3289572.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Kousik, Shreyas, Adam Dai, and Grace X. Gao. "Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection." IEEE Transactions on Automatic Control, 2022, 1–13. http://dx.doi.org/10.1109/tac.2022.3191750.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Wang, Zhenhua, Xinyang Liu, Tarek Raïssi, and Yi Shen. "A Three‐Step Interval Estimation Method for Discrete‐Time Linear Switched Systems." International Journal of Robust and Nonlinear Control, March 30, 2025. https://doi.org/10.1002/rnc.7949.

Full text

Abstract:

ABSTRACTThis article proposes a three‐step interval estimation method in the framework of optimization for discrete‐time switched systems. The proposed method is realized based on the observers design via reachability analysis and measurement update. To obtain interval estimation, a peak‐to‐peak index is used to improve the robustness caused by disturbances and noise. The calculation of zonotopes and boxes is used for reachability analysis. A new iterative algorithm is proposed to reduce computational complexity. For improving estimation accuracy, a method of 1‐norm optimization is proposed, w

APA, Harvard, Vancouver, ISO, and other styles

38

Kochdumper, Niklas, Hanna Krasowski, Xiao Wang, Stanley Bak, and Matthias Althoff. "Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes." IEEE Open Journal of Control Systems, 2023, 1–14. http://dx.doi.org/10.1109/ojcsys.2023.3256305.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Amr, Alanwar, Stürz Yvonne, and Henrik Johansson Karl. "Robust Data-Driven Predictive Control using Reachability Analysis." Elsevier, European Journal of Control 68 (March 1, 2023). https://doi.org/10.1016/j.ejcon.2022.100666.

Full text

Abstract:

We present a robust data-driven control scheme for an unknown linear system model with bounded process and measurement noise. Instead of depending on a system model in traditional predictive control, a controller utilizing data-driven reachable regions is proposed. The data-driven reachable regions are based on a matrix zonotope recursion and are computed based on only noisy input-output data of a trajectory of the system. We assume that measurement and process noise are contained in bounded sets. While we assume knowledge of these bounds, no knowledge about the statistical propertie

APA, Harvard, Vancouver, ISO, and other styles

40

Zhang, Tu, Guobao Zhang, and Yongming Huang. "An iterative interval estimation approach to nonlinear discrete-time systems." Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, May 31, 2024. http://dx.doi.org/10.1177/09596518241249876.

Full text

Abstract:

This paper is devoted to the iterative interval estimation for nonlinear discrete-time systems. To reconstruct the system state, a sequence of iterative observers is established based on the iterative disturbance estimation and measured output. By means of the Lipschitz condition and [Formula: see text] technique, sufficient conditions are built by the Lyapunov function method to make observation errors convergent. Resorting to the zonotope-based reachability analysis, the reachable set of nonlinear terms and observation errors are analyzed such that the state interval can be supplied. The pre

APA, Harvard, Vancouver, ISO, and other styles

41

Zhu, Fanglai, Yuyan Tang, and Zhenhua Wang. "Interval-Observer-based Fault Detection and Isolation Design for T-S Fuzzy System Based on Zonotope Analysis." IEEE Transactions on Fuzzy Systems, 2021, 1. http://dx.doi.org/10.1109/tfuzz.2021.3050854.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Abdelaziz, S., L. Esteveny, L. Barbé, P. Renaud, B. Bayle, and M. de Mathelin. "Design of a Magnetic Resonance Imaging-Compatible Cable-Driven Manipulator With New Instrumentation and Synthesis Methods." Journal of Mechanical Design 136, no. 9 (2014). http://dx.doi.org/10.1115/1.4027783.

Full text

Abstract:

This paper deals with the design of a cable-driven manipulator (CDM) with instrumented structure for magnetic resonance imaging (MRI)-guided interventions. The strong magnetic field and the limited space inside the scanner constitute two severe design constraints. To handle them, a new synthesis approach for CDM is proposed in order to optimize the device compactness. This approach is based on the use of the zonotope properties to optimize the robot geometry, and the interval analysis tools for its validation. Remote actuation with Bowden cables is considered for MRI-compatibility. High fricti

APA, Harvard, Vancouver, ISO, and other styles

43

Fassina, Nicolò, Francesco Ranzato, and Marco Zanella. "Robustness verification of k-nearest neighbors by abstract interpretation." Knowledge and Information Systems, April 26, 2024. http://dx.doi.org/10.1007/s10115-024-02108-4.

Full text

Abstract:

AbstractWe study the certification of stability properties, such as robustness and individual fairness, of the k-nearest neighbor algorithm (kNN). Our approach leverages abstract interpretation, a well-established program analysis technique that has been proven successful in verifying several machine learning algorithms, notably, neural networks, decision trees, and support vector machines. In this work, we put forward an abstract interpretation-based framework for designing a sound approximate version of the kNN algorithm, which is instantiated to the interval and zonotope abstractions for ap

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!