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
Table of Contents:
  • 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.

Similar Items