Theory and computational techniques for analysis of discrete-time control systems with disturbances (Q3096879): Difference between revisions

@@ Property / cites work @@
+Feedback and invariance under uncertainty via set-iterates
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+Minimax Theorems
@@ Property / cites work: Minimax Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Control synthesis via parallelotopes: optimzation and parallel compuations
+Normal rank
@@ Property / cites work @@
+Q4053412
@@ Property / cites work: Q4053412 / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal calculus for estimation and control
@@ Property / cites work: Ellipsoidal calculus for estimation and control / rank @@
+Normal rank
@@ Property / cites work @@
+On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
+Normal rank
@@ Property / cites work @@
+Dynamic optimization for reachability problems.
@@ Property / cites work: Dynamic optimization for reachability problems. / rank @@
+Normal rank
@@ Property / cites work @@
+On Reachability Under Uncertainty
@@ Property / cites work: On Reachability Under Uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Q5542360
@@ Property / cites work: Q5542360 / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxing Dynamic Programming
@@ Property / cites work: Relaxing Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Barrier certificates for nonlinear model validation
+Normal rank
@@ Property / cites work @@
+Variational Analysis
@@ Property / cites work: Variational Analysis / rank @@
+Normal rank