Abstracting and refining robustness for cyber-physical systems (Q2986969): Difference between revisions

@@ Property / describes a project that uses @@
+MPT
@@ Property / describes a project that uses: MPT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/2562059.2562133
+Normal rank
@@ Property / OpenAlex ID @@
+W2091944452
@@ Property / OpenAlex ID: W2091944452 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic methods in control
@@ Property / cites work: Set-theoretic methods in control / rank @@
+Normal rank
@@ Property / cites work @@
+A quasi-infinite horizon nonlinear model predictive control scheme with guaranteed stability
+Normal rank
@@ Property / cites work @@
+Stability analysis of piecewise discrete-time linear systems
+Normal rank
@@ Property / cites work @@
+Linear systems with state and control constraints: the theory and application of maximal output admissible sets
+Normal rank
@@ Property / cites work @@
+Computation of piecewise quadratic Lyapunov functions for hybrid systems
+Normal rank
@@ Property / cites work @@
+Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems
+Normal rank
@@ Property / cites work @@
+On infinity norms as Lyapunov functions for piecewise affine systems
+Normal rank
@@ Property / cites work @@
+Constrained model predictive control: Stability and optimality
+Normal rank
@@ Property / cites work @@
+Minkowski terminal cost functions for MPC
@@ Property / cites work: Minkowski terminal cost functions for MPC / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Analysis
@@ Property / cites work: Convex Analysis / rank @@
+Normal rank