Normal view MARC view ISBD view

Verification and control of hybrid systems a symbolic approach /

Tabuada, Paulo.

Verification and control of hybrid systems a symbolic approach / [electronic resource] : by Paulo Tabuada. - Boston, MA : Springer-Verlag US, 2009. - xv, 202 p. : ill., digital ; 25 cm.

ISBN: 9781441902245 (electronic bk.)

Subjects--Topical Terms:
Hybrid systems.
Computer systems--Verification.
Digital control systems.
Models and Principles.
Mathematics.
Mathematical Logic and Formal Languages.
Systems Theory, Control.
Control.

LC Class. No.: QA76.38 / .T33 2009

Dewey Class. No.: 004.259

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Verification and control of hybrid systems a symbolic approach /

Contact Us

Copyright ©The National University of Malaysia Library