Academic literature on the topic 'Hybrid Zonotopes'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Hybrid Zonotopes.'
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 "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.
Full textAlthoff, 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.
Full textCombastel, 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.
Full textGao, 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.
Full textMaï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.
Full textMakhlouf, 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.
Full textBeneyto, 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.
Full textSiefert, 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.
Full textDissertations / Theses on the topic "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.
Full textComputing 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.
Full textThis 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.
Full textBook chapters on the topic "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.
Full textAdimoolam, 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.
Full textGirard, 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.
Full textConference papers on the topic "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.
Full textBird, 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.
Full textMitchell, 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.
Full textMaiga, 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.
Full textShaotong, 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.
Full text