Sökning: WFRF:(Pappas G.)
> (2020-2023) >
Control Barrier Fun...
Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications
-
- Lindemann, Lars (författare)
- KTH,Reglerteknik
-
Pappas, G. J. (författare)
-
- Dimarogonas, Dimos V. (författare)
- KTH,Reglerteknik
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2020
- 2020
- Engelska.
-
Ingår i: Proceedings of the IEEE Conference on Decision and Control. - : Institute of Electrical and Electronics Engineers Inc.. ; , s. 1422-1428
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- Temporal logics provide a formalism for expressing complex system specifications. A large body of literature has addressed the verification and the control synthesis problem for deterministic systems under such specifications. For stochastic systems or systems operating in unknown environments, however, only the probability of satisfying a specification has been considered so far, neglecting the risk of not satisfying the specification. Towards addressing this shortcoming, we consider, for the first time, risk metrics, such as (but not limited to) the Conditional Value-at-Risk, and propose risk signal temporal logic. Specifically, we compose risk metrics with stochastic predicates to consider the risk of violating certain spatial specifications. As a particular instance of such stochasticity, we consider control systems in unknown environments and present a determinization of the risk signal temporal logic specification to transform the stochastic control problem into a deterministic one. For unicycle-like dynamics, we then extend our previous work on deterministic time-varying control barrier functions.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer circuits
- Risks
- Specifications
- Stochastic control systems
- Stochastic systems
- Temporal logic
- Value engineering
- Conditional Value-at-Risk
- Control barriers
- Control synthesis
- Deterministic systems
- Nonholonomic systems
- Stochastic control
- System specification
- Temporal logic specifications
- Time varying control systems
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)