Quasi-dependent variables in hybrid automata (Q2986955): Difference between revisions

@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPLEX
@@ Property / describes a project that uses: CPLEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPT
@@ Property / describes a project that uses: MPT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReal
@@ Property / describes a project that uses: dReal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2012681899
@@ Property / OpenAlex ID: W2012681899 / 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
@@ Property / DBLP publication ID @@
+conf/hybrid/BogomolovHMWP14
@@ Property / DBLP publication ID: conf/hybrid/BogomolovHMWP14 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2986955