FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033207833> ?p ?o ?g. }

• W3033207833 abstract "There is currently a clear gap between control-theoretical results and the reality of robotic implementation, in the sense that it is very difficult to transfer analytical guarantees to practical ones. This is especially problematic when trying to design safety-critical systems where failure is not an option. While there is a vast body of work on safety and reliability in control theory, very little of it is actually used in practice where safety margins are typically empiric and/or heuristic. Nevertheless, it is still widely accepted that a solution to these problems can only emerge from rigorous analysis, mathematics, and methods. In this work, we therefore seek to help bridge this gap by revisiting and expanding existing theoretical results in light of the complexity of hardware implementation. To that end, we begin by making a clear theoretical distinction between systems and models, and outline how the two need to be related for guarantees to transfer from the latter to the former. We then formalize various imperfections of reality that need to be accounted for at a model level to provide theoretical results with better applicability. We then discuss the reality of digital controller implementation and present the mathematical constraints that theoretical control laws must satisfy for them to be implementable on real hardware. In light of these discussions, we derive new realizable set-invariance conditions that, if properly enforced, can guarantee safety with an arbitrary high levels of confidence. We then discuss how these conditions can be rigorously enforced in a systematic and minimally invasive way through convex optimization-based Safety Filters. Multiple safety filter formulations are proposed with varying levels of complexity and applicability. To enable the use of these safety filters, a new algorithm is presented to compute appropriate control invariant sets and guarantee feasibility of the optimization problem defining these filters. The effectiveness of this approach is demonstrated in simulation on a nonlinear inverted pendulum and experimentally on a simple vehicle. The aptitude of the framework to handle a system's dynamics uncertainty is illustrated by varying the mass of the vehicle and showcasing when safety is conserved. Then, the aptitude of this approach to provide guarantees that account for controller implementation's constraints is illustrated by varying the frequency of the control loop and again showcasing when safety is conserved. In the second part of this work, we revisit the safety filtering approach in a way that addresses the scalability issues of the first part of this work. There are two main approaches to safety-critical control. The first one relies on computation of control invariant sets and was presented in the first part of this work. The second approach draws from the topic of optimal control and relies on the ability to realize Model-Predictive-Controllers online to guarantee the safety of a system. In that online approach, safety is ensured at a planning stage by solving the control problem subject for some explicitly defined constraints on the state and control input. Both approaches have distinct advantages but also major drawbacks that hinder their practical effectiveness, namely scalability for the first one and computational complexity for the second one. We therefore present an approach that draws from the advantages of both approaches to deliver efficient and scalable methods of ensuring safety for nonlinear dynamical systems. In particular, we show that identifying a backup control law that stabilizes the system is in fact sufficient to exploit some of the set-invariance conditions presented in the first part of this work. Indeed, one only needs to be able to numerically integrate the closed-loop dynamics of the system over a finite horizon under this backup law to compute all the information necessary for evaluating the regulation map and enforcing safety.The effect of relaxing the stabilization requirements of the backup law is also studied, and weaker but more practical safety guarantees are brought forward. We then explore the relationship between the optimality of the backup law and how conservative the resulting safety filter is. Finally, methods of selecting a safe input with varying levels of trade-off between conservativeness and computational complexity are proposed and illustrated on multiple robotic systems, namely: a two-wheeled inverted pendulum (Segway), an industrial manipulator, a quadrotor, and a lower body exoskeleton." @default.
• W3033207833 created "2020-06-12" @default.
• W3033207833 creator A5073259853 @default.
• W3033207833 date "2020-01-01" @default.
• W3033207833 modified "2023-09-27" @default.
• W3033207833 title "Applied Safety Critical Control" @default.
• W3033207833 doi "https://doi.org/10.7907/y97v-b205." @default.
• W3033207833 hasPublicationYear "2020" @default.
• W3033207833 type Work @default.
• W3033207833 sameAs 3033207833 @default.
• W3033207833 citedByCount "0" @default.
• W3033207833 crossrefType "dissertation" @default.
• W3033207833 hasAuthorship W3033207833A5073259853 @default.
• W3033207833 hasConcept C100776233 @default.
• W3033207833 hasConcept C112930515 @default.
• W3033207833 hasConcept C121332964 @default.
• W3033207833 hasConcept C126322002 @default.
• W3033207833 hasConcept C154945302 @default.
• W3033207833 hasConcept C163258240 @default.
• W3033207833 hasConcept C173801870 @default.
• W3033207833 hasConcept C177264268 @default.
• W3033207833 hasConcept C199360897 @default.
• W3033207833 hasConcept C203479927 @default.
• W3033207833 hasConcept C2775924081 @default.
• W3033207833 hasConcept C41008148 @default.
• W3033207833 hasConcept C43214815 @default.
• W3033207833 hasConcept C62520636 @default.
• W3033207833 hasConcept C6557445 @default.
• W3033207833 hasConcept C71924100 @default.
• W3033207833 hasConcept C86803240 @default.
• W3033207833 hasConceptScore W3033207833C100776233 @default.
• W3033207833 hasConceptScore W3033207833C112930515 @default.
• W3033207833 hasConceptScore W3033207833C121332964 @default.
• W3033207833 hasConceptScore W3033207833C126322002 @default.
• W3033207833 hasConceptScore W3033207833C154945302 @default.
• W3033207833 hasConceptScore W3033207833C163258240 @default.
• W3033207833 hasConceptScore W3033207833C173801870 @default.
• W3033207833 hasConceptScore W3033207833C177264268 @default.
• W3033207833 hasConceptScore W3033207833C199360897 @default.
• W3033207833 hasConceptScore W3033207833C203479927 @default.
• W3033207833 hasConceptScore W3033207833C2775924081 @default.
• W3033207833 hasConceptScore W3033207833C41008148 @default.
• W3033207833 hasConceptScore W3033207833C43214815 @default.
• W3033207833 hasConceptScore W3033207833C62520636 @default.
• W3033207833 hasConceptScore W3033207833C6557445 @default.
• W3033207833 hasConceptScore W3033207833C71924100 @default.
• W3033207833 hasConceptScore W3033207833C86803240 @default.
• W3033207833 hasLocation W30332078331 @default.
• W3033207833 hasOpenAccess W3033207833 @default.
• W3033207833 hasPrimaryLocation W30332078331 @default.
• W3033207833 hasRelatedWork W2156003313 @default.
• W3033207833 hasRelatedWork W2222789563 @default.
• W3033207833 hasRelatedWork W2511289655 @default.
• W3033207833 hasRelatedWork W2611136914 @default.
• W3033207833 hasRelatedWork W2624774844 @default.
• W3033207833 hasRelatedWork W2772882203 @default.
• W3033207833 hasRelatedWork W2914264703 @default.
• W3033207833 hasRelatedWork W2947311320 @default.
• W3033207833 hasRelatedWork W2953736942 @default.
• W3033207833 hasRelatedWork W3006506827 @default.
• W3033207833 hasRelatedWork W3022299162 @default.
• W3033207833 hasRelatedWork W3046540105 @default.
• W3033207833 hasRelatedWork W3048342679 @default.
• W3033207833 hasRelatedWork W3094058178 @default.
• W3033207833 hasRelatedWork W3100803008 @default.
• W3033207833 hasRelatedWork W3173331501 @default.
• W3033207833 hasRelatedWork W3203939728 @default.
• W3033207833 hasRelatedWork W3205295347 @default.
• W3033207833 hasRelatedWork W3208689195 @default.
• W3033207833 hasRelatedWork W2921180173 @default.
• W3033207833 isParatext "false" @default.
• W3033207833 isRetracted "false" @default.
• W3033207833 magId "3033207833" @default.
• W3033207833 workType "dissertation" @default.