Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior /

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a categ...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Schultz, Patrick (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Spivak, David I. (http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Progress in Computer Science and Applied Logic, 29
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 04260nam a2200577 4500
001 978-3-030-00704-1
003 DE-He213
005 20191024072347.0
007 cr nn 008mamaa
008 190129s2019 gw | s |||| 0|eng d
020 |a 9783030007041  |9 978-3-030-00704-1 
024 7 |a 10.1007/978-3-030-00704-1  |2 doi 
040 |d GrThAP 
050 4 |a QA169 
072 7 |a PBC  |2 bicssc 
072 7 |a MAT002010  |2 bisacsh 
072 7 |a PBC  |2 thema 
072 7 |a PBF  |2 thema 
082 0 4 |a 512.6  |2 23 
100 1 |a Schultz, Patrick.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Temporal Type Theory  |h [electronic resource] :  |b A Topos-Theoretic Approach to Systems and Behavior /  |c by Patrick Schultz, David I. Spivak. 
250 |a 1st ed. 2019. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Birkhäuser,  |c 2019. 
300 |a VIII, 235 p. 67 illus., 7 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Progress in Computer Science and Applied Logic,  |x 2297-0576 ;  |v 29 
505 0 |a Introduction -- The Interval Domain -- Translation Invariance -- Logical Preliminaries -- Axiomatics -- Semantics and Soundness -- Local Numeric Types and Derivatives -- Applications -- Appendices -- Bibliography -- Index. 
520 |a This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models. The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action. Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course. . 
650 0 |a Category theory (Mathematics). 
650 0 |a Homological algebra. 
650 0 |a Mathematical logic. 
650 0 |a System theory. 
650 0 |a Aerospace engineering. 
650 0 |a Astronautics. 
650 1 4 |a Category Theory, Homological Algebra.  |0 http://scigraph.springernature.com/things/product-market-codes/M11035 
650 2 4 |a Mathematical Logic and Foundations.  |0 http://scigraph.springernature.com/things/product-market-codes/M24005 
650 2 4 |a Systems Theory, Control.  |0 http://scigraph.springernature.com/things/product-market-codes/M13070 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
650 2 4 |a Aerospace Technology and Astronautics.  |0 http://scigraph.springernature.com/things/product-market-codes/T17050 
700 1 |a Spivak, David I.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783030007034 
776 0 8 |i Printed edition:  |z 9783030007058 
830 0 |a Progress in Computer Science and Applied Logic,  |x 2297-0576 ;  |v 29 
856 4 0 |u https://doi.org/10.1007/978-3-030-00704-1  |z Full Text via HEAL-Link 
912 |a ZDB-2-SMA 
950 |a Mathematics and Statistics (Springer-11649)