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 proceeding › Article in proceeding › Research › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Proceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)
Number of pages	6
Publication date	1996
Pages	38-43
Publication status	Published - 1996
Event	1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96) - Dearborn, United States Duration: 15 Sep 1996 → 18 Sep 1996

Conference	1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)
Country	United States
City	Dearborn
Period	15/09/1996 → 18/09/1996

Cite this

@inproceedings{3b6fc460b14211db8b72000ea68e967b,

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

author = "Zhenyu Yang and Jian Lu and Zongji Chen",

year = "1996",

language = "English",

pages = "38--43",

booktitle = "Proceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)",

note = "null ; Conference date: 15-09-1996 Through 18-09-1996",

}

Yang, Z, Lu, J & Chen, Z 1996, Control Analysis, Synthesis and Verification in Hybrid Control Systems Using I/O Automata - A Case Study. in Proceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96). pp. 38-43, 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96), Dearborn, United States, 15/09/1996.

Proceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96). 1996. p. 38-43.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

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

AU - Yang, Zhenyu

AU - Lu, Jian

AU - Chen, Zongji

PY - 1996

Y1 - 1996

M3 - Article in proceeding

SP - 38

EP - 43

BT - Proceedings of 1996 IEEE International Sympsuim on Computer-Aided Control System Design (CACSD96)

Y2 - 15 September 1996 through 18 September 1996

ER -