Academic literature on the topic 'Constrained 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 'Constrained 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 "Constrained Zonotopes"
Raghuraman, Vignesh, and Justin P. Koeln. "Set operations and order reductions for constrained zonotopes." Automatica 139 (May 2022): 110204. http://dx.doi.org/10.1016/j.automatica.2022.110204.
Full textHamdi, Walid, Wissal Bey, and Naceur Benhadj Braiek. "Stabilization of constrained uncertain systems by an off-line approach using zonotopes." Advances in Science, Technology and Engineering Systems Journal 3, no. 1 (January 2018): 281–87. http://dx.doi.org/10.25046/aj030134.
Full textScott, Joseph K., Davide M. Raimondo, Giuseppe Roberto Marseglia, and Richard D. Braatz. "Constrained zonotopes: A new tool for set-based estimation and fault detection." Automatica 69 (July 2016): 126–36. http://dx.doi.org/10.1016/j.automatica.2016.02.036.
Full textOcampo-Martinez, C., P. Guerra, V. Puig, and J. Quevedo. "Actuator fault-tolerance evaluation of linear constrained model predictive control using zonotope-based set computations." Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 221, no. 6 (September 1, 2007): 915–26. http://dx.doi.org/10.1243/09596518jsce340.
Full textRego, Brenner S., Davide M. Raimondo, and Guilherme V. Raffo. "Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes." IFAC-PapersOnLine 53, no. 2 (2020): 4291–96. http://dx.doi.org/10.1016/j.ifacol.2020.12.2484.
Full textRego, Brenner S., Joseph K. Scott, Davide M. Raimondo, and Guilherme V. Raffo. "Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes." Automatica 129 (July 2021): 109638. http://dx.doi.org/10.1016/j.automatica.2021.109638.
Full textRego, Brenner S., Guilherme V. Raffo, Joseph K. Scott, and Davide M. Raimondo. "Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems." Automatica 111 (January 2020): 108614. http://dx.doi.org/10.1016/j.automatica.2019.108614.
Full textXu, Zhanpeng, Xiaoqian Chen, Yiyong Huang, Yuzhu Bai, and Qifeng Chen. "Collision prediction and avoidance for satellite ultra-close relative motion with zonotope-based reachable sets." Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 233, no. 11 (November 14, 2018): 3920–37. http://dx.doi.org/10.1177/0954410018810255.
Full textPing, Xubin, and Ning Sun. "Dynamic Output Feedback Robust Model Predictive Control via Zonotopic Set-Membership Estimation for Constrained Quasi-LPV Systems." Journal of Applied Mathematics 2015 (2015): 1–12. http://dx.doi.org/10.1155/2015/875850.
Full textLiu, Zixing, Ziyun Wang, Yan Wang, and Zhicheng Ji. "Sensor fault estimation based on the constrained zonotopic Kalman filter." International Journal of Robust and Nonlinear Control 31, no. 12 (June 3, 2021): 5984–6006. http://dx.doi.org/10.1002/rnc.5629.
Full textDissertations / Theses on the topic "Constrained Zonotopes"
Kabi, Bibek. "Synthesizing invariants : a constraint programming approach based on zonotopic abstraction." Thesis, Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAX017.
Full textDynamical systems are mathematical models for describing temporal evolution of the state of a system. There are two classes of dynamical systems relevant to this thesis: discrete and continuous. In discrete dynamical systems (or classical computer programs), the state evolves in discrete time steps, as described by difference equations. In continuous dynamical systems, the state of the system is a function of continuous time, characterized by differential equations. When we analyze the behavior of a dynamical system, we usually want to make sure that it satisfies a safety property expressing that nothing bad happens. An example of a safety property of programs is the absence of arithmetic overflows. In this thesis, we design a framework related to the automatic verification of the safety properties of programs. Proving that a program satisfies a safety property of interest involves an invariance argument. We develop an algorithm for inferring invariants more precisely inductive invariants (properties which hold during the initial state, remains stable under the program evolution, and hence hold always due to induction) for numerical programs. A traditional approach for finding inductive invariants in programs is abstract interpretation (AI) that interprets the states of a program in an abstract domain (intervals, polyhedra, octagon, zonotopes) of choice. This choice is made based on the property of interest to be inferred. Using the AI framework, inductive invariant can be computed as limits of iterations of functions. However, for abstract domains which feature infinite increasing chain, for instance, interval, these computations may fail to converge. Then, the classical solution would be to withdraw that particular domain and in its place redesign a new abstract domain which can represent the shape of the invariant. One may also use convergence techniques like widening to enforce convergence, but this may come at the cost of precision. Another approach called constraint programming (CP), can be used to find invariants by translating a program into constraints and solving them by using constraint solvers. Constraints in CP primarily operate on domains that are either discrete or continuous. Classical continuous constraint programming corresponds to interval domain and can approximate a complex shape invariant by a set of boxes, for instance, upto a precision criterion. An existing framework combines AI and continuous CP inspired by iterative refinement, splitting and tightening a collection of abstract elements. This was initially presented in combination with simple underlying abstract elements, boxes and octagons. The novelty of our work is to extend this framework by using zonotopes, a sub-polyhedric domain that shows a good compromise between cost and precision. However, zonotopes are not closed under intersection, and we had to extend the existing framework, in addition to designing new operations on zonotopes. We introduce a novel splitting algorithm based on tiling zonotopes by sub-zonotopes and parallelotopes. We also propose few alternative operators to the existing ones for a better efficiency of the method. We implemented these operations on top of the APRON library, and tested it on programs with non-linear loops that present complex, possibly non-convex, invariants. We present some results demonstrating the interest of this splitting-based algorithm to synthesize invariants on such programs. This algoritm also shows a good compromise by its use in combination with zonotopes with respect to its use with both simpler domains such as boxes and octagons, and more expressive domains like polyhedra. Finally, we discuss the extension of the approach to infer positive and negative invariant sets for dynamical systems
Book chapters on the topic "Constrained Zonotopes"
Adimoolam, A., and T. Dang. "Template Complex Zonotope Based Stability Verification." In Control Subject to Computational and Communication Constraints, 83–96. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-78449-6_5.
Full textKabi, Bibek, Eric Goubault, Antoine Miné, and Sylvie Putot. "Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants." In Lecture Notes in Computer Science, 221–38. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63618-0_14.
Full textConference papers on the topic "Constrained Zonotopes"
Bertin, Etienne, Bruno Herisse, Julien Alexandre dit Sandretto, and Alexandre Chapoutot. "Spatio-temporal constrained zonotopes for validation of optimal control problems." In 2021 60th IEEE Conference on Decision and Control (CDC). IEEE, 2021. http://dx.doi.org/10.1109/cdc45484.2021.9683301.
Full textZhang, Yuhao, and Xiangru Xu. "Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes." In 2022 IEEE 61st Conference on Decision and Control (CDC). IEEE, 2022. http://dx.doi.org/10.1109/cdc51059.2022.9992655.
Full textBravo, J. M., T. Alamo, D. Limon, and E. F. Camacho. "Robust MPC of constrained discrete-time nonlinear systems based on zonotopes." In 2003 European Control Conference (ECC). IEEE, 2003. http://dx.doi.org/10.23919/ecc.2003.7085265.
Full textHamdi, Walid, and Wissal Bey. "Stabilization of constrained uncertain systems by an off-line approach using zonotopes." In 2017 International Conference on Advanced Systems and Electric Technologies (IC_ASET). IEEE, 2017. http://dx.doi.org/10.1109/aset.2017.7983659.
Full textRego, Brenner S., Davide M. Raimondo, and Guilherme V. Raffo. "Set-based state estimation of nonlinear systems using constrained zonotopes and interval arithmetic*." In 2018 17th European Control Conference (ECC). IEEE, 2018. http://dx.doi.org/10.23919/ecc.2018.8550353.
Full textRego, Brenner S., Davide M. Raimondo, and Guilherme V. Raffo. "Path Tracking Control with State Estimation based on Constrained Zonotopes for Aerial Load Transportation." In 2018 IEEE Conference on Decision and Control (CDC). IEEE, 2018. http://dx.doi.org/10.1109/cdc.2018.8618678.
Full textLocatelli, Diego, Giacomo Saccani, Brenner S. Rego, Guilherme V. Raffo, and Davide M. Raimondo. "Set-based joint state and parameter estimation of a Li-ion cell using constrained zonotopes." In 2022 IEEE Vehicle Power and Propulsion Conference (VPPC). IEEE, 2022. http://dx.doi.org/10.1109/vppc55846.2022.10003457.
Full textLocatelli, Diego, Angelo Tottoli, Giacomo Saccani, and Davide M. Raimondo. "Thermal fault-detection in series connected Li-ion cells: a set-based approach using constrained zonotopes." In 2022 IEEE Conference on Control Technology and Applications (CCTA). IEEE, 2022. http://dx.doi.org/10.1109/ccta49430.2022.9965976.
Full textKoeln, Justin P., and Brandon M. Hencey. "Constrained Hierarchical MPC via Zonotopic Waysets." In 2019 American Control Conference (ACC). IEEE, 2019. http://dx.doi.org/10.23919/acc.2019.8815295.
Full textMerhy, Dory, Teodoro Alamo, Cristina Stoica Maniu, and Eduardo F. Camacho. "Zonotopic Constrained Kalman Filter Based on a Dual Formulation." In 2018 IEEE Conference on Decision and Control (CDC). IEEE, 2018. http://dx.doi.org/10.1109/cdc.2018.8619177.
Full text