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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Tabuada, Paulo (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: New York, NY : Springer US : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Sujets:
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.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires