Добірка наукової літератури з теми "Hybrid Zonotopes"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Hybrid Zonotopes".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Hybrid Zonotopes"
Bird, Trevor J., and Neera Jain. "Unions and Complements of Hybrid Zonotopes." IEEE Control Systems Letters 6 (2022): 1778–83. http://dx.doi.org/10.1109/lcsys.2021.3133126.
Повний текст джерелаAlthoff, Matthias, Olaf Stursberg, and Martin Buss. "Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes." Nonlinear Analysis: Hybrid Systems 4, no. 2 (May 2010): 233–49. http://dx.doi.org/10.1016/j.nahs.2009.03.009.
Повний текст джерелаCombastel, Christophe. "Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering." Automatica 143 (September 2022): 110457. http://dx.doi.org/10.1016/j.automatica.2022.110457.
Повний текст джерелаGao, Jianing, Bei Han, Chenbo Xu, Lijun Zhang, Guojie Li, and Keyou Wang. "Zonotope-based quantification of the impact of renewable power generation on hybrid AC/DC distribution system." Journal of Engineering 2019, no. 16 (March 1, 2019): 2493–99. http://dx.doi.org/10.1049/joe.2018.8520.
Повний текст джерелаMaïga, Moussa, Nacim Ramdani, Louise Travé-Massuyès, and Christophe Combastel. "A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability." Mathematics in Computer Science 8, no. 3-4 (August 12, 2014): 407–23. http://dx.doi.org/10.1007/s11786-014-0204-y.
Повний текст джерелаMakhlouf, Ibtissem Ben, Jonathan Gan, and Stefan Kowalewski. "A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems." IFAC-PapersOnLine 48, no. 27 (2015): 13–20. http://dx.doi.org/10.1016/j.ifacol.2015.11.146.
Повний текст джерелаBeneyto, Aleix, Vicenç Puig, B. Wayne Bequette, and Josep Vehi. "A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems." Sensors 21, no. 21 (October 27, 2021): 7117. http://dx.doi.org/10.3390/s21217117.
Повний текст джерелаSiefert, Jacob A., Trevor J. Bird, Justin P. Koeln, Neera Jain, and Herschel C. Pangborn. "Robust Successor and Precursor Sets of Hybrid Systems using Hybrid Zonotopes." IEEE Control Systems Letters, 2022, 1. http://dx.doi.org/10.1109/lcsys.2022.3188477.
Повний текст джерелаДисертації з теми "Hybrid Zonotopes"
Adimoolam, Santosh Arvind. "A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems." Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM027/document.
Повний текст джерелаComputing reachable sets is a de facto approach used in many formal verification methods for hybrid systems. But exact computation of the reachable set is an in- tractable problem for many kinds of hybrid systems, either due to undecidability or high computational complexity. Alternatively, quite a lot of research has been focused on using set representations that can be efficiently manipulated to com- pute sufficiently accurate over-approximation of the reachable set. Zonotopes are a useful set representation in reachability analysis because of their closure and low complexity for computing linear transformation and Minkowski sum operations. But for approximating the unbounded time reachable sets by positive invariants, zonotopes have the following drawback. The effectiveness of a set representation for computing a positive invariant depends on efficiently encoding the directions for convergence of the states to an equilibrium. In an affine hybrid system, some of the directions for convergence can be encoded by the complex valued eigen- vectors of the transformation matrices. But the zonotope representation can not exploit the complex eigenstructure of the transformation matrices because it only has real valued generators.Therefore, we extend real zonotopes to the complex valued domain in a way that can capture contraction along complex valued vectors. This yields a new set representation called complex zonotope. Geometrically, complex zonotopes repre- sent a wider class of sets that include some non-polytopic sets as well as polytopic zonotopes. They retain the merit of real zonotopes that we can efficiently perform linear transformation and Minkowski sum operations and compute the support function. Additionally, we show that they can capture contraction along complex valued eigenvectors. Furthermore, we develop computationally tractable approx- imations for inclusion-checking and intersection with half-spaces. Using these set operations on complex zonotopes, we develop convex programs to verify lin- ear invariance properties of discrete time affine hybrid systems and exponential stability of linear impulsive systems. Our experiments on some benchmark exam- ples demonstrate the efficiency of the verification techniques based on complex zonotopes
MaÏga, Moussa. "Surveillance préventive des systèmes hybrides à incertitudes bornées." Thesis, Orléans, 2015. http://www.theses.fr/2015ORLE2010/document.
Повний текст джерелаThis thesis is dedicated to the development of generic algorithms for the set-membership observation of the continuous state and the discrete mode of hybrid dynamical systems in order to achieve fault detection. This thesis is organized into two parts. In the first part, we have proposed a fast and effective method for the set-membership guard crossing. It consists in carrying out bisection in the time direction only and then makes several contractors working simultaneously to reduce the domain of state vectors located on the guard during the study time slot. Then, we proposed a method for merging trajectories based on zonotopic enclosures. These methods, used together, allowed us to characterize in a guaranteed way the set of all hybrid state trajectories generated by an uncertain hybrid dynamical system on a finite time horizon. The second part focuses on set-membership methods for the parameters or the hybrid state (mode and continuous state) of a hybrid dynamical system in a bounded error framework. We started first by describing fault detection methods for hybrid systems using the parametric approach and the hybrid observer approach. Then, we have described two methods for performing fault detection tasks. We have proposed a method for computing in a guaranteed way all the parameters consistent with the hybrid dynamical model, the actual data and the prior error bound, by using our nonlinear hybrid reachability method and an algorithm for partition which we denote SIVIA-H. Then, for hybrid state estimation, we have proposed a method based on a predictor-corrector, which is also built on top of our non-linear method for hybrid reachability
Le, Guernic Colas. "Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire." Phd thesis, Université Joseph Fourier (Grenoble), 2009. http://tel.archives-ouvertes.fr/tel-00422569.
Повний текст джерелаЧастини книг з теми "Hybrid Zonotopes"
Girard, Antoine. "Reachability of Uncertain Linear Systems Using Zonotopes." In Hybrid Systems: Computation and Control, 291–305. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31954-2_19.
Повний текст джерелаAdimoolam, Arvind, and Thao Dang. "Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems." In Lecture Notes in Computer Science, 97–115. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-65765-3_6.
Повний текст джерелаGirard, Antoine, and 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.
Повний текст джерелаТези доповідей конференцій з теми "Hybrid Zonotopes"
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.
Повний текст джерелаBird, Trevor J., Neera Jain, Herschel C. Pangborn, and Justin P. Koeln. "Set-Based Reachability and the Explicit Solution of Linear MPC using Hybrid Zonotopes *." In 2022 American Control Conference (ACC). IEEE, 2022. http://dx.doi.org/10.23919/acc53348.2022.9867853.
Повний текст джерелаMitchell, Ian M., Jacob Budzis, and Andriy Bolyachevets. "Invariant, viability and discriminating kernel under-approximation via zonotope scaling." In HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3302504.3313354.
Повний текст джерелаMaiga, Moussa, Christophe Combastel, Nacim Ramdani, and Louise Trave-Massuyes. "Nonlinear hybrid reachability using set integration and zonotopic enclosures." In 2014 European Control Conference (ECC). IEEE, 2014. http://dx.doi.org/10.1109/ecc.2014.6862491.
Повний текст джерелаShaotong, Zhang, Li Yuhang, and Liu Jiaqi. "State Estimation of Hybrid Data-driven Control System via Zonotopic Bounding Set Computation." In 2020 39th Chinese Control Conference (CCC). IEEE, 2020. http://dx.doi.org/10.23919/ccc50068.2020.9188738.
Повний текст джерела