%0 Conference Paper %1 BENLAOUKLI:2007:HAL-00221449:1 %A Hichem Benlaoukli, %A Sorin Olaru, %B Proceedings of International Conference on Control, Automation and Systems, 2007 ICCAS'07 %C Seoul Corée, République de %D 2007 %K control, interval predictive search. set, {I}nvariant %P 293-298 %R 10.1109/ICCAS.2007.4406925 %T On the computation and bounding of invariant sets %U dx.doi.org/10.1109/ICCAS.2007.4406925 http://hal-supelec.archives-ouvertes.fr/hal-00221449/en/ %X This contribution deals with the computational issues encountered in the construction of invariant sets, the presented results being useful in the more general framework of piecewise linear systems. The main contribution of the present paper is the efficient computation of upper and lower bounds of the maximal positive invariant (MPI) sets. These turn to be meaningful approximations when iterative construction procedures are employed, especially if no finitetime algorithms exists to construct the exact MPI set. In order to decrease the computational complexity, interval search procedures are used to avoid the treatment of the regions which do not meet the neighboring properties.

@inproceedings{BENLAOUKLI:2007:HAL-00221449:1, abstract = {{T}his contribution deals with the computational issues encountered in the construction of invariant sets, the presented results being useful in the more general framework of piecewise linear systems. {T}he main contribution of the present paper is the efficient computation of upper and lower bounds of the maximal positive invariant ({MPI}) sets. {T}hese turn to be meaningful approximations when iterative construction procedures are employed, especially if no finitetime algorithms exists to construct the exact {MPI} set. {I}n order to decrease the computational complexity, interval search procedures are used to avoid the treatment of the regions which do not meet the neighboring properties.}, added-at = {2008-08-19T16:47:47.000+0200}, address = {{S}eoul {C}or{\'e}e, {R}{\'e}publique de }, affiliation = {{SUPELEC}-{C}ampus {G}if - {SUPELEC}}, audience = {internationale}, author = {{H}ichem {B}enlaoukli and {S}orin {O}laru}, biburl = {https://www.bibsonomy.org/bibtex/2e2d8ed7b46a83199ec6899dd961afda6/olaru}, booktitle = {{P}roceedings of {I}nternational {C}onference on {C}ontrol, {A}utomation and {S}ystems, 2007 {ICCAS}'07 }, day = 17, doi = {10.1109/{ICCAS}.2007.4406925}, interhash = {57bed64e9a0313e5cfc45ad046fa1cc6}, intrahash = {e2d8ed7b46a83199ec6899dd961afda6}, keywords = {control, interval predictive search. set, {I}nvariant}, language = {{A}nglais}, month = {10}, pages = {293-298 }, timestamp = {2008-08-19T16:47:53.000+0200}, title = {{O}n the computation and bounding of invariant sets}, url = {dx.doi.org/10.1109/{ICCAS}.2007.4406925 http://hal-supelec.archives-ouvertes.fr/hal-00221449/en/}, year = 2007 }