Pages that link to "Item:Q5282109"

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

Displaying 7 items.

• Verification of Hybrid Systems (Q3176388) (← links)
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← 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)