Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416): Difference between revisions

@@ Property / DOI @@
-.1016/j.sysconle.2010.04.001
@@ Property / DOI: 10.1016/j.sysconle.2010.04.001 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.0361
@@ Property / arXiv ID: 0903.0361 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Controlling a Class of Nonlinear Systems on Rectangles
+Normal rank
@@ Property / cites work @@
+Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Delay effects on stability. A robust control approach
+Normal rank
@@ Property / cites work @@
+Time-delay systems: an overview of some recent advances and open problems.
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+A Lyapunov--Krasovskii methodology for ISS and iISS of time-delay systems
+Normal rank
@@ Property / cites work @@
+Existence and stability of solutions of a delay-differential system
+Normal rank
@@ Property / cites work @@
+On characterizations of the input-to-state stability property
+Normal rank
@@ Property / cites work @@
+The Problem of the Absolute Continuity for Lyapunov–Krasovskii Functionals
+Normal rank
@@ Property / cites work @@
+On Lyapunov - Krasovskii functionals under Carathéodory conditions
+Normal rank
@@ Property / cites work @@
+A Smooth Converse Lyapunov Theorem for Robust Stability
+Normal rank
@@ Property / cites work @@
+Input-to-output stability for systems described by retarded functional differential equations
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Q4100478
@@ Property / cites work: Q4100478 / rank @@
+Normal rank
@@ Property / cites work @@
+A Twofold Spline Approximation for Finite Horizon LQG Control of Hereditary Systems
+Normal rank
@@ Property / DOI @@
+.1016/J.SYSCONLE.2010.04.001
@@ Property / DOI: 10.1016/J.SYSCONLE.2010.04.001 / rank @@
+Normal rank