Siga este enlace para ver otros tipos de publicaciones sobre el tema: Zonotopic analysis.

Artículos de revistas sobre el tema "Zonotopic analysis"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 43 mejores artículos de revistas para su investigación sobre el tema "Zonotopic analysis".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Li, Yi, and Jiuxiang Dong. "Fault Detection for Discrete-Time Takagi$\textendash$Sugeno Fuzzy Systems With Unmeasurable Premise Variable With L2-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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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,
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!