Normal view MARC view ISBD view

Verification and Control of Hybrid Systems

519

Tabuada, Paulo. Verification and Control of Hybrid Systems A Symbolic Approach / by Paulo Tabuada. -
XV, 202 p. 200 illus. online resource. Content notes : Basic concepts -- Systems -- Verifcation problems -- Control problems -- Finite systems -- Exact system relationships -- Verification -- Control -- Infinite Systems Exact symbolic models -- Exact symbolic models for verification -- Exact symbolic models for control -- Infinite Systems Approximate symbolic models -- Approximate system relationships -- Approximate symbolic models for verification -- Approximate symbolic models for control. 9781441902245 * Systems theory. Computer science. Systems Theory, Control. Control. Models and Principles. Mathematical Logic and Formal Languages.

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

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