Control Analysis, Synthesis  and Verification in Hybrid Control Systems Using I/O Automata - A Case Study

Zhenyu Yang, Jian Lu, Zongji Chen

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)
    Number of pages6
    Publication date1996
    Pages38-43
    Publication statusPublished - 1996
    Event1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96) - Dearborn, United States
    Duration: 15 Sep 199618 Sep 1996

    Conference

    Conference1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)
    CountryUnited States
    CityDearborn
    Period15/09/199618/09/1996

    Cite this