Dynamic output feedback regulation for a class of nonlinear systems
- 期刊名称Mathematics of Control, Signals, and Systems (MCSS)
- 作者J. -B. Pomet; R. M. Hirschorn; W. A. Cebuhar
- 卷第6卷
- 期第2期
- 印刷ISSN0932-4194
- 电子ISSN1435-568X
- 文件大小853.33KB
- 发表时间1993
- DOI10.1007/bf01211742
- 页码106-124
Distributed concurrent linear logic programmingNaoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa · 1999
Type-theoretic foundations for concurrent object-oriented programingKobayashi, Naoki; Yonezawa, Akinori · ACM SIGPLAN Notices · 1994
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case StudyAffeldt, Reynald; Kobayashi, Naoki; Yonezawa, Akinori · IPSJ Digital Courier · 2005
Toward Foundations of Concurrent ObjectâOriented ProgrammingâTypes and Language DesignKobayashi, Naoki; Yonezawa, Akinori · Theory and Practice of Object Systems · 1995
[ACM Press the ninth annual conference - Portland, Oregon, United States (1994.10.23-1994.10.28)] Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94 - Type-theoretic foundations for concurrent object-oriented programingKobayashi, Naoki; Yonezawa, Akinori · 1994