We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Robotics

Title: Enclosing the Sliding Surfaces of a Controlled Swing

Authors: Luc Jaulin (Robex, Lab-STICC), Benoît Desrochers (DGA-TN)
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.
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
ACM classes: G.1.0; G.1.7
Journal reference: EPTCS 331, 2021, pp. 43-55
DOI: 10.4204/EPTCS.331.4
Cite as: arXiv:2101.05418 [cs.RO]
  (or arXiv:2101.05418v1 [cs.RO] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 14 Jan 2021 01:58:15 GMT (1166kb,D)

Link back to: arXiv, form interface, contact.