Literatura científica selecionada sobre o tema "Zonotopic analysis"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Zonotopic analysis".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Zonotopic analysis"
Trapiello, Carlos, Vicenç Puig e Damiano Rotondo. "A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer". Systems & Control Letters 157 (novembro de 2021): 105056. http://dx.doi.org/10.1016/j.sysconle.2021.105056.
Texto completo da fonteHarno, Hendra G., e Yoonsoo Kim. "Flight envelope estimation for helicopters under icing conditions via the zonotopic reachability analysis". Aerospace Science and Technology 102 (julho de 2020): 105859. http://dx.doi.org/10.1016/j.ast.2020.105859.
Texto completo da fonteSehli, Naima, Kaouther Ibn Taarit, Xubin Ping, Zhenhua Wang, Tarek Raïssi e Moufida Ksouri. "Fault Detection and Isolation for Linear discrete-time Delayed Systems based on L∞ Observer and Zonotopic Analysis". IFAC-PapersOnLine 55, n.º 25 (2022): 169–74. http://dx.doi.org/10.1016/j.ifacol.2022.09.342.
Texto completo da fonteZhou, Meng, Zhengcai Cao e 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, n.º 3 (maio de 2019): 750–59. http://dx.doi.org/10.1109/jas.2019.1911492.
Texto completo da fonteLaurel, Jacob, Siyuan Brant Qian, Gagandeep Singh e Sasa Misailovic. "Synthesizing Precise Static Analyzers for Automatic Differentiation". Proceedings of the ACM on Programming Languages 7, OOPSLA2 (16 de outubro de 2023): 1964–92. http://dx.doi.org/10.1145/3622867.
Texto completo da fonteHenk, Martin, Eva Linke e Jörg M. Wills. "Minimal zonotopes containing the crosspolytope". Linear Algebra and its Applications 432, n.º 11 (junho de 2010): 2942–52. http://dx.doi.org/10.1016/j.laa.2009.12.041.
Texto completo da fonteTONDU, BERTRAND. "A ZONOTOPE-BASED APPROACH FOR MANIPULABILITY STUDY OF REDUNDANT ROBOT LIMBS". International Journal of Humanoid Robotics 10, n.º 03 (setembro de 2013): 1350023. http://dx.doi.org/10.1142/s0219843613500230.
Texto completo da fonteXu, Guixiang, Ziyun Wang e Zhicheng Ji. "A novel zonotopes set membership estimation-based fault diagnosis algorithm". Modern Physics Letters B 32, n.º 34n36 (30 de dezembro de 2018): 1840092. http://dx.doi.org/10.1142/s0217984918400924.
Texto completo da fonteAlonso-Gutiérrez, David, e Joscha Prochno. "On the geometry of random convex sets between polytopes and zonotopes". Journal of Mathematical Analysis and Applications 450, n.º 1 (junho de 2017): 670–90. http://dx.doi.org/10.1016/j.jmaa.2017.01.042.
Texto completo da fonteCococcioni, Marco, Marco Grazzi, Le Li e Federico Ponchio. "A toolbox for measuring heterogeneity and efficiency using zonotopes". Stata Journal: Promoting communications on statistics and Stata 22, n.º 1 (março de 2022): 25–59. http://dx.doi.org/10.1177/1536867x221083854.
Texto completo da fonteTeses / dissertações sobre o assunto "Zonotopic analysis"
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 da fonteThis thesis deals with state estimation and fault detection for a class of switched linear systems. Two interval state estimation approaches are proposed. The first one is investigated for both continuous and discrete-time linear parameter varying switched systems subject to measured polytopic parameters. The second approach is concerned with a new switching signal observer, combining sliding mode and interval techniques, for a class of switched linear systems with unknown input. State estimation remains one of the fundamental steps to deal with fault detection. Hence, robust solutions for fault detection are considered using set-membership theory. Two interval techniques are achieved to deal with fault detection for discrete-time switched systems. First, a commonly used interval observer is designed based on an L∞ criterion to obtain accurate fault detection results. Second, a new interval observer structure (TNL structure) is investigated to relax the cooperativity constraint. In addition, a robust fault detection strategy is considered using zonotopic and ellipsoidal analysis. Based on optimization criteria, the zonotopic and ellipsoidal techniques are used to provide a systematic and effective way to improve the accuracy of the residual boundaries without considering the nonnegativity assumption. The developed techniques in this thesis are illustrated using academic examples and the results show their effectiveness
Lalami, Abdelhalim. "Diagnostic et approches ensemblistes à base de zonotopes". Cergy-Pontoise, 2008. http://biblioweb.u-cergy.fr/theses/08CERG0377.pdf.
Texto completo da fonteFault diagnosis consists in detecting, isolating and possibly identifying the faults occurring in a system. As a model never perfectly represent the reality, the uncertainties have to be explicitly formalized in order to implement analytical redundancy approaches providing a guaranteed diagnosis. Based on a deterministic representation of uncertainties (by intervals and, more precisely, by zonotopes, a particular class of polytopes), this work follows two main objectives: proposing a specification of operating modes which is as close as possible to the available knowledge, and ensuring the logical soundness between the specification of the operating modes and the diagnosis decision. Using reachability algorithms based on zonotopes to control the dependency problem and the wrapping effect, on the one hand, using collision detection algorithms, on the other hand, the interest in a setmembership re-formulation of several residual generation methods is put into evidence not only to design on-line tests, but also to design and analyse the properties of a fault diagnosis system (adjustment of thresholds, sensitivity analysis). Set-membership approaches allow to introduce the notion of decoupling in the limits fixed by some bounds An arbitrary number of perturbations can then be perfectly decoupled without any rank constraint. The computed domains allow to bound the uncertainties in all the space directions and so obtain better sensitivities than those resulting from projective or elimination approaches. The work about reachability computations has lead to developments that are expected to be useful for the verification of safety properties of hybrid dynamical systems
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.
Encontre o texto completo da fonteGhorbal, 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 da fonteBureaux, 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 da fonteThis thesis consists of several works dealing with the enumeration and the asymptotic behaviour of combinatorial structures related to integer partitions. A first work concerns partitions of large bipartite integers, which are a bidimensional generalization of integer partitions. Asymptotic formulæ are obtained in the critical regime where one of the numbers is of the order of magnitude of the square of the other number, and beyond this critical regime. This completes the results established in the fifties by Auluck, Nanda, and Wright. The second work deals with lattice convex chains in the plane. In a statistical model introduced by Sinaï, an exact integral representation of the partition function is given. This leads to an asymptotic formula for the number of chains joining two distant points, which involves the non trivial zeros of the Riemann zeta function. A detailed combinatorial analysis of convex chains is presented. It makes it possible to prove the existence of a limit shape for random convex chains with few vertices, answering an open question of Vershik. A third work focuses on lattice zonotopes in higher dimensions. An asymptotic equality is given for the logarithm of the number of zonotopes contained in a convex cone and such that the endings of the zonotope are fixed. A law of large numbers is established and the limit shape is characterized by the Laplace transform of the cone
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 da fonteLa detección y el aislamiento de fallos (DAF) basado en modelos es un problema teórico importante que se está convirtiendo cada vez m ás en una de las características clave para aumentar la seguridad y abilidad de los sistemas de control autom ático complejos. Básicamente, la DAF basada en modelos utiliza un modelo m atem ático para describir el comportamiento del sistem a. Sin embargo, la incertidumbre permanece siempre presente cuando se modela un sistema, ya que su efecto no es despreciable, incluso si no hay fallos que afecten al sistema. Una form a de tener en cuenta la incertidumbre es asumir una descripción desconocida pero acotada. En términos generales, la incertidumbre en los llamados enfoques basados en conjuntos se representa mediante un conjunto que es desconocido pero acotado en cada instante de tiempo. Los enfoques basados en conjuntos se pueden clasicar en tres paradigmas principales: enfoque basado en observadores intervalares, enfoque de pertenencia al conjunto y enfoque basados en conjuntos invariante. En esta tesis, la inuencia de la incertidumbre se aborda utilizando los enfoques basados en conjuntos y representaciones zonotópicas de los mismos. Adem ás, esta tesis presenta tanto el análisis como la comparación de los enfoques basados en conjuntos para la estimación de estado con el objetivo de establecer las ventajas y desventajas de cada enfoque, y también, para descubrir su relación en un m arco matemático formal. Sin embargo, los mencionados enfoques basados en conjuntos suponen implícitamente una incertidumbre variante en el tiempo. En el enfoque basado en pertenencia a conjuntos, la propagación del conjunto de estados se ve afectada por varios problemas, como el efecto de del aum ento de incertidumbre, la varianza temporal de los parámetros inciertos (o la dependencia temporal de los parámetros inciertos) y la evaluación de rango de una función de intervalo, especialm ente cundo se usa el "lnterval Hull" en cada iteración. Por lo tanto, se pueden obtener resultados conservadores (incluso para un sistema estable) en la simulación del sistema con incertidumbres param étricas invariantes en el tiempo con el uso del enfoque basado en pertenencia a conjuntos. Por otro lado, el conjunto de estados aproximados se puede calcular con base en un conjunto de trayectorias puntuales. Este tipo de enfoque se denomina enfoque basado en trayectorias. Por lo tanto, la dependencia temporal del parámetro incierto se conserva si el conjunto de trayectorias puntuales se genera utilizando el mencionado enfoque basado en trayectorias
La detecció i aïllament de fallades basada en models (DAF) és un problema teòric important que està esdevenint cada cop més una de les característiques clau per augmentar la seguretat i la fiabilitat dels sistemes de control automàtic complexos. Bàsicament, la DAF basada en models es basa en l’ús d'un model matemàtic per descriure el comportament del sistema. Tanmateix, la incertesa roman sempre present quan es modelitza un sistema ja que el seu efecte no és insignificant, fins i tot si no hi ha fallades en el procés. Una forma de fer front a la incertesa és assumir una descripció desconeguda però acotada. En termes generals, la incertesa en els anomenats enfocaments basats en conjunts està representada per un conjunt desconegut però acotat en cada instant. Els enfocaments basats en conjunts es poden classificar en tres paradigmes principals: l'enfocament d'observadors d'intervals, l'enfocament de pertinença a conjunts i l'enfocament d’invariància. En aquesta tesi, s'aborda la influència de la incertesa mitjançant els enfocaments basats en conjunts fent servir una representació zonotòpica. A més, aquesta tesi presenta tant l’anàlisi com la comparació dels enfocaments basats en conjunts per a l’estimació de l'estat i la seva aplicació a DAF amb l'objectiu d'establir els avantatges i desavantatges de cada enfocament i, a més, conèixer la seva relació en un marc matemàtic formal. Tanmateix, els esmentats enfocaments basats en conjunts assumeixen implícitament una incertesa variable en el temps. En l'enfocament basat en conjunts, la propagació del conjunt d'estats es veu afectada per diversos problemes com l'efecte d'embolcall, la variació temporal dels paràmetres incerts (o la dependència en el temps dels paràmetres incerts) i l’avaluació del rang d'una funció intervalar, especialment en el cas d'utilitzar el "Interval Hull" del conjunt a cada iteració. Per tant, es poden obtenir resultats conservadors i inestables (fins i tot per a un sistema estable) en la simulació del sistema amb incerteses temporals invariants paramètriques amb l’ús del mètode basat en conjunts. D'altra banda, el conjunt d'estats aproximat es pot calcular a partir d'un conjunt de trajectòries puntuals. Aquest tipus d'enfocament s'anomena enfocament basat en trajectòries. Per tant, la dependència en el temps del paràmetres es conserva si el conjunt de trajectòries puntuals es generen utilitzant l'enfocament basat en trajectòries esmentat. Aquesta tesi inclou sis parts. La primera part, presenta l'estat de la tècnica i fa una introducció de les eines de recerca. La segona part proposa la relació matemàtica entre l'observador intervalar i els enfocaments de pertinença. La tercera part se centra en la integració dels enfocaments basats en observadors i d’invariància de conjunts en la seva aplicació a DAF caracteritzant la mínima fallada detectable i aïllable. La quarta part presenta el disseny d'un observador intervalar que millora la sensibilitat a les fallades respecte les pertorbacions. La cinquena part proposa el disseny robust d'observadors d'intervals per a sistemes incerts, subjectes a incerteses tant temporals com variables es el temps. L'última part presenta algunes conclusions, resumeix la investigació realitzada i estableix les bases per al treball futur
Capítulos de livros sobre o assunto "Zonotopic analysis"
Goubault, Eric, Sylvie Putot e Franck Védrine. "Modular Static Analysis with Zonotopes". In Static Analysis, 24–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33125-1_5.
Texto completo da fonteHuang, Yushen, Ertai Luo, Stanley Bak e Yifan Sun. "On the Difficulty of Intersection Checking with Polynomial Zonotopes". In Automated Technology for Verification and Analysis, 51–71. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45332-8_3.
Texto completo da fonteGirard, Antoine, e Colas Le Guernic. "Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis". In Hybrid Systems: Computation and Control, 215–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78929-1_16.
Texto completo da fonteBak, Stanley, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew e Kostiantyn Potomkin. "Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement". In Computer Aided Verification, 490–510. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_24.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Zonotopic analysis"
Delansnay, Gilles, Alain Vande Wouwer, Hendra G.Harno e 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 da fonteHarno, Hendra G., e 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 da fonteHarno, Hendra G., Jun Moon e 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 da fonteAdimoolam, Arvind S., e 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 da fonteZhang, Lei, e 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 da fonteLuo, Ertai, Niklas Kochdumper e Stanley Bak. "Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes". In HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2023. http://dx.doi.org/10.1145/3575870.3587130.
Texto completo da fonteAlthoff, Matthias, e Goran Frehse. "Combining zonotopes and support functions for efficient reachability analysis of linear systems". In 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE, 2016. http://dx.doi.org/10.1109/cdc.2016.7799418.
Texto completo da fonteZhang, Yuhao, e Xiangru Xu. "Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes". In 2023 American Control Conference (ACC). IEEE, 2023. http://dx.doi.org/10.23919/acc55779.2023.10156417.
Texto completo da fonteSong, Yang, Manoj P. D. Sai e Hao Yu. "Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations". In Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2014. http://dx.doi.org/10.7873/date.2014.024.
Texto completo da fonteSong, Yang, Manoj P. D. Sai e Hao Yu. "Zonotope-based nonlinear model order reduction for fast performance bound analysis of analog circuits with multiple-interval-valued parameter variations". In Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2014. http://dx.doi.org/10.7873/date2014.024.
Texto completo da fonte