Compositional Abstractions of Hybrid Control Systems

Springer Science and Business Media LLC - Tập 14 Số 2 - Trang 203-238 - 2004
Paulo Tabuada1, George J. Pappas2, Pedro U. Lima3
1Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN 46556 [email protected]#TAB#
2Department of Electrical Engineering, University of Notre Dame, Notre Dame
3Institute for Systems and Robotics, Instituto Superior Técnico, Lisbon, Portugal

Tóm tắt

Từ khóa


Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Springer Science and Business Media LLC

Tập 14 Số 2

203-238

Thông tin tác giả