The Resource Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics, by André Platzer, (electronic resource)

Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics, by 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
by André Platzer
Creator
Author
Author
Subject
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
Is part of
http://library.link/vocab/creatorName
Platzer, André
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
FP8enigLx1U
Image bit depth
0
LC call number
QA8.9-10.3
Literary form
non fiction
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Artificial intelligence
  • Computer science-Mathematics
  • Computer logic
  • Automatic control
  • Robotics
  • Mechatronics
  • Mathematical Logic and Formal Languages
  • Artificial Intelligence
  • Mathematics of Computing
  • Logics and Meanings of Programs
  • Control, Robotics, Mechatronics
Label
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics, by André Platzer, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
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
Edition
1st ed. 2010.
Extent
XXX, 426 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783642145094
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14509-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-642-14509-4
Label
Logical Analysis of Hybrid Systems : Proving Theorems for Complex Dynamics, by André Platzer, (electronic resource)
Publication
Antecedent source
mixed
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
Edition
1st ed. 2010.
Extent
XXX, 426 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783642145094
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-14509-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-642-14509-4

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