Skip to Main content Skip to Navigation
Conference papers

Enclosing the Sliding Surfaces of a Controlled Swing

Luc Jaulin 1 Benoît Desrochers 2
1 Lab-STICC_ENSTAB_CID_PRASYS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : When implementing a non-continuous controller for a cyber-physical system, it may happen that the evolution of the closed-loop system is not anymore piecewise differentiable along the trajectory, mainly due to conditional statements inside the controller. This may lead to some unwanted chattering effects than may damage the system. This behavior is difficult to observe even in simulation. In this paper, we propose an interval approach to characterize the sliding surface which corresponds to the set of all states such that the state trajectory may jump indefinitely between two distinct behaviors. We show that the recent notion of thick sets will allows us to compute efficiently an outer approximation of the sliding surface of a given class of hybrid system taking into account all set-membership uncertainties. An application to the verification of the controller of a child swing is considered to illustrate the principle of the approach.
Document type :
Conference papers
Complete list of metadata

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-03188788
Contributor : Marie Briec <>
Submitted on : Monday, May 3, 2021 - 3:49:25 PM
Last modification on : Tuesday, May 4, 2021 - 9:37:40 AM

File

2101.05418.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Luc Jaulin, Benoît Desrochers. Enclosing the Sliding Surfaces of a Controlled Swing. 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2020, Aug 2020, Online, Austria. pp.43-55, ⟨10.4204/EPTCS.331.4⟩. ⟨hal-03188788⟩

Share

Metrics

Record views

48

Files downloads

12