Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems Conference Proceeding uri icon

Overview

publication date

  • July 6, 2018

Date in CU Experts

  • July 24, 2019 2:20 AM

Full Author List

  • Saoud A; Jagtap P; Zamani M; Girard A

author count

  • 4

citation count

  • 6

Other Profiles

International Standard Serial Number (ISSN)

  • 2405-8963

Additional Document Info

start page

  • 13

end page

  • 18

volume

  • 51

issue

  • 16