Pages that link to "Item:Q1004115"

The following pages link to Approximately bisimilar symbolic models for nonlinear control systems (Q1004115):

Displaying 37 items.

• Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
• Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
• Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Symbolic approximate time-optimal control (Q533800) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
• Hierarchical control system design using approximate simulation (Q1012892) (← links)
• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
• Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
• Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
• Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
• Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
• Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
• Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
• On distributed symbolic control of interconnected systems under persistency specifications (Q2023566) (← links)
• Stabilization of bilinear switching control systems by a mode-dependent average dwell time strategy (Q2056153) (← links)
• Incremental stability and contraction via impulsive control for continuous-time dynamical systems (Q2061235) (← links)
• Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
• Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
• Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
• Robustly complete finite-state abstractions for verification of stochastic systems (Q2112105) (← links)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← 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)
• Approximate predictability of pseudo-metric systems (Q2178224) (← links)
• Passivity-based analysis of sampled and quantized control implementations (Q2207198) (← links)
• Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
• Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
• Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
• Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
• Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
• An approach to solving optimal control problems of nonlinear systems by introducing detail-reward mechanism in deep reinforcement learning (Q2688600) (← links)
• Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
• Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
• Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)