2 records found
1
Backstepping controller synthesis and characterizations of incremental stability
Bisimilar finite abstractions of stochastic control systems