東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Exploiting Structure in Safety Control /

Liu, Zexiang,

Linked to FindBook

Google Book

Amazon

博客來

Exploiting Structure in Safety Control /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Exploiting Structure in Safety Control // Zexiang Liu.
Author:	Liu, Zexiang,
Description:	1 electronic resource (225 pages)
Notes:	Source: Dissertations Abstracts International, Volume: 85-12, Section: B.
Contained By:	Dissertations Abstracts International85-12B.
Subject:	Engineering. -
Online resource:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31348891
ISBN:	9798382738574

Exploiting Structure in Safety Control /
Liu, Zexiang,

Exploiting Structure in Safety Control /Zexiang Liu. - 1 electronic resource (225 pages)

Source: Dissertations Abstracts International, Volume: 85-12, Section: B.

For safety-critical systems such as autonomous vehicles, power systems, and robotics, it is important to guarantee the systems operate under given safety constraints. Numerous safety control methods have been proposed for this purpose, but many of them are developed for a wide range of systems and do not take full advantage of the structures inherent in dynamics, controllers, and disturbances. This dissertation focuses on enhancing scalability and reducing conservativeness in safety control by leveraging these structures.The first part of the dissertation focuses on developing scalable safety controller synthesis algorithms. We begin with analyzing the convergence properties of the inside-out algorithm, a well-established method for computing inner approximations of the maximal robust controlled invariant set (RCIS). Under mild conditions, we show that the inside-out algorithm converges exponentially to the maximal RCIS for linear systems, filling an important gap in the literature. Following the analysis of the inside-out algorithm, we develop efficient methods for computing implicit RCISs for discrete-time controllable systems. By augmenting the original system with a periodic structure, our implicit RCISs are constructed in closed form, making the proposed methods more scalable than competing approaches. Leveraging the convergence analysis for the inside-out algorithm, we further prove that the proposed implicit RCIS converges exponentially to a well-defined maximal set with a tuning parameter. Finally, we investigate the safety control problem for input-delayed systems, which are very common in the real world and possess a special structure in the system dynamics. By exploiting this structure, we show that the maximal RCIS for systems with input delay is embedded in the maximal RCIS of an auxiliary system, whose dimension is independent of the delay time. Leveraging this property, we propose an efficient method for computing the maximal RCIS for input-delayed systems, which scales well with the delay time.In the second part of the dissertation, we focus on reducing the conservativeness in safety control, by leveraging structure in disturbance. One such structure is preview on disturbance. To assess the value of preview information in safety control, we introduce a metric called safety regret that quantifies the variation of the maximal RCIS as the preview horizon changes. For discrete-time linear systems, we prove the exponential convergence of the safety regret with the preview horizon and offer numerical algorithms that estimate the convergence rate. Our analysis can provide valuable insights when it comes to selecting sensors or perception algorithms with different prediction horizons. It is worth noting that synthesizing safety controllers for systems with preview is in general a challenging task. In this dissertation, we present efficient methods for computing the maximal RCIS for three classes of systems with preview, for which we can again exploit special structures in system dynamics to improve scalability. Finally, we introduce a novel safety control framework called opportunistic safety control, enabling safe operation beyond the maximal RCIS. This framework identifies worst-case disturbance models for each state and constructs control inputs robust to these models. Such disturbance model and control inputs can be computed from the maximal RCIS of an auxiliary system. We show in both simulation and drone experiments that our approach outperforms the existing safety control framework, especially when the system operates beyond the maximal RCIS with unexpected disturbance.

English

ISBN: 9798382738574Subjects--Topical Terms:

586835
Engineering.
Subjects--Index Terms:

Safety control

