Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems (Q3624580): Difference between revisions

@@ 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.1007/978-3-642-00602-9_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2164957184
@@ Property / OpenAlex ID: W2164957184 / rank @@
+Normal rank
@@ Property / cites work @@
+Paradigms and puzzles in the theory of dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4709744
@@ Property / cites work: Q4709744 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of hybrid systems within a behavioural framework
+Normal rank
@@ Property / cites work @@
+Modular Feedback Logic for Discrete Event Systems
@@ Property / cites work: Modular Feedback Logic for Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953393
@@ Property / cites work: Q4953393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524648
@@ Property / cites work: Q4524648 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Convexity of reachable sets of nonlinear ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q4067388
@@ Property / cites work: Q4067388 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinary Differential Equations
@@ Property / cites work: Ordinary Differential Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Analysis
@@ Property / cites work: Convex Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Local homeo- and diffeomorphisms: invertibility and convex image
+Normal rank
@@ Property / cites work @@
+Convexity of nonlinear image of a small ball with applications to optimization
+Normal rank