Synthesis of correct-by-construction control protocols for hybrid systems using partial state information - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oscar Mickelin, Necmiye Ozay, Richard M. Murray. Synthesis of correct-by-construction control protocols for hybrid systems using partial state information. In American Control Conference, ACC 2014, Portland, OR, USA, June 4-6, 2014. pages 2305-2311, IEEE, 2014. [doi]

This author has not been identified. Look up 'Oscar Mickelin' in GoogleThis author has not been identified. Look up 'Necmiye Ozay' in GoogleThis author has not been identified. Look up 'Richard M. Murray' in Google

runs on WebDSL