Literatura académica sobre el tema "Zonotopic analysis"

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

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas 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.

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

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.
Más fuentes

Tesis sobre el tema "Zonotopic analysis"

1

Zammali, Chaima. "Robust state estimation for switched systems : application to fault detection." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS124.

Texto completo
Resumen
Cette thèse s’intéresse à l’estimation d’état et à la détection de défauts de systèmes linéaires à commutations. Deux approches d’estimation par intervalles sont développées. La première consiste à proposer une estimation d’état pour des systèmes linéaires à commutations à paramètres variants en temps continu et en temps discret. La deuxième approche consiste à proposer une nouvelle logique d’estimation du signal de commutations d’un système linéaire à commutations à entrée inconnue en combinant la technique par modes glissants et l’approche par intervalles. Le problème d’estimation d’état con
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Lalami, Abdelhalim. "Diagnostic et approches ensemblistes à base de zonotopes." Cergy-Pontoise, 2008. http://biblioweb.u-cergy.fr/theses/08CERG0377.pdf.

Texto completo
Resumen
Le diagnostic consiste à détecter, localiser et éventuellement identifier les défauts au sein d’un système. Un modèle ne représentant qu’imparfaitement la réalité, une prise en compte explicite des incertitudes est nécessaire pour mettre en oeuvre des techniques de redondance analytique conduisant à un diagnostic garanti. En s’appuyant sur une représentation déterministe des incertitudes (par des intervalles et, plus particulièrement, des zonotopes, une classe particulière de polytopes), l’objet de ce travail est double : proposer une spécification des modes de fonctionnement aussi proche que
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Di, Leva Roberto. "Synthesis and kinematic analysis of a passive 6-dof parallel mechanism for human-robot interaction." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.

Buscar texto completo
Resumen
La maggior parte dei robot industriali può essere caratterizzata da una larghezza di banda di impedenza molto stretta, capacità di carico elevata, attuatori precisi e vasto spazio di lavoro. Al contrario, l’operatore umano presenta un’ampia larghezza di banda di impedenza, flessibilità e destrezza, ma capacità di carico basse. La possibilità di combinare i vantaggi di entrambi può portare alla realizzazione di sistemi robotici molto efficaci. Pertanto, se l’impedenza apparente di un manipolatore può essere minimizzata, l’operatore può sviluppare la propria impedenza, consentendo una collaboraz
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Ghorbal, Khalil. "Analyse Statique de Programmes Numériques: Ensembles Affines Contraints." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00643442.

Texto completo
Resumen
Nous nous plaçons dans le cadre de l'analyse statique de programmes, et nous nous intéressons aux propriétés numériques, c'est a dire celles qui concernent les valeurs numériques des variables de programmes. Nous essayons en particulier de déterminer une sur-approximation garantie de l'ensemble de valeurs possibles pour chaque variable numérique utilisée dans le programme à analyser. Cette analyse statique est faite dans le cadre de la théorie de l'interprétation abstraite, théorie présentant un compromis entre les limites théoriques d'indécidabilite et de calculabilite et la précision des rés
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Bureaux, Julien. "Méthodes probabilistes pour l'étude asymptotique des partitions entières et de la géométrie convexe discrète." Thesis, Paris 10, 2015. http://www.theses.fr/2015PA100160/document.

Texto completo
Resumen
Cette thèse se compose de plusieurs travaux portant sur l'énumération et le comportement asymptotique de structures combinatoires apparentées aux partitions d'entiers. Un premier travail s'intéresse aux partitions d'entiers bipartites, qui constituent une généralisation bidimensionnelle des partitions d'entiers. Des équivalents du nombre de partitions sont obtenus dans le régime critique où l'un des entiers est de l'ordre du carré de l'autre entier et au delà de ce régime critique. Ceci complète les résultats établis dans les années cinquante par Auluck, Nanda et Wright. Le deuxième travail tr
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Pourasghar-Lafmejani, Masoud. "On the fault diagnosis of dynamic systems using set-based approaches." Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/670997.

Texto completo
Resumen
Model-based Fault Detection and Isolation (FDI) is a major theoretical topic that is becoming increasingly to one of the most significant key features to increase safety and reliability of complex automatic control systems. Basically, model-based FDI relies on the use of a mathematical model to describe the system behavior. However, uncertainty remains always present when modelling a system since its effect is non-negligible even if there are no process faults. One way to deal with uncertainty is to assume its unknown-but-bounded description. Generally speaking, the uncertainty in so-called \e
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Zonotopic analysis"

1

Ren, Dejin, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, and Bai Xue. "Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65633-0_14.

Texto completo
Resumen
AbstractInner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems analysis and control theory as it provides a reliable estimation of the set of states that a system can reach from given initial states at a specific time instant. In this paper, we study the inner-approximate reachability analysis problem based on the set-boundary reachability method for systems modelled by ordinary differential equations, in which the computed inner-approximations are represented with zonotope
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Goubault, Eric, Sylvie Putot, and Franck Védrine. "Modular Static Analysis with Zonotopes." In Static Analysis. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33125-1_5.

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

