Temporal logic inference for classification and prediction from data (Q2986980): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/2562059.2562146
+Normal rank
@@ Property / OpenAlex ID @@
+W2086092403
@@ Property / OpenAlex ID: W2086092403 / 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