Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. HSCC 2018 Porto, Portugal
|
|
- Abigail Franklin
- 5 years ago
- Views:
Transcription
1 Scalable Underapproximative Verification of Stochastic LTI Systems using ity and Compactness Abraham Vinod and Meeko Oishi Electrical and Computer Engineering, University of New Mexico April 11, 2018 HSCC 2018 Porto, Portugal Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 1 / 16
2 Motivation Real world problems stochastic and high-dimensional Motion planning in stochastic environments transportation Human-automation collaboration systems biomedical systems Need for probabilistic guarantees of safety and performance Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 2 / 16
3 Motivation Target Safe set Stochastic reach-avoid problem viability and reachability maximize subject to P{stay safe and reach target at the time horizon} dynamics, initial state, policy constraints Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 2 / 16
4 Motivation Target P θ Safe set Stochastic reach-avoid problem viability and reachability maximize subject to P{stay safe and reach target at the time horizon} dynamics, initial state, policy constraints Stochastic reach-avoid set acceptable initial states P θ High computation costs and lacks scalability Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 2 / 16
5 Motivation Target P θ Safe set Stochastic reach-avoid problem viability and reachability maximize subject to P{stay safe and reach target at the time horizon} dynamics, initial state, policy constraints Stochastic reach-avoid set acceptable initial states P θ High computation costs and lacks scalability Objective: Compute a polytopic underapproximation of P θ Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 2 / 16
6 Main contributions Target P θ Safe set Polytopic underapproximation of stochastic reach-avoid set Open-loop underapproximation compact sets Sufficient conditions for closed, compact, and convex Stochastic reach-avoid set Open-loop underapproximation Admittance of optimal bang-bang Markov policies Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 3 / 16
7 Related work Backward stochastic reachability Abate, Amin, Prandini, Lygeros, & Sastry (2007); Abate, Prandini, Lygeros, & Sastry (2008); Summers, & Lygeros (2010) Approximation techniques Lesser, Oishi, & Erwin (2013); Manganini, Pirotta, Restelli, Piroddi, & Prandini (2015); Kariotoglou, Kamgarpour, Summers, & Lygeros (2017); Gleason, Vinod, & Oishi (2017); Vinod & Oishi (2017) Forward stochastic reachability Lasota & Mackey (1985); Althoff, Stursberg, & Buss (2009); Vinod, HomChaudhuri, & Oishi (2017); HomChaudhuri, Vinod, & Oishi (2017) Uncertain system reachability (discrete time) Bertsekas and Rhodes (1971); Girard (2005); Kurzhanskiy & Varaiya (2006); Kvasnica, Takács, Holaza, & Ingole (2015); Althoff (2015); Bak & Duggirala (2017) Uncertain system reachability (continuous time) Tomlin, Mitchell, Bayen, & Oishi (2003); Bokanowski, Forcadel, & Zidani (2010); Huang, Ding, Zhang, & Tomlin (2015); Chen, Herbert, & Tomlin (2017) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 4 / 16
8 System formulation Discrete-time LTI system (time horizon N and initial state x 0 X ) x k+1 = Ax k + Bu k + w k x k X = R n, u k U R m w k W R p, w k ψ w ( ) Continuous state Markov decision process (when IID noise) X = [x 1 P π,x X 0 P ρ,x X 0 Q(dy x, u) = ψ w (y Ax Bu)dy... x N ] X N random vector with probability measure Markov (closed-loop) policy π : N [0,N 1] X U, π M Open-loop policy ρ : X U N, ρ(x 0 ) M Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 5 / 16
9 Stochastic reach-avoid problem and its solution S, T X Terminal stochastic reach-avoid problem P π,x { ( V X 0 X S N 1 T )} 0 (x 0) = max. π s. t. π M Solution via dynamic programming VN(x) = 1 T (x) Vk (x) = sup 1 S (x) u U X V k+1(y)q(dy x, u) Discretization approach For compact U, S, T and Lipschitz Q Curse of dimensionality n 3 S π 2 x 0 x 0 S x 1 S x 2 S T π. x N 1 S x N T X S N 1 T X Abate, Amin, Prandini, Lygeros, and Sastry, HSCC 2007 Summers and Lygeros, Automatica 2010 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 6 / 16
10 Stochastic reach-avoid problem and its solution S, T X Terminal stochastic reach-avoid problem [( N 1 ) ] V0 (x 0) = max. E π x 0 k=0 1 S(x k ) 1 T (x N ) π s. t. π M Solution via dynamic programming VN(x) = 1 T (x) Vk (x) = sup 1 S (x) u U X V k+1(y)q(dy x, u) Discretization approach For compact U, S, T and Lipschitz Q Curse of dimensionality n 3 S π 2 x 0 x 0 S x 1 S x 2 S T π. x N 1 S x N T X S N 1 T X Abate, Amin, Prandini, Lygeros, and Sastry, HSCC 2007 Summers and Lygeros, Automatica 2010 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 6 / 16
11 Stochastic reach-avoid problem and its solution S, T X Terminal stochastic reach-avoid problem [( N 1 ) ] V0 (x 0) = max. E π x 0 k=0 1 S(x k ) 1 T (x N ) π s. t. π M Solution via dynamic programming VN(x) = 1 T (x) Vk (x) = sup 1 S (x) u U X V k+1(y)q(dy x, u) Discretization approach For compact U, S, T and Lipschitz Q Curse of dimensionality n 3 S π 2 x 0 T π X Abate, Amin, Prandini, Lygeros, and Sastry, HSCC 2007 Summers and Lygeros, Automatica 2010 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 6 / 16
12 Underapproximation of the stochastic reach-avoid problem Stochastic reach-avoid problem { } max. P π,x 0 X X (S N 1 T ) s.t. π M Underapproximation max. P ρ,x 0 X s.t. { X (S N 1 T ) ρ(x 0 ) U N Optimal value function V0 (x 0) Optimal value function W0 (x 0) Search over Markov policies Search over open-loop policies } Vinod and Oishi, LCSS 2017 Vinod, HomChaudhuri, and Oishi, HSCC 2017 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 7 / 16
13 Underapproximation of the stochastic reach-avoid problem Stochastic reach-avoid problem { } max. P π,x 0 X X (S N 1 T ) s.t. π M Underapproximation max. S N 1 T ψ X(X; ρ, x 0 )dx s.t. ρ(x 0 ) U N Optimal value function V0 (x 0) Optimal value function W0 (x 0) Search over Markov policies Search over open-loop policies Vinod and Oishi, LCSS 2017 Vinod, HomChaudhuri, and Oishi, HSCC 2017 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 7 / 16
14 Underapproximation of the stochastic reach-avoid problem Stochastic reach-avoid problem { } max. P π,x 0 X X (S N 1 T ) s.t. π M Underapproximation max. S N 1 T ψ X(X; ρ, x 0 )dx s.t. ρ(x 0 ) U N Optimal value function V0 (x 0) Optimal value function W0 (x 0) Search over Markov policies Search over open-loop policies Fourier transform IID noise Ψ W = Ψ w ψ W Ψ W Ψ w X = A x 0 + H ρ(x 0 ) + G W Fourier transform ψ X ( ; ρ, x 0 ) Inverse Fourier transform Ψ X ( ; ρ, x 0 ) ψ w W 0 (x 0) V 0 (x 0) a.s. Quadrature ψ(x; ρ, x 0 )dx + patternsearch Vinod and Oishi, LCSS 2017 Vinod, HomChaudhuri, and Oishi, HSCC 2017 Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 7 / 16
15 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
16 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
17 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
18 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
19 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
20 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
21 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
22 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
23 Underapproximation of stochastic reach-avoid sets Stochastic reach-avoid set and its underapproximation, θ [0, 1] L π (θ, S, T ) = {x 0 X : V0 (x 0 ) θ} K ρ (θ, S, T ) = {x 0 X : W0 (x 0 ) θ} L π (θ, S, T ) compact set tight polytopic underapproximation W 0 (x 0) V 0 (x 0) a.s. Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 8 / 16
24 Problem statements Q1 Compute a tight polytopic underapproximation of K ρ (θ, S, T ) in a grid-free manner Q2 When are L π (θ, S, T ) and K ρ (θ, S, T ) convex and compact? Log-concavity and upper semicontinuity of V 0 (x 0) and W 0 (x 0) Admittance of bang-bang optimal Markov policies Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 9 / 16
25 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
26 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
27 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
28 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
29 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
30 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
31 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = D bisections to ɛ accuracy Runtime: O( D log( ɛ )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
32 Tight polytopic underapproximation of K ρ (θ, S, T ) V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) upper semi-continuity Closed Closed Compact θ (0, 1] Compact S T Q( x, u) U Continuous Compact Closed Continuous Compact β > W 0 (x max) > α > 0 K ρ (β, S, T ) = Grid-free, parallelizable, tight polytopic underapproximation! Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 10 / 16
33 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact u 1 T u 1 T x 0 u 2 X x 0 u 2 X Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
34 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
35 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) V N,bang(x) = 1 T (x) V k,bang(x) = inf u U X V k+1(y)q(dy x, u) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
36 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) V N,bang(x) = 1 T (x) V k,bang(x) = inf u U vertices X V k+1(y)q(dy x, u) exp ( x ) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
37 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) V N,bang(x) = 1 T (x) V k,bang(x) = inf u U vertices X V k+1(y)q(dy x, u) ( log exp ( x )) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
38 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) V N,bang(x) = 1 T (x) V k,bang(x) = inf u U vertices X V k+1(y)q(dy x, u) ( log exp minimize exp ( )) x ( x s.t x [2.5, 6] ) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
39 Special case: Bang-bang optimal Markov policies V 0 (x) and W 0 (x) Property Lπ (θ) and K ρ (θ) Avoid T at N: Reach X \ T at N, S X, and U = convexhull(u vertices ) S T Q( x, u) U Continuous Compact V0 (x 0 ) = sup P π,x X 0{x N X \ T } π M = 1 inf π M Pπ,x 0 X {x N T } 1 V 0,bang(x) V N,bang(x) = 1 T (x) V k,bang(x) = inf u U vertices X V k+1(y)q(dy x, u) ( log exp minimize exp ( )) x ( x s.t x [2.5, 6] ) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 11 / 16
40 Chain of integrators n = 2 (4 6 min. vs 34 min.) n = 40 (16 31 min.) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 12 / 16
41 Satellite docking problem Clohessy-Wiltshire-Hill dynamics } x t+1 = Ax t + Bu t + w t ẍ 3ωx 2ωẏ = u 1 x ÿ + 2ωẋ = u t = [x t y t ẋ t ẏ t] 2 w t N (0, Σ w) Stay within line-of-sight cone and reach target ẋ 0 = 0 ẏ 0 = 0 ẋ 0 = 0.1 ẏ 0 = 0.1 Compute time (min.) Proposed method Chance const. (CDC 13) Lagrangian (CDC 17) Dyn. prog. (HSCC 07) Value of v (ẋ 0 = ẏ 0 = v) Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 13 / 16
42 Conclusion Summary Polytopic underapproximation for the stochastic reach-avoid set Scalable, grid-free, parallelizable Sufficient conditions for Closed, compact, convex sets Optimal bang-bang policies Future work Mitigate noisy optimization Feedback-based underapproximation Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 14 / 16
43 Acknowledgement This work was supported by the following grants: NSF CMMI (CAREER, Oishi) CNS Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 15 / 16
44 Conclusion Summary Polytopic underapproximation for the stochastic reach-avoid set Scalable, grid-free, parallelizable Sufficient conditions for Closed, compact, convex sets Optimal bang-bang policies Future work Mitigate noisy optimization Feedback-based underapproximation Vinod and Oishi Scalable Underapproximative Verification of Stochastic LTI Systems 16 / 16
arxiv: v1 [math.oc] 8 Nov 2018
Voronoi Partition-based Scenario Reduction for Fast Sampling-based Stochastic Reachability Computation of LTI Systems Hossein Sartipizadeh, Abraham P. Vinod, Behçet Açıkmeşe, and Meeko Oishi arxiv:8.03643v
More informationApproximate dynamic programming for stochastic reachability
Approximate dynamic programming for stochastic reachability Nikolaos Kariotoglou, Sean Summers, Tyler Summers, Maryam Kamgarpour and John Lygeros Abstract In this work we illustrate how approximate dynamic
More informationModels for Control and Verification
Outline Models for Control and Verification Ian Mitchell Department of Computer Science The University of British Columbia Classes of models Well-posed models Difference Equations Nonlinear Ordinary Differential
More informationThe Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
Journal of Artificial Intelligence Research 1 (2016)? Submitted 6/16; published? The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes Nikolaos Kariotoglou karioto@control.ee.ethz.ch
More informationReachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems Saurabh Amin, Alessandro Abate, Maria Prandini 2, John Lygeros 3, and Shankar Sastry University of California at Berkeley -
More informationReachability Analysis: State of the Art for Various System Classes
Reachability Analysis: State of the Art for Various System Classes Matthias Althoff Carnegie Mellon University October 19, 2011 Matthias Althoff (CMU) Reachability Analysis October 19, 2011 1 / 16 Introduction
More informationProbabilistic reachability and safe sets computation for discrete time stochastic hybrid systems
Proceedings of the 45th IEEE Conference on Decision & Control Manchester Grand Hyatt Hotel San Diego, CA, USA, December 13-15, 2006 Probabilistic reachability and safe sets computation for discrete time
More informationGradient Sampling for Improved Action Selection and Path Synthesis
Gradient Sampling for Improved Action Selection and Path Synthesis Ian M. Mitchell Department of Computer Science The University of British Columbia November 2016 mitchell@cs.ubc.ca http://www.cs.ubc.ca/~mitchell
More informationONR MURI AIRFOILS: Animal Inspired Robust Flight with Outer and Inner Loop Strategies. Calin Belta
ONR MURI AIRFOILS: Animal Inspired Robust Flight with Outer and Inner Loop Strategies Provable safety for animal inspired agile flight Calin Belta Hybrid and Networked Systems (HyNeSs) Lab Department of
More informationReach Sets and the Hamilton-Jacobi Equation
Reach Sets and the Hamilton-Jacobi Equation Ian Mitchell Department of Computer Science The University of British Columbia Joint work with Alex Bayen, Meeko Oishi & Claire Tomlin (Stanford) research supported
More informationFormal verification of complex systems: model-based and data-driven methods. Alessandro Abate
Formal verification of complex systems: model-based and data-driven methods Alessandro Abate Department of Computer Science, University of Oxford MEMOCODE - Sept 30, 2017 Alessandro Abate, CS, Oxford Model-based
More informationValidation of Cognitive Models for Collaborative Hybrid Systems with Discrete Human Input
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Daejeon Convention Center October 9-14, 2016, Daejeon, Korea Validation of Cognitive Models for Collaborative Hybrid Systems
More informationRESEARCH ARTICLE. Complexity Reduction Through a Schur-Based Decomposition for Reachability Analysis of Linear Time-Invariant Systems
International Journal of Control Vol., No., Month 2x, 1 19 RESEARCH ARTICLE Complexity Reduction Through a Schur-Based Decomposition for Reachability Analysis of Linear Time-Invariant Systems Shahab Kaynama
More informationComputation of an Over-Approximation of the Backward Reachable Set using Subsystem Level Set Functions. Stanford University, Stanford, CA 94305
To appear in Dynamics of Continuous, Discrete and Impulsive Systems http:monotone.uwaterloo.ca/ journal Computation of an Over-Approximation of the Backward Reachable Set using Subsystem Level Set Functions
More informationSchur-Based Decomposition for Reachability Analysis of Linear Time-Invariant Systems
Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference Shanghai, P.R. China, December 16-18, 9 WeA2.6 Schur-Based Decomposition for Reachability Analysis of Linear Time-Invariant
More informationFixed-Complexity Piecewise Ellipsoidal Representation of the Continual Reachability Set Based on Ellipsoidal Techniques
Fixed-Complexity Piecewise Ellipsoidal Representation of the Continual Reachability Set Based on Ellipsoidal Techniques Shahab Kaynama, Meeko Oishi, Ian M. Mitchell, and Guy A. Dumont Abstract In a previous
More informationThe computation of the viability kernel for switched systems
Lv and Gao Advances in Difference Equations (2018) 2018:297 https://doi.org/10.1186/s13662-018-1756-y R E S E A R C H Open Access The computation of the viability kernel for switched systems Jianfeng Lv
More informationComputing the Viability Kernel Using Maximal Reachable Sets
Computing the Viability Kernel Using Maximal Reachable Sets Shahab Kaynama Department of Electrical and Computer Engineering University of British Columbia Vancouver, BC, Canada kaynama@ece.ubc.ca Ian
More informationOverapproximating the Reachable Sets of LTI Systems Through a Similarity Transformation
Overapproximating the Reachable Sets of LTI Systems Through a Similarity Transformation Shahab Kaynama and Meeko Oishi Abstract We present a decomposition method for complexity reduction in reachability
More informationFailure Diagnosis of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements
Failure Diagnosis of Discrete-Time Stochastic Systems subject to Temporal Logic Correctness Requirements Jun Chen, Student Member, IEEE and Ratnesh Kumar, Fellow, IEEE Dept. of Elec. & Comp. Eng., Iowa
More informationSafety Analysis for Controller Handover in Mobile Systems
Preprints of the 2th World Congress The International Federation of Automatic Control Safety Analysis for Controller Handover in Mobile Systems Dirk van Dooren, Sebastian Schiessl, Adam Molin, James Gross,
More informationGeodesic Density Tracking with Applications to Data Driven Modeling
Geodesic Density Tracking with Applications to Data Driven Modeling Abhishek Halder and Raktim Bhattacharya Department of Aerospace Engineering Texas A&M University College Station, TX 77843-3141 American
More informationHamilton-Jacobi formulation for Reach-Avoid Problems with an application to Air Traffic Management
2010 American Control Conference Marriott Waterfront, Baltimore, MD, USA June 30-July 02, 2010 ThA20.2 Hamilton-Jacobi formulation for Reach-Avoid Problems with an application to Air Traffic Management
More informationValue Function and Optimal Trajectories for some State Constrained Control Problems
Value Function and Optimal Trajectories for some State Constrained Control Problems Hasnaa Zidani ENSTA ParisTech, Univ. of Paris-saclay "Control of State Constrained Dynamical Systems" Università di Padova,
More informationVerifying safety of an autonomous spacecraft rendezvous mission (Benchmark Proposal)
EPiC Series in Computing Volume 48, 2017, Pages 20 32 ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems Verifying safety of an autonomous spacecraft rendezvous
More informationBayesian Contextual Multi-armed Bandits
Bayesian Contextual Multi-armed Bandits Xiaoting Zhao Joint Work with Peter I. Frazier School of Operations Research and Information Engineering Cornell University October 22, 2012 1 / 33 Outline 1 Motivating
More informationNonlinear and robust MPC with applications in robotics
Nonlinear and robust MPC with applications in robotics Boris Houska, Mario Villanueva, Benoît Chachuat ShanghaiTech, Texas A&M, Imperial College London 1 Overview Introduction to Robust MPC Min-Max Differential
More informationReachability Analysis of Nonlinear and Hybrid Systems using Zonotopes May 7, / 56
Reachability Analysis of Nonlinear and Hybrid Systems using Zonotopes Matthias Althoff Carnegie Mellon Univ. May 7, 2010 Reachability Analysis of Nonlinear and Hybrid Systems using Zonotopes May 7, 2010
More informationMotion Planning for LTL Specifications: A Satisfiability Modulo Convex Optimization Approach
Motion Planning for LTL Specifications: A Satisfiability Modulo Convex Optimization Approach Yasser Shoukry UC Berkeley, UCLA, and UPenn Joint work with Pierluigi Nuzzo (UC Berkeley), Indranil Saha (IIT
More informationA NUMERICAL METHOD TO SOLVE A QUADRATIC CONSTRAINED MAXIMIZATION
A NUMERICAL METHOD TO SOLVE A QUADRATIC CONSTRAINED MAXIMIZATION ALIREZA ESNA ASHARI, RAMINE NIKOUKHAH, AND STEPHEN L. CAMPBELL Abstract. The problem of maximizing a quadratic function subject to an ellipsoidal
More informationA NOVEL FILLED FUNCTION METHOD FOR GLOBAL OPTIMIZATION. 1. Introduction Consider the following unconstrained programming problem:
J. Korean Math. Soc. 47, No. 6, pp. 53 67 DOI.434/JKMS..47.6.53 A NOVEL FILLED FUNCTION METHOD FOR GLOBAL OPTIMIZATION Youjiang Lin, Yongjian Yang, and Liansheng Zhang Abstract. This paper considers the
More informationSafety control of piece-wise continuous order preserving systems
Safety control of piece-wise continuous order preserving systems Reza Ghaemi and Domitilla Del Vecchio Abstract This paper is concerned with safety control of systems with imperfect state information and
More informationOptimization-based Modeling and Analysis Techniques for Safety-Critical Software Verification
Optimization-based Modeling and Analysis Techniques for Safety-Critical Software Verification Mardavij Roozbehani Eric Feron Laboratory for Information and Decision Systems Department of Aeronautics and
More informationarxiv: v1 [math.oc] 11 Jan 2018
From Uncertainty Data to Robust Policies for Temporal Logic Planning arxiv:181.3663v1 [math.oc 11 Jan 218 ABSTRACT Pier Giuseppe Sessa* Automatic Control Laboratory, ETH Zürich Zürich, Switzerland sessap@student.ethz.ch
More informationThe HJB-POD approach for infinite dimensional control problems
The HJB-POD approach for infinite dimensional control problems M. Falcone works in collaboration with A. Alla, D. Kalise and S. Volkwein Università di Roma La Sapienza OCERTO Workshop Cortona, June 22,
More informationAbstraction-based synthesis: Challenges and victories
Abstraction-based synthesis: Challenges and victories Majid Zamani Hybrid Control Systems Group Electrical Engineering Department Technische Universität München December 14, 2015 Majid Zamani (TU München)
More informationA Robust Event-Triggered Consensus Strategy for Linear Multi-Agent Systems with Uncertain Network Topology
A Robust Event-Triggered Consensus Strategy for Linear Multi-Agent Systems with Uncertain Network Topology Amir Amini, Amir Asif, Arash Mohammadi Electrical and Computer Engineering,, Montreal, Canada.
More informationActive Fault Diagnosis for Uncertain Systems
Active Fault Diagnosis for Uncertain Systems Davide M. Raimondo 1 Joseph K. Scott 2, Richard D. Braatz 2, Roberto Marseglia 1, Lalo Magni 1, Rolf Findeisen 3 1 Identification and Control of Dynamic Systems
More informationDynamic Risk Tolerance: Motion Planning by Balancing Short-Term and Long-Term Stochastic Dynamic Predictions
Dynamic Risk Tolerance: Motion Planning by Balancing Short-Term and Long-Term Stochastic Dynamic Predictions Hao-Tien (Lewis) Chiang 1, Baisravan HomChaudhuri 2, Abraham P. Vinod 2, Meeko Oishi 2, Lydia
More informationDiscrete State Space Methods for Dynamic Economies
Discrete State Space Methods for Dynamic Economies A Brief Introduction Craig Burnside Duke University September 2006 Craig Burnside (Duke University) Discrete State Space Methods September 2006 1 / 42
More informationUsing Theorem Provers to Guarantee Closed-Loop Properties
Using Theorem Provers to Guarantee Closed-Loop Properties Nikos Aréchiga Sarah Loos André Platzer Bruce Krogh Carnegie Mellon University April 27, 2012 Aréchiga, Loos, Platzer, Krogh (CMU) Theorem Provers
More informationSafety Preserving Control Synthesis for Sampled Data Systems
Safety Preserving Control Synthesis for Sampled Data Systems Ian M. Mitchell Department of Computer Science, University of British Columbia Shahab Kaynama, Mo Chen Department of Electrical Engineering
More informationStochastic validation of ATM procedures by abstraction algorithms
1 Stochastic validation of ATM procedures by abstraction algorithms Maria D. Di Benedetto, G. Di Matteo and A. D Innocenzo Department of Electrical and Information Engineering, Center of Excellence DEWS
More informationSemi-decidable Synthesis for Triangular Hybrid Systems
Semi-decidable Synthesis for Triangular Hybrid Systems Omid Shakernia 1, George J. Pappas 2, and Shankar Sastry 1 1 Department of EECS, University of California at Berkeley, Berkeley, CA 94704 {omids,sastry}@eecs.berkeley.edu
More informationUsing Computer Games for Hybrid Systems Controller Synthesis
49th IEEE Conference on Decision and Control December 15-17, 2010 Hilton Atlanta Hotel, Atlanta, GA, USA Using Computer Games for Hybrid Systems Controller Synthesis A. Agung Julius and Sina Afshari Abstract
More informationAn ADMM algorithm for optimal sensor and actuator selection
An ADMM algorithm for optimal sensor and actuator selection Neil K. Dhingra, Mihailo R. Jovanović, and Zhi-Quan Luo 53rd Conference on Decision and Control, Los Angeles, California, 2014 1 / 25 2 / 25
More informationMoment Measures. Bo az Klartag. Tel Aviv University. Talk at the asymptotic geometric analysis seminar. Tel Aviv, May 2013
Tel Aviv University Talk at the asymptotic geometric analysis seminar Tel Aviv, May 2013 Joint work with Dario Cordero-Erausquin. A bijection We present a correspondence between convex functions and Borel
More informationDynamical constrained. impulse system analysis. through viability approach and applications.
Dynamical constrained impulse system analysis through viability approach and applications. Patrick Saint-Pierre Center for Hybrid and Embedded Software Systems Berkeley - 21 November 2006 Outline 1. Viability
More informationValue Function Iteration
Value Function Iteration (Lectures on Solution Methods for Economists II) Jesús Fernández-Villaverde 1 and Pablo Guerrón 2 February 26, 2018 1 University of Pennsylvania 2 Boston College Theoretical Background
More informationProbabilistic Model Checking and Strategy Synthesis for Robot Navigation
Probabilistic Model Checking and Strategy Synthesis for Robot Navigation Dave Parker University of Birmingham (joint work with Bruno Lacerda, Nick Hawes) AIMS CDT, Oxford, May 2015 Overview Probabilistic
More informationControlled Diffusions and Hamilton-Jacobi Bellman Equations
Controlled Diffusions and Hamilton-Jacobi Bellman Equations Emo Todorov Applied Mathematics and Computer Science & Engineering University of Washington Winter 2014 Emo Todorov (UW) AMATH/CSE 579, Winter
More informationProbabilistic Graphical Models
Probabilistic Graphical Models Lecture 9: Variational Inference Relaxations Volkan Cevher, Matthias Seeger Ecole Polytechnique Fédérale de Lausanne 24/10/2011 (EPFL) Graphical Models 24/10/2011 1 / 15
More informationOptimal Control of Partially Observable Piecewise Deterministic Markov Processes
Optimal Control of Partially Observable Piecewise Deterministic Markov Processes Nicole Bäuerle based on a joint work with D. Lange Wien, April 2018 Outline Motivation PDMP with Partial Observation Controlled
More informationarxiv: v2 [math.oc] 27 Aug 2018
From Uncertainty Data to Robust Policies for Temporal Logic Planning arxiv:181.3663v2 [math.oc 27 Aug 218 ABSTRACT Pier Giuseppe Sessa Automatic Control Laboratory, ETH Zurich Zurich, Switzerland sessap@student.ethz.ch
More informationMaking Flippy Floppy
Making Flippy Floppy James V. Burke UW Mathematics jvburke@uw.edu Aleksandr Y. Aravkin IBM, T.J.Watson Research sasha.aravkin@gmail.com Michael P. Friedlander UBC Computer Science mpf@cs.ubc.ca Current
More informationAn iterative procedure for constructing subsolutions of discrete-time optimal control problems
An iterative procedure for constructing subsolutions of discrete-time optimal control problems Markus Fischer version of November, 2011 Abstract An iterative procedure for constructing subsolutions of
More informationDeterministic Dynamic Programming
Deterministic Dynamic Programming 1 Value Function Consider the following optimal control problem in Mayer s form: V (t 0, x 0 ) = inf u U J(t 1, x(t 1 )) (1) subject to ẋ(t) = f(t, x(t), u(t)), x(t 0
More informationProbabilistic Optimal Estimation and Filtering
Probabilistic Optimal Estimation and Filtering Least Squares and Randomized Algorithms Fabrizio Dabbene 1 Mario Sznaier 2 Roberto Tempo 1 1 CNR - IEIIT Politecnico di Torino 2 Northeastern University Boston
More informationarxiv: v2 [cs.sy] 4 Oct 2016
Multi-Vehicle Collision Avoidance via Hamilton-Jacobi Reachability and Mixed Integer Programming Mo Chen*, Jennifer C. Shih*, and Claire J. Tomlin arxiv:163.2v2 [cs.sy] 4 Oct 216 Abstract Multi-agent differential
More informationReachable set computation for solving fuel consumption terminal control problem using zonotopes
Reachable set computation for solving fuel consumption terminal control problem using zonotopes Andrey F. Shorikov 1 afshorikov@mail.ru Vitaly I. Kalev 2 butahlecoq@gmail.com 1 Ural Federal University
More informationSymbolic Control of Incrementally Stable Systems
Symbolic Control of Incrementally Stable Systems Antoine Girard Laboratoire Jean Kuntzmann, Université Joseph Fourier Grenoble, France Workshop on Formal Verification of Embedded Control Systems LCCC,
More informationTHERE is an ever more ubiquitous embedding of digital. Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
1 Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems Sofie Haesaert, Member, IEEE,, Sadegh Soudjani, Member, IEEE arxiv:1811.11445v1 [cs.sy] 28 Nov 2018 Abstract Discrete-time
More informationADMM and Fast Gradient Methods for Distributed Optimization
ADMM and Fast Gradient Methods for Distributed Optimization João Xavier Instituto Sistemas e Robótica (ISR), Instituto Superior Técnico (IST) European Control Conference, ECC 13 July 16, 013 Joint work
More informationSemidefinite and Second Order Cone Programming Seminar Fall 2012 Project: Robust Optimization and its Application of Robust Portfolio Optimization
Semidefinite and Second Order Cone Programming Seminar Fall 2012 Project: Robust Optimization and its Application of Robust Portfolio Optimization Instructor: Farid Alizadeh Author: Ai Kagawa 12/12/2012
More informationAPPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS 1. Antoine Girard A. Agung Julius George J. Pappas
APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS 1 Antoine Girard A. Agung Julius George J. Pappas Department of Electrical and Systems Engineering University of Pennsylvania Philadelphia, PA 1914 {agirard,agung,pappasg}@seas.upenn.edu
More informationControlling probabilistic systems under partial observation an automata and verification perspective
Controlling probabilistic systems under partial observation an automata and verification perspective Nathalie Bertrand, Inria Rennes, France Uncertainty in Computation Workshop October 4th 2016, Simons
More informationDenis ARZELIER arzelier
COURSE ON LMI OPTIMIZATION WITH APPLICATIONS IN CONTROL PART II.2 LMIs IN SYSTEMS CONTROL STATE-SPACE METHODS PERFORMANCE ANALYSIS and SYNTHESIS Denis ARZELIER www.laas.fr/ arzelier arzelier@laas.fr 15
More informationProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems
ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK 1 / 41 Introduction ProbReach tool for probabilistic
More informationCentral-limit approach to risk-aware Markov decision processes
Central-limit approach to risk-aware Markov decision processes Jia Yuan Yu Concordia University November 27, 2015 Joint work with Pengqian Yu and Huan Xu. Inventory Management 1 1 Look at current inventory
More informationOptimization Problems with Probabilistic Constraints
Optimization Problems with Probabilistic Constraints R. Henrion Weierstrass Institute Berlin 10 th International Conference on Stochastic Programming University of Arizona, Tucson Recommended Reading A.
More informationTheory in Model Predictive Control :" Constraint Satisfaction and Stability!
Theory in Model Predictive Control :" Constraint Satisfaction and Stability Colin Jones, Melanie Zeilinger Automatic Control Laboratory, EPFL Example: Cessna Citation Aircraft Linearized continuous-time
More informationCompositional Transient Stability Analysis of Power Systems via the Computation of Reachable Sets
Compositional Transient Stability Analysis of Power Systems via the Computation of Reachable Sets Ahmed El-Guindy, Yu Christine Chen, and Matthias Althoff Abstract The main challenge associated with the
More informationApproximate Bisimulations for Constrained Linear Systems
Approximate Bisimulations for Constrained Linear Systems Antoine Girard and George J Pappas Abstract In this paper, inspired by exact notions of bisimulation equivalence for discrete-event and continuous-time
More informationOn backwards and forwards reachable sets bounding for perturbed time-delay systems
*Manuscript Click here to download Manuscript: 0HieuNamPubuduLeAMC2015revision 2.pdf Click here to view linked References On backwards and forwards reachable sets bounding for perturbed time-delay systems
More informationA High Order Conservative Semi-Lagrangian Discontinuous Galerkin Method for Two-Dimensional Transport Simulations
Motivation Numerical methods Numerical tests Conclusions A High Order Conservative Semi-Lagrangian Discontinuous Galerkin Method for Two-Dimensional Transport Simulations Xiaofeng Cai Department of Mathematics
More informationA second look at minsup points and the existence of pure Nash equilibria. Adib Bagh Departments of Economics and Mathematics University of Kentucky.
A second look at minsup points and the existence of pure Nash equilibria Adib Bagh Departments of Economics and Mathematics University of Kentucky. Abstract. We prove the existence of pure strategy Nash
More informationReachability-based Adaptive UAV Scheduling and Planning in Cluttered and Dynamic Environments
Reachability-based Adaptive UAV Scheduling and Planning in Cluttered and Dynamic Environments Esen Yel and Nicola Bezzo Abstract Modern unmanned aerial vehicles (UAVs) rely on periodic sensor measurements
More informationRobust control and applications in economic theory
Robust control and applications in economic theory In honour of Professor Emeritus Grigoris Kalogeropoulos on the occasion of his retirement A. N. Yannacopoulos Department of Statistics AUEB 24 May 2013
More informationConvex computation of the region of attraction for polynomial control systems
Convex computation of the region of attraction for polynomial control systems Didier Henrion LAAS-CNRS Toulouse & CTU Prague Milan Korda EPFL Lausanne Region of Attraction (ROA) ẋ = f (x,u), x(t) X, u(t)
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationProbabilistic Graphical Models. Theory of Variational Inference: Inner and Outer Approximation. Lecture 15, March 4, 2013
School of Computer Science Probabilistic Graphical Models Theory of Variational Inference: Inner and Outer Approximation Junming Yin Lecture 15, March 4, 2013 Reading: W & J Book Chapters 1 Roadmap Two
More informationRobotics. Control Theory. Marc Toussaint U Stuttgart
Robotics Control Theory Topics in control theory, optimal control, HJB equation, infinite horizon case, Linear-Quadratic optimal control, Riccati equations (differential, algebraic, discrete-time), controllability,
More informationMean-field equilibrium: An approximation approach for large dynamic games
Mean-field equilibrium: An approximation approach for large dynamic games Ramesh Johari Stanford University Sachin Adlakha, Gabriel Y. Weintraub, Andrea Goldsmith Single agent dynamic control Two agents:
More informationDeductive Verification of Continuous Dynamical Systems
Deductive Verification of Continuous Dynamical Systems Dept. of Computer Science, Stanford University (Joint work with Ashish Tiwari, SRI International.) 1 Introduction What are Continuous Dynamical Systems?
More informationGradient Estimation for Attractor Networks
Gradient Estimation for Attractor Networks Thomas Flynn Department of Computer Science Graduate Center of CUNY July 2017 1 Outline Motivations Deterministic attractor networks Stochastic attractor networks
More informationOptimal H Control Design under Model Information Limitations and State Measurement Constraints
Optimal H Control Design under Model Information Limitations and State Measurement Constraints F. Farokhi, H. Sandberg, and K. H. Johansson ACCESS Linnaeus Center, School of Electrical Engineering, KTH-Royal
More informationApproximate model checking of stochastic hybrid systems
Approximate model checking of stochastic hybrid systems A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini Abstract A method for approximate model checking of stochastic hybrid systems with provable approximation
More informationOptimal Sojourn Time Control within an Interval 1
Optimal Sojourn Time Control within an Interval Jianghai Hu and Shankar Sastry Department of Electrical Engineering and Computer Sciences University of California at Berkeley Berkeley, CA 97-77 {jianghai,sastry}@eecs.berkeley.edu
More informationNonlinear Model Predictive Control Tools (NMPC Tools)
Nonlinear Model Predictive Control Tools (NMPC Tools) Rishi Amrit, James B. Rawlings April 5, 2008 1 Formulation We consider a control system composed of three parts([2]). Estimator Target calculator Regulator
More informationGlobal Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems
2018 IEEE Conference on Decision and Control (CDC) Miami Beach, FL, USA, Dec. 17-19, 2018 Global Stability and Asymptotic Gain Imply Input-to-State Stability for State-Dependent Switched Systems Shenyu
More informationSufficient Conditions for the Existence of Resolution Complete Planning Algorithms
Sufficient Conditions for the Existence of Resolution Complete Planning Algorithms Dmitry Yershov and Steve LaValle Computer Science niversity of Illinois at rbana-champaign WAFR 2010 December 15, 2010
More informationIEOR 265 Lecture 14 (Robust) Linear Tube MPC
IEOR 265 Lecture 14 (Robust) Linear Tube MPC 1 LTI System with Uncertainty Suppose we have an LTI system in discrete time with disturbance: x n+1 = Ax n + Bu n + d n, where d n W for a bounded polytope
More informationLecture notes: Rust (1987) Economics : M. Shum 1
Economics 180.672: M. Shum 1 Estimate the parameters of a dynamic optimization problem: when to replace engine of a bus? This is a another practical example of an optimal stopping problem, which is easily
More informationAn Empirical Algorithm for Relative Value Iteration for Average-cost MDPs
2015 IEEE 54th Annual Conference on Decision and Control CDC December 15-18, 2015. Osaka, Japan An Empirical Algorithm for Relative Value Iteration for Average-cost MDPs Abhishek Gupta Rahul Jain Peter
More informationData Rate Theorem for Stabilization over Time-Varying Feedback Channels
Data Rate Theorem for Stabilization over Time-Varying Feedback Channels Workshop on Frontiers in Distributed Communication, Sensing and Control Massimo Franceschetti, UCSD (joint work with P. Minero, S.
More informationMulti-agent avoidance control using an M-matrix property
Electronic Journal of Linear Algebra Volume 12 Volume 12 (2004) Article 7 2004 Multi-agent avoidance control using an M-matrix property Dusan M. Stipanovic dusan@uiuc.edu Sriram Shankaran Claire J. Tomlin
More informationCompositionally Analyzing a Proportional-Integral Controller Family
2 5th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) Orlando, FL, USA, December 2-5, 2 Compositionally Analyzing a Proportional-Integral Controller Family Ashish Tiwari
More informationAutomated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017 Artifact * Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel
More informationOptimality of Walrand-Varaiya Type Policies and. Approximation Results for Zero-Delay Coding of. Markov Sources. Richard G. Wood
Optimality of Walrand-Varaiya Type Policies and Approximation Results for Zero-Delay Coding of Markov Sources by Richard G. Wood A thesis submitted to the Department of Mathematics & Statistics in conformity
More informationarxiv: v1 [cs.ro] 19 Nov 2018
Safe and Complete Real-Time Planning and Exploration in Unknown Environments David Fridovich-Keil, Jaime F. Fisac, and Claire J. Tomlin arxiv:1811.07834v1 [cs.ro] 19 Nov 2018 Abstract We present a new
More information