Exploiting Structure in Safety Control /
LDR:05176nmm a22004693i 4500 001 2438619
005 20260727134402.5
006 m o d
007 cr|nu||||||||
008 261011s2024 miu||||||m |||||||eng d
020 $a 9798382738574
035 $a (MiAaPQD)AAI31348891
035 $a (MiAaPQD)umichrackham005559
035 $a AAI31348891
040 $a MiAaPQD $b eng $c MiAaPQD $e rda
100 1 $a Liu, Zexiang, $e author. $3 3829982
245 1 0 $a Exploiting Structure in Safety Control / $c Zexiang Liu.
264 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2024
300 $a 1 electronic resource (225 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-12, Section: B.
500 $a Advisors: Ozay, Necmiye Committee members: Grizzle, Jessy; Lafortune, Stéphane; Seiler, Peter; Tabuada, Paulo.
502 $b Ph.D. $c University of Michigan $d 2024.
520 $a For safety-critical systems such as autonomous vehicles, power systems, and robotics, it is important to guarantee the systems operate under given safety constraints. Numerous safety control methods have been proposed for this purpose, but many of them are developed for a wide range of systems and do not take full advantage of the structures inherent in dynamics, controllers, and disturbances. This dissertation focuses on enhancing scalability and reducing conservativeness in safety control by leveraging these structures.The first part of the dissertation focuses on developing scalable safety controller synthesis algorithms. We begin with analyzing the convergence properties of the inside-out algorithm, a well-established method for computing inner approximations of the maximal robust controlled invariant set (RCIS). Under mild conditions, we show that the inside-out algorithm converges exponentially to the maximal RCIS for linear systems, filling an important gap in the literature. Following the analysis of the inside-out algorithm, we develop efficient methods for computing implicit RCISs for discrete-time controllable systems. By augmenting the original system with a periodic structure, our implicit RCISs are constructed in closed form, making the proposed methods more scalable than competing approaches. Leveraging the convergence analysis for the inside-out algorithm, we further prove that the proposed implicit RCIS converges exponentially to a well-defined maximal set with a tuning parameter. Finally, we investigate the safety control problem for input-delayed systems, which are very common in the real world and possess a special structure in the system dynamics. By exploiting this structure, we show that the maximal RCIS for systems with input delay is embedded in the maximal RCIS of an auxiliary system, whose dimension is independent of the delay time. Leveraging this property, we propose an efficient method for computing the maximal RCIS for input-delayed systems, which scales well with the delay time.In the second part of the dissertation, we focus on reducing the conservativeness in safety control, by leveraging structure in disturbance. One such structure is preview on disturbance. To assess the value of preview information in safety control, we introduce a metric called safety regret that quantifies the variation of the maximal RCIS as the preview horizon changes. For discrete-time linear systems, we prove the exponential convergence of the safety regret with the preview horizon and offer numerical algorithms that estimate the convergence rate. Our analysis can provide valuable insights when it comes to selecting sensors or perception algorithms with different prediction horizons. It is worth noting that synthesizing safety controllers for systems with preview is in general a challenging task. In this dissertation, we present efficient methods for computing the maximal RCIS for three classes of systems with preview, for which we can again exploit special structures in system dynamics to improve scalability. Finally, we introduce a novel safety control framework called opportunistic safety control, enabling safe operation beyond the maximal RCIS. This framework identifies worst-case disturbance models for each state and constructs control inputs robust to these models. Such disturbance model and control inputs can be computed from the maximal RCIS of an auxiliary system. We show in both simulation and drone experiments that our approach outperforms the existing safety control framework, especially when the system operates beyond the maximal RCIS with unexpected disturbance.
546 $a English
590 $a School code: 0127
650 4 $a Engineering. $3 586835
650 4 $a Electrical engineering. $3 649834
650 4 $a Mechanical engineering. $3 649730
650 4 $a Computer engineering. $3 621879
650 4 $a Automotive engineering. $3 2181195
653 $a Safety control
653 $a Robust controlled invariant set
653 $a Numerical methods
653 $a Input delay systems
653 $a Scalability
690 $a 0544
690 $a 0548
690 $a 0537
690 $a 0464
690 $a 0540
710 2 $a University of Michigan. $b Electrical and Computer Engineering. $e degree granting institution. $3 3818560
720 1 $a Ozay, Necmiye $e degree supervisor.
773 0 $t Dissertations Abstracts International $g 85-12B.
790 $a 0127
791 $a Ph.D.
792 $a 2024
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31348891