Compositional safety rules for inter-triggering hybrid automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kwesi J. Rutledge, Glen Chou, Necmiye Ozay. Compositional safety rules for inter-triggering hybrid automata. In Sergiy Bogomolov, Raphaël M. Jungers, editors, HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM, 2021. [doi]

This author has not been identified. Look up 'Kwesi J. Rutledge' in GoogleThis author has not been identified. Look up 'Glen Chou' in GoogleThis author has not been identified. Look up 'Necmiye Ozay' in Google

runs on WebDSL