Добірка наукової літератури з теми "Constrained Zonotopes"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Constrained Zonotopes".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерелаHamdi, 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.
Повний текст джерелаScott, 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.
Повний текст джерелаOcampo-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.
Повний текст джерелаRego, 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.
Повний текст джерелаRego, 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.
Повний текст джерелаRego, 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.
Повний текст джерелаXu, 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.
Повний текст джерелаPing, 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.
Повний текст джерелаLiu, 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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаDynamical 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
Частини книг з теми "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.
Повний текст джерелаKabi, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаZhang, 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.
Повний текст джерелаBravo, 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.
Повний текст джерелаHamdi, 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.
Повний текст джерелаRego, 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.
Повний текст джерелаRego, 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.
Повний текст джерелаLocatelli, 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.
Повний текст джерелаLocatelli, 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.
Повний текст джерелаKoeln, 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.
Повний текст джерелаMerhy, 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.
Повний текст джерела