Safety preserving control synthesis for sampled data systems (Q2252964): Difference between revisions

@@ Property / DOI @@
-.1016/j.nahs.2013.04.003
@@ Property / DOI: 10.1016/j.nahs.2013.04.003 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Ellipsoidal Toolbox
@@ Property / describes a project that uses: Ellipsoidal Toolbox / 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 / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2013.04.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2158048639
@@ Property / OpenAlex ID: W2158048639 / rank @@
+Normal rank
@@ Property / cites work @@
+The Birth of Model Checking
@@ Property / cites work: The Birth of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Viability Theory
@@ Property / cites work: Viability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4938857
@@ Property / cites work: Q4938857 / rank @@
+Normal rank
@@ Property / cites work @@
+Advanced tools for nonlinear sampled-data systems' analysis and control
+Normal rank
@@ Property / cites work @@
+A Framework for Stabilization of Nonlinear Sampled-Data Systems Based on Their Approximate Discrete-Time Models
+Normal rank
@@ Property / cites work @@
+Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
+Normal rank
@@ Property / cites work @@
+Comparing Forward and Backward Reachability as Tools for Safety Analysis
+Normal rank
@@ Property / cites work @@
+Q4736604
@@ Property / cites work: Q4736604 / rank @@
+Normal rank
@@ Property / cites work @@
+On reachability and minimum cost optimal control
@@ Property / cites work: On reachability and minimum cost optimal control / rank @@
+Normal rank
@@ Property / cites work @@
+A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Lagrangian methods for approximating the viability kernel in high-dimensional systems
+Normal rank
@@ Property / cites work @@
+Planning Algorithms
@@ Property / cites work: Planning Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: From verification to falsification by combining motion planning and discrete search
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+On Reachability Under Uncertainty
@@ Property / cites work: On Reachability Under Uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the viability kernel using maximal reachable sets
+Normal rank
@@ Property / DOI @@
+.1016/J.NAHS.2013.04.003
@@ Property / DOI: 10.1016/J.NAHS.2013.04.003 / rank @@
+Normal rank