Title
An improved algorithm for robust safety analysis of sampled data systems
Abstract
A sampled data model falls somewhere between continuous and discrete time models: The plant evolves in continuous time, but the controller receives feedback and can modify its control input(s) only at periodic points in time. In previous work we have demonstrated how to compute the discriminating kernel (also called the maximal robust control invariant set) for sampled data systems and how this kernel can be used to analyze and even synthesize safe feedback controllers for systems with state space safety constraints; however, the algorithm for computing the kernel was conservative. In this paper we provide an improved abstract algorithm whose computations are tight to the sampled data discriminating kernel. The improved algorithm can also take sample time jitter into account. A level set implementation is used to demonstrate that the new algorithm is tight and a conservative ellipsoidal implementation is used to demonstrate its practical benefits on a nonlinear quadrotor model.
Year
DOI
Venue
2015
10.1145/2728606.2728619
HSCC
Field
DocType
Citations 
Kernel (linear algebra),Control theory,Control theory,Algorithm,Level set,Discrete time and continuous time,Jitter,Robust control,Data model,State space,Mathematics
Conference
1
PageRank 
References 
Authors
0.36
14
2
Name
Order
Citations
PageRank
Mitchell, I.M.154.29
Shahab Kaynama21087.55