Huang, Yushen, Ertai Luo, Stanley Bak, and Yifan Sun. "On the Difficulty of Intersection Checking with Polynomial Zonotopes." In Automated Technology for Verification and Analysis. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45332-8_3.

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

Girard, Antoine, and Colas Le Guernic. "Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis." In Hybrid Systems: Computation and Control. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78929-1_16.

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

Ding, Jianqiang, Taoran Wu, Zhen Liang, and Bai Xue. "PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71177-0_10.

Texto completo
Resumen
AbstractWe present PyBDR, a Python reachability analysis toolkit based on set-boundary analysis, which centralizes on widely-adopted set propagation techniques for formal verification, controller synthesis, state estimation, etc. It employs boundary analysis of initial sets to mitigate the wrapping effect during computations, thus improving the performance of reachability analysis algorithms without significantly increasing computational costs. Beyond offering various set representations such as polytopes and zonotopes, our toolkit particularly excels in interval arithmetic by extending operat
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Bak, Stanley, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, and Kostiantyn Potomkin. "Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement." In Computer Aided Verification. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_24.

Texto completo
Resumen
AbstractKoopman operator linearization approximates nonlinear systems of differential equations with higher-dimensional linear systems. For formal verification using reachability analysis, this is an attractive conversion, as highly scalable methods exist to compute reachable sets for linear systems. However, two main challenges are present with this approach, both of which are addressed in this work. First, the approximation must be sufficiently accurate for the result to be meaningful, which is controlled by the choice of observable functions during Koopman operator linearization. By using r
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Zonotopic analysis"

1

Jnadi, Ali, and Sergei Savin. "Comparative Analysis of Linear and Exact Control Laws in Zonotope-Based MPC." In 2024 8th Scientific School Dynamics of Complex Networks and their Applications (DCNA). IEEE, 2024. http://dx.doi.org/10.1109/dcna63495.2024.10718607.

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

Koeln, Justin, Trevor J. Bird, Jacob Siefert, Justin Ruths, Herschel C. Pangborn, and Neera Jain. "zonoLAB: A MATLAB Toolbox for Set-Based Control Systems Analysis Using Hybrid Zonotopes." In 2024 American Control Conference (ACC). IEEE, 2024. http://dx.doi.org/10.23919/acc60939.2024.10644425.

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

Zhang, Hang, Yuhao Zhang, and Xiangru Xu. "Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models." In 2024 American Control Conference (ACC). IEEE, 2024. http://dx.doi.org/10.23919/acc60939.2024.10644573.

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

Rego, Brenner S., Guilherme V. Raffo, Marco H. Terra, and Joseph K. Scott. "Reachability Analysis of Nonlinear Discrete-Time Systems Using Polyhedral Relaxations and Constrained Zonotopes*." In 2024 IEEE 63rd Conference on Decision and Control (CDC). IEEE, 2024. https://doi.org/10.1109/cdc56724.2024.10886592.

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

Delansnay, Gilles, Alain Vande Wouwer, Hendra G.Harno, and Yoonsoo Kim. "Zonotopic Reachability Analysis of Multirotor Aircraft." In 2021 25th International Conference on System Theory, Control and Computing (ICSTCC). IEEE, 2021. http://dx.doi.org/10.1109/icstcc52150.2021.9607056.

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

Harno, Hendra G., and Yoonsoo Kim. "Zonotopic Reachability Analysis for an Unmanned Helicopter." In 2019 19th International Conference on Control, Automation and Systems (ICCAS). IEEE, 2019. http://dx.doi.org/10.23919/iccas47443.2019.8971606.

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

Harno, Hendra G., Jun Moon, and Yoonsoo Kim. "Attitude Control and Reachability Analysis for Unmanned Helicopters via the Zonotopic Kalman Filtering." In 2020 59th IEEE Conference on Decision and Control (CDC). IEEE, 2020. http://dx.doi.org/10.1109/cdc42340.2020.9303926.

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

Tian, Jingchao, and Hao Liu. "Analysis on attack detection based on zonotopic set-membership for discrete-time nonlinear systems." In 2024 36th Chinese Control and Decision Conference (CCDC). IEEE, 2024. http://dx.doi.org/10.1109/ccdc62350.2024.10587551.

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

Adimoolam, Arvind S., and Thao Dang. "Template complex zonotopes: a new set representation for verification of hybrid systems." In 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016. http://dx.doi.org/10.1109/snr.2016.7479379.

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

Zhang, Lei, and Hao Liu. "Reachability analysis for a quadrotor UAV based on zonotopes." In 2022 41st Chinese Control Conference (CCC). IEEE, 2022. http://dx.doi.org/10.23919/ccc55666.2022.9902380.

Texto completo
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!