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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Tabuada, Paulo (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares