02407nab a2200253 i 4500 acta86998 20250416080518.0 250416s2024 hu o 000 eng d 2676-993X 10.14232/actacyb.302013 doi SZTE Egyetemi Kiadványok Repozitórium hun eng Fnadi Mohamed Exponential state enclosure techniques for the implementation of validated model predictive control [elektronikus dokumentum] / Fnadi Mohamed University of Szeged, Institute of Informatics Szeged 2024 839-854 Acta cybernetica 26 No. 4 The design task of predictive controllers for uncertain systems is commonly formulated on the basis of their kinematic and/or dynamic models. These models are assumed to be expressed as initial value problems (IVPs) for finite-dimensional sets of nonlinear ordinary differential equations (ODEs). If constraints for the admissible state trajectories are formulated, bounds for these trajectories need to be computed by numerical procedures to obtain guaranteed enclosures of all possible states at each time step that contain the solution of the exact IVP-ODEs. Uncertainties in both the initial states and system parameters are considered in this paper by means of bounded interval variables. For this kind of system representation, we apply an exponential enclosure approach to determine guaranteed enclosures of all reachable states. This approach is embedded in a novel manner into the framework of a guaranteed nonlinear model predictive control (NMPC) to acquire optimal and safe control domains along a receding horizon. The NMPC problem is solved at each time step considering several constraints which are crucial for the system's safety and stability, namely, bounds on the state trajectories and the control signals. The capabilities of the combination of the exponential enclosure technique with the set-based NMPC strategy are illustrated through simulations using a nonlinear inverted pendulum. Természettudományok Matematika Számítás- és információtudomány Irányításelmélet, Numerikus analízis, Differenciálegyenletek - közönséges Rauh Andreas aut http://acta.bibl.u-szeged.hu/86998/1/cybernetica_026_numb_004_839-854.pdf Dokumentum-elérés