1. Enclosing the Sliding Surfaces of a Controlled Swing
- Author
-
Luc Jaulin, Benoit Desrochers, Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT), DGA Techniques Navales, and Direction générale de l'Armement (DGA)
- Subjects
Surface (mathematics) ,FOS: Computer and information sciences ,G.1.0 ,G.1.7 ,0209 industrial biotechnology ,Computer Science - Logic in Computer Science ,Internet of things ,Hybrid systems ,Computer science ,Computer Science - Artificial Intelligence ,Embedded systems ,02 engineering and technology ,Interval (mathematics) ,[SPI.AUTO]Engineering Sciences [physics]/Automatic ,Computer Science - Robotics ,020901 industrial engineering & automation ,Control theory ,0202 electrical engineering, electronic engineering, information engineering ,Differentiable function ,Controllers ,Swing ,Logic in Computer Science (cs.LO) ,Artificial Intelligence (cs.AI) ,Hybrid system ,Trajectory ,Piecewise ,020201 artificial intelligence & image processing ,Robotics (cs.RO) - 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., Comment: In Proceedings SNR 2020, arXiv:2101.05256
- Published
- 2021
- Full Text
- View/download PDF