Verification and Control of Hybrid Systems A Symbolic Approach /

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Tabuada, Paulo (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer US : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Subjects:
System theory.
Control theory.
Control engineering.
Computer science.
Machine theory.
Systems Theory, Control .
Control and Systems Theory.
Models of Computation.
Formal Languages and Automata Theory.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Holdings details from

Similar Items