2009

Verification and Control of Hybrid Systems

A Symbolic Approach

Authors:

ISBN: 978-1-4419-0223-8 (Print) 978-1-4419-0224-5 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages 1-12

  2. Basic concepts

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 1-20

      Systems

    3. No Access

      Book Chapter

      Pages 23-24

      Verifcation problems

    4. No Access

      Book Chapter

      Pages 25-26

      Control problems

  3. Finite systems

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 29-42

      Exact system relationships

    3. No Access

      Book Chapter

      Pages 43-50

      Verification

    4. No Access

      Book Chapter

      Pages 51-70

      Control

  4. Infinite Systems Exact symbolic models

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 73-111

      Exact symbolic models for verification

    3. No Access

      Book Chapter

      Pages 113-142

      Exact symbolic models for control

  5. Infinite Systems Approximate symbolic models

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 145-149

      Approximate system relationships

    3. No Access

      Book Chapter

      Pages 151-166

      Approximate symbolic models for verification

    4. No Access

      Book Chapter

      Pages 167-189

      Approximate symbolic models for control

  6. Back Matter

    Pages 1-11