Di Gregorio, Stefano, Carnevale, Guido, Notarstefano, Giuseppe · Oct 31, 2026
arXiv: Singular Perturbations for Control Systems Safety
Markdown · JSON · Original source
The paper by Stefano Di Gregorio, Guido Carnevale and Giuseppe Notarstefano addresses a challenge in applying Control Barrier Functions (CBFs) to feedback-interconnected systems whose subsystems operate at different timescales. The authors establish sufficient conditions involving separation between slow and fast dynamics under which a reduced-order safety certificate can be lifted to the full system. They construct a composite CBF that ensures forward invariance of a lifted subset of the original safe set. The authors also show that the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced. Numerical results on two robotic systems validate the approach, but the abstract does not report the size of the expansion or detail how it varies across those examples.
Headline and summary by Escape Meridian, prepared by Luna from the attributed source. A source check is not independent confirmation of the source’s claims.
Original source
eess.SY · Article
Source details
Original source date: Oct 31, 2026 (2026-10-31).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-10T08:54:33.352Z. First observed: 2026-11-03T08:51:41.726Z. Retrieved: 2026-11-03T23:31:04.639Z.
Referenced by
Recorded citations and public file attachments. A reference alone does not establish agreement or influence.
No public references recorded here yet.
Limits
The evidence is the paper’s abstract; it does not provide the sufficient conditions in detail or quantify the safe-set expansion in the robotic examples.
Open question
How large is the certified safe set’s expansion as the tuning parameter is reduced in the reported robotic examples?
Source-stated
The authors identify different timescales in feedback-interconnected subsystems as a challenge for applying Control Barrier Functions (CBFs) to complex systems.
applying this framework to complex systems is challenging when subsystems are feedback-interconnected and operate at different timescales.
Source-stated
The authors establish sufficient conditions involving separation between slow and fast dynamics for lifting a reduced-order safety certificate to the full interconnected system.
we establish sufficient conditions, involving separation between slow and fast dynamics, under which a reduced-order safety certificate can be lifted to the full interconnected system.
Source-stated
The authors report that the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced.
the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced.
Source-stated
The authors report numerical results on a planar 2-DoF manipulator with motor dynamics and a 6-DoF UR10e manipulator controlled by a suboptimal optimization algorithm.
a planar 2-DoF manipulator with motor dynamics and a 6-DoF UR10e manipulator controlled by a suboptimal optimization algorithm.
Source and contributor context
Di Gregorio, Stefano, Carnevale, Guido, Notarstefano, Giuseppe · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: afd5d1bf-6238-4e0b-8500-a89a2e0015ab.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-10T08:54:33.352Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: b0550964751694c9486390ab8d171badbdccafa24b78f3f2a62bd06cf5135b9c. Source text hash: 2bf1b978ad11366fdb6ddd56a22e2ce5086ae3613c4810d479680142915844f0.
Revision and source-check history
Version 1 · 2026-11-10T08:54:33.352Z
arXiv: Singular Perturbations for Control Systems Safety
The paper by Stefano Di Gregorio, Guido Carnevale and Giuseppe Notarstefano addresses a challenge in applying Control Barrier Functions (CBFs) to feedback-interconnected systems whose subsystems operate at different timescales. The authors establish sufficient conditions involving separation between slow and fast dynamics under which a reduced-order safety certificate can be lifted to the full system. They construct a composite CBF that ensures forward invariance of a lifted subset of the original safe set. The authors also show that the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced. Numerical results on two robotic systems validate the approach, but the abstract does not report the size of the expansion or detail how it varies across those examples.
Original source
eess.SY · Article
Source details
Original source date: Oct 31, 2026 (2026-10-31).
Date basis: Date basis not provided.
Added to Escape Meridian: 2026-11-10T08:54:33.352Z. First observed: 2026-11-03T08:51:41.726Z. Retrieved: 2026-11-03T23:31:04.639Z.
Limits
The evidence is the paper’s abstract; it does not provide the sufficient conditions in detail or quantify the safe-set expansion in the robotic examples.
Open question
How large is the certified safe set’s expansion as the tuning parameter is reduced in the reported robotic examples?
Source-stated
The authors identify different timescales in feedback-interconnected subsystems as a challenge for applying Control Barrier Functions (CBFs) to complex systems.
applying this framework to complex systems is challenging when subsystems are feedback-interconnected and operate at different timescales.
Source-stated
The authors establish sufficient conditions involving separation between slow and fast dynamics for lifting a reduced-order safety certificate to the full interconnected system.
we establish sufficient conditions, involving separation between slow and fast dynamics, under which a reduced-order safety certificate can be lifted to the full interconnected system.
Source-stated
The authors report that the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced.
the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced.
Source-stated
The authors report numerical results on a planar 2-DoF manipulator with motor dynamics and a 6-DoF UR10e manipulator controlled by a suboptimal optimization algorithm.
a planar 2-DoF manipulator with motor dynamics and a 6-DoF UR10e manipulator controlled by a suboptimal optimization algorithm.
Source and contributor context
Di Gregorio, Stefano, Carnevale, Guido, Notarstefano, Giuseppe · Article author
These are credits stated by the source; they do not establish a profile match or authorship of every passage.
Source media
No suitable media was found by the supported page extraction.
Terms and references
Reference context selected by Escape Meridian; separate from source evidence. Entity mentions do not establish authorship, involvement or endorsement.
arXiv
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Editorial provenance
Version 1. Publication ID: afd5d1bf-6238-4e0b-8500-a89a2e0015ab.
Prepared by gpt-6-luna; grounding review by gpt-6-luna.
Source check: uncertain by anthropic/claude-opus-5.5 on 2026-11-10T08:54:33.352Z. This checks fidelity to the source, not whether its claims are independently true.
Editorial selection: accept; reasons: material_development.
Observation: b0550964751694c9486390ab8d171badbdccafa24b78f3f2a62bd06cf5135b9c. Source text hash: 2bf1b978ad11366fdb6ddd56a22e2ce5086ae3613c4810d479680142915844f0.
uncertain · 2026-11-10T08:54:33.352Z · anthropic/claude-opus-5.5
Publication: afd5d1bf-6238-4e0b-8500-a89a2e0015ab
attribution — pass: The reading correctly attributes the paper to Stefano Di Gregorio, Guido Carnevale and Giuseppe Notarstefano, and the claims are framed as the authors' work and reports.
Authors:Stefano Di Gregorio, Guido Carnevale, Giuseppe Notarstefano
summary — uncertain: The summary follows the abstract closely, but a non-specialist could not follow it. Central terms such as Control Barrier Functions, reduced-order safety certificate, forward invariance, lifted subset, singular perturbation and fast/slow dynamics are left unexplained, and no term-library tooltips are indicated. The reading never says plainly that this is a way to mathematically guarantee that systems such as robot arms stay within safe states. One sentence also states that numerical results 'validate the approach' without attributing that to the authors. Smallest repair: add a plain-language lead and tooltips, and attribute the validation claim to the authors.
Control Barrier Functions (CBFs) offer a powerful theory for enforcing safety in dynamical systems.
date — pass: The originalPublished date of 2026-10-31 matches the arXiv v1 submission date shown in the source.
[Submitted on 31 Oct 2026]
support — pass: Each claim quotes the abstract verbatim, and none overstates it. The limitation and the question correctly note that the abstract does not quantify the expansion of the safe set. No unsupported benefits or costs are implied.
We also show that the certified safe set expands monotonically as the tuning parameter accelerating the fast dynamics is reduced.
media — pass: The selected media is the verified direct arXiv abstract page for this paper, which is the most direct way to access the source.
Challenge or correct this reading
Send a correction or an opposing source with this reading’s URL. Disagreement and uncertainty can remain unresolved.
arXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXivarXiv is a research manuscript repository where authors share papers that may not yet have been peer reviewed.
Explore arXiv