Relevant bibliographies by topics / Zonotopic analysis

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "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.

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
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Zonotopic analysis' for particular source types:
Journal articles
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!

To the bibliography