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