The Resource Logical analysis of hybrid systems : proving theorems for complex dynamics, André Platzer, (electronic resource)

Logical analysis of hybrid systems : proving theorems for complex dynamics, André Platzer, (electronic resource)

Label
Logical analysis of hybrid systems : proving theorems for complex dynamics
Title
Logical analysis of hybrid systems
Title remainder
proving theorems for complex dynamics
Statement of responsibility
André Platzer
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation
Member of
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Platzer, André
Image bit depth
0
LC call number
T57.6
LC item number
.P53 2010
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
SpringerLink
http://library.link/vocab/subjectName
  • System analysis
  • Hybrid systems
  • Engineering
  • COMPUTERS
  • Informatique
  • Hybrid systems
  • System analysis
Label
Logical analysis of hybrid systems : proving theorems for complex dynamics, André Platzer, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references (pages 401-413) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logics and Proof Calculi for Hybrid Systems -- Differential Dynamic Logic d? -- Differential-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving for Hybrid Systems -- Deduction Modulo Real Algebra and Computer Algebra -- Computing Differential Invariants as Fixed Points -- Case Studies and Applications in Hybrid Systems Verification -- European Train Control System -- Air Traffic Collision Avoidance -- Conclusion
Dimensions
unknown
Extent
1 online resource (xxx, 426 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642145094
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-3-642-14508-7
System control number
  • (OCoLC)676700884
  • (OCoLC)ocn676700884
Label
Logical analysis of hybrid systems : proving theorems for complex dynamics, André Platzer, (electronic resource)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references (pages 401-413) and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Logics and Proof Calculi for Hybrid Systems -- Differential Dynamic Logic d? -- Differential-Algebraic Dynamic Logic DAL -- Differential Temporal Dynamic Logic dTL -- Automated Theorem Proving for Hybrid Systems -- Deduction Modulo Real Algebra and Computer Algebra -- Computing Differential Invariants as Fixed Points -- Case Studies and Applications in Hybrid Systems Verification -- European Train Control System -- Air Traffic Collision Avoidance -- Conclusion
Dimensions
unknown
Extent
1 online resource (xxx, 426 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642145094
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Stock number
978-3-642-14508-7
System control number
  • (OCoLC)676700884
  • (OCoLC)ocn676700884

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...