Pages that link to "Item:Q1004115"

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

Displaying 8 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)
• Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
• Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)