Pages that link to "Item:Q1959416"
From MaRDI portal
The following pages link to Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416):
Displaying 12 items.
- Basic properties and characterizations of incremental stability prioritizing flow time for a class of hybrid systems (Q254616) (← links)
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Delay-independent incremental stability in time-varying monotone systems satisfying a generalized condition of two-sided scalability (Q503127) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems (Q1797173) (← links)
- On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
- Symbolic abstractions for nonlinear control systems via feedback refinement relation (Q2174020) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
