Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585): Difference between revisions

@@ Property / describes a project that uses @@
+LTLCon
@@ Property / describes a project that uses: LTLCon / 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.1007/978-3-642-00602-9_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1498421030
@@ Property / OpenAlex ID: W1498421030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246819
@@ Property / cites work: Q4246819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249564
@@ Property / cites work: Q4249564 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical hybrid control systems: a lattice theoretic formulation
+Normal rank
@@ Property / cites work @@
+Deterministic discrete-event representations of linear continuous-variable systems
+Normal rank
@@ Property / cites work @@
+Discrete approximation and supervisory control of continuous systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
+Normal rank
@@ Property / cites work @@
+Bisimilar Finite Abstractions of Interconnected Systems
+Normal rank
@@ Property / cites work @@
+Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3624585