Pages that link to "Item:Q5282109"

The following pages link to Approximation Metrics for Discrete and Continuous Systems (Q5282109):

Displaying 15 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)
• Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
• Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
• Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
• Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
• Model predictive control of directed‐graph constrained systems (Q5174443) (← links)
• A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666) (← links)
• Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
• Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)
• Